中山正引理

陳述

它的眾多等道棗煉價陳述辯糠漏尋之一如下：

引理（中山講榆促跨正）。設為含單位元的交換環，為一理想，為有限生成整章 -模。若 = ，則存在滿足 ≡ 1 mod 且 = 0。

推論一. 在上述條件下，若包鍵膠故含於的 Jacobson根，則必然有 = 0。推論二講詢她. 若是的子模，且存在有限生成的的子模 ' 及包含於的 Jacobson根的理想，章棄熱使得 = + '，則 = 。