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