请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？ 第1页
1
he-gua-39-71 网友的相关建议:
可以看成Nakayama引理的一个运用
zhai-sen-8 网友的相关建议:
详见
原回答证明了削弱版的命题：Noether模的满自同态一定是同构。
设 是 -模 到 自己的满同态，则 ， 等等全都是 的满同态。考虑下列的上升子模序列
由于 是Noether模，故这个序列会在某处停止
对任意 ，当 时，由于 是满射，故存在 使 ，因此 。由 知 ，即 。这一段的论证意味着 ，从而 是单同态，也即同构。
1
相关话题
高斯素数有类似于素数定理的分布律吗？工程数学四阶行列式有什么技巧算法吗？
请问陪集、左陪集、商群、正规子群该如何理解？
能否彻底从代数角度定义微分和积分？
如何证明任何一复系数整式p(z)都可以分解成若干个(z-c)相乘的形式？
可不可以将所有无理数全都用 有理数·π 来表示？
如何把微信群/QQ群构造成一个阿贝尔群？
工程数学四阶行列式有什么技巧算法吗？
历史上，近世代数中环和域的概念是怎样逐步建立的？
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
前一个讨论
复变函数中多值函数的黎曼面是不是不唯一？
相关的话题
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?为什么不能用 0 做除数？
如何构造一个向量空间，它的元素是向量空间？
如何证明任何一复系数整式p(z)都可以分解成若干个(z-c)相乘的形式？
多项式方程互异根的数目利用矩阵结式怎么求？利用最大公因式的次数怎么确定？望举例说明！感谢各位大佬！？
自学交换代数（atiyah），却无能力自己证明书中的很多定理，是否表明完全不具备继续学习数学的潜力？
无理数是否真的存在？
高等代数证明和结论记不住怎么办？
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？
如何证明这个群论问题？
如何证明 √2 + √3 + √5 是无理数？
若K是一个数域。a+bi∈K，(a≠0,b≠0)。请问a和b一定属于K吗？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
据说是北大某年大一高代的最后一题？虽然很难，但就是想知道解答过程，还请会的大佬可怜可怜我这弱渣吧 ？
是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
怎么评价北大版的《高等代数》？
为什么不能用 0 做除数？
是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
为什么负负得正，正正不能得负？
为什么负负得正，正正不能得负？
据说是北大某年大一高代的最后一题？虽然很难，但就是想知道解答过程，还请会的大佬可怜可怜我这弱渣吧 ？
任何Abel群都能在其上赋予乘法，使其变成含幺环吗？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
如何证明dimQ（R）=dimQ（C）？
勒让德多项式的意义？
什么是实数？
可不可以将所有无理数全都用 有理数·π 来表示？
有理数的开方，是否能取遍实数？ 换句话说，是否存在无理数，不是某有理数的开方？
为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？
算子代数是一门怎样的数学分支？学习算子代数需要怎样的基础？