中山正引理

中山正引理是科技術語。

基本介紹

• 中文名：中山正引理
• 類型：科技術語

陳述

它的眾多等價陳述之一如下：

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

推論

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