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