请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？ 第1页
1
he-gua-39-71 网友的相关建议:
可以看成Nakayama引理的一个运用
zhai-sen-8 网友的相关建议:
详见
原回答证明了削弱版的命题：Noether模的满自同态一定是同构。
设 是 -模 到 自己的满同态，则 ， 等等全都是 的满同态。考虑下列的上升子模序列
由于 是Noether模，故这个序列会在某处停止
对任意 ，当 时，由于 是满射，故存在 使 ，因此 。由 知 ，即 。这一段的论证意味着 ，从而 是单同态，也即同构。
1
相关话题
自学交换代数（atiyah），却无能力自己证明书中的很多定理，是否表明完全不具备继续学习数学的潜力？在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
如何理解 Van-Kampen 定理？
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
从数学原理上说一说，葛立恒数、tree(3) 等数为什么那么大？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
设A是一个3阶行列式，aij=1或-1，1≤i，j≤3，如何证明det（A）≤4？
群论研究结构，「结构」一词是什么意思？跟数学有什么关系？
integral domain为啥叫整环？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
前一个讨论
复变函数中多值函数的黎曼面是不是不唯一？
相关的话题
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？有限维线性空间的有限是怎么理解？
自学交换代数（atiyah），却无能力自己证明书中的很多定理，是否表明完全不具备继续学习数学的潜力？
李代数为何要满足 Jacobi Identity？
4≤5，这个不等式是否正确？
算子代数是一门怎样的数学分支？学习算子代数需要怎样的基础？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
有限域上为什么有x的m次方=e的解的个数不超过m？
这个代数题怎么解？
为什么A的行列式不等于0 A满秩?
如何把微信群/QQ群构造成一个阿贝尔群？
实数域上的连续函数f，存在一个有理数a和一个无理数b使得a与b均为f的周期。如何证明f为常值函数？
对任意多项式P_m(x)，是否一定存在Qn(x)，使P_m(x)Q_n(x)=Ax^(m+n)+B？
能否求出n次对称群中置换的最大阶？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
如何证明dimQ（R）=dimQ（C）？
为什么不能用 0 做除数？
多项式方程互异根的数目利用矩阵结式怎么求？利用最大公因式的次数怎么确定？望举例说明！感谢各位大佬！？
如何理解抽象代数的用途？
为什么用bernstein多项式，逼近[0,1]上的连续函数时，多项式超过60多次就不收敛了？
复数是否包含实数？
代数好的人但立体几何不好的男生是智商低吗？
求教一道代数证明题如何做？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
怎么样通俗易懂地向小学生介绍群论的思想？
想请问平坦模、投射模这些的几何意义是什么，感觉atiyah这本书的定义有些干巴巴的.......？
线性代数里的合同关系在空间中代表了什么呢？