请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？ 第1页
1
he-gua-39-71 网友的相关建议:
可以看成Nakayama引理的一个运用
zhai-sen-8 网友的相关建议:
详见
原回答证明了削弱版的命题：Noether模的满自同态一定是同构。
设 是 -模 到 自己的满同态，则 ， 等等全都是 的满同态。考虑下列的上升子模序列
由于 是Noether模，故这个序列会在某处停止
对任意 ，当 时，由于 是满射，故存在 使 ，因此 。由 知 ，即 。这一段的论证意味着 ，从而 是单同态，也即同构。
1
相关话题
这个恒等式咋来的？高等代数中线性变换的核的基怎么求？
是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
综合除法的数学依据是什么？
当今世界数学已经发展到本科生难以理解的地步了吗？
请问“重根按重数计算”如何理解呢？
有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？
如何把微信群/QQ群构造成一个阿贝尔群？
前一个讨论
复变函数中多值函数的黎曼面是不是不唯一？
相关的话题
维数可以是虚数吗？(G/H)×H是否同构于G？
从数学原理上说一说，葛立恒数、tree(3) 等数为什么那么大？
这个要如何证明?
什么是实数？
有哪些有趣的或者是反常识的数学问题？
如何看待几何数论（geometry of numbers）这一数论分支？
学习数论图论有必要先学抽代和高代吗？
复数是否包含实数？
如何证明任何一复系数整式p(z)都可以分解成若干个(z-c)相乘的形式？
1 不可以被 3 除尽，但为什么圆可以被三等分？
复数是否包含实数？
Z^n的所有子群怎么求？
如何简要解释为什么五次多项式方程没有根式解？
为何中学阶段不系统讲授一元三次四次方程？总感觉高中数学的很多内容在初中数学上没有根基，完全是空降的？
工程数学四阶行列式有什么技巧算法吗？
如何证明任何有限域中的任何元素均可写成两数的平方和？
如何证明 √2 + √3 + √5 是无理数？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
线性映射为什么那么重要？
求指教一道数列方程组问题如何做？
以π指代圆周率是偶然的约定俗成还是特别的另有深意？
为何中学阶段不系统讲授一元三次四次方程？总感觉高中数学的很多内容在初中数学上没有根基，完全是空降的？
一个UFD是PID的条件是什么?
数学书上这种是什么字体，以及应该如何手写？
一个范畴问题?
Z^n的所有子群怎么求？
如何证明不等式（来自小蓝本）?
为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？