諾特環
當 formula_1 為諾特環而 formula_2 為有限生成 formula_1-模時，上述條件更等價於