请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？ 第1页
1
he-gua-39-71 网友的相关建议:
可以看成Nakayama引理的一个运用
zhai-sen-8 网友的相关建议:
详见
原回答证明了削弱版的命题：Noether模的满自同态一定是同构。
设 是 -模 到 自己的满同态，则 ， 等等全都是 的满同态。考虑下列的上升子模序列
由于 是Noether模，故这个序列会在某处停止
对任意 ，当 时，由于 是满射，故存在 使 ，因此 。由 知 ，即 。这一段的论证意味着 ，从而 是单同态，也即同构。
1
相关话题
想请问平坦模、投射模这些的几何意义是什么，感觉atiyah这本书的定义有些干巴巴的.......？请问“重根按重数计算”如何理解呢？
integral domain为啥叫整环？
从数学原理上说一说，葛立恒数、tree(3) 等数为什么那么大？
Hatcher的代数拓扑自学有无其他参考?
这个恒等式咋来的？
平面上两条 n 次曲线相交，交点的最大个数是否为 n²？
为何中学阶段不系统讲授一元三次四次方程？总感觉高中数学的很多内容在初中数学上没有根基，完全是空降的？
如何直观地理解群论？
怎么样通俗易懂地向小学生介绍群论的思想？
前一个讨论
复变函数中多值函数的黎曼面是不是不唯一？
相关的话题
如何确定下面三角恒等式中的系数？勒让德多项式的意义？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
如何证明这个群论问题？
如何构造一个向量空间，它的元素是向量空间？
代数、几何能否联系一起？
如图题，如何不用“强拆”的方式证明？
矩阵特征值与矩阵本身的关系是什么？
如何证明若a1≠a2≠…≠an，则m×n范德蒙矩阵V=aj^(i-1)有最大秩min(m,n)?
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
对任意多项式P_m(x)，是否一定存在Qn(x)，使P_m(x)Q_n(x)=Ax^(m+n)+B？
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？
圆周率已被算到31.4万亿位，科学家如此执着，到底为了什么？
勒让德多项式的意义？
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
怎么说明Q(√2，√3)＝{a√2+b√3+c√6+d}是含有√2和√3的最小数域？
对于抽象代数中的这个互素后的怎么证明比较合适?
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
实数中乘法不是加法的复合么？为什么乘法与加法并列提及？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?
如果引进新的运算，一元五次方程会不会有通用的求根公式？
如何理解有限单群分类定理？
怎样普适地求此特殊非线性矩阵方程的解？
由AB＝BA＝O可以得出什么结论？
环中不可逆元一定是零因子嘛？
如何证明任何有限域中的任何元素均可写成两数的平方和？
如何将cos(nx)写成cosx的形式多项式？