可以看成Nakayama引理的一个运用
详见
原回答证明了削弱版的命题:Noether模的满自同态一定是同构。
设 是 -模 到 自己的满同态,则 , 等等全都是 的满同态。考虑下列的上升子模序列
由于 是Noether模,故这个序列会在某处停止
对任意 ,当 时,由于 是满射,故存在 使 ,因此 。由 知 ,即 。这一段的论证意味着 ,从而 是单同态,也即同构。