諾特環
定理 （Auslander-Buchsbaum）：設 formula_31 為局部諾特環，formula_2 為有限生成 formula_31-模，而且其射影維度有限，則