请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？ 第1页
1
he-gua-39-71 网友的相关建议:
可以看成Nakayama引理的一个运用
zhai-sen-8 网友的相关建议:
详见
原回答证明了削弱版的命题：Noether模的满自同态一定是同构。
设 是 -模 到 自己的满同态，则 ， 等等全都是 的满同态。考虑下列的上升子模序列
由于 是Noether模，故这个序列会在某处停止
对任意 ，当 时，由于 是满射，故存在 使 ，因此 。由 知 ，即 。这一段的论证意味着 ，从而 是单同态，也即同构。
1
相关话题
学习数论图论有必要先学抽代和高代吗？这个代数题怎么解？
为什么要用文字定义多项式，而不是直接将多项式函数定义为多项式？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
历史上，近世代数中环和域的概念是怎样逐步建立的？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
对任意多项式P_m(x)，是否一定存在Qn(x)，使P_m(x)Q_n(x)=Ax^(m+n)+B？
关于整矩阵的一道题怎么解?
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
前一个讨论
复变函数中多值函数的黎曼面是不是不唯一？
相关的话题
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？请问“重根按重数计算”如何理解呢？
求指教一道数列方程组问题如何做？
有限维线性空间的有限是怎么理解？
请问陪集、左陪集、商群、正规子群该如何理解？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
如何从数学角度证明魔方复原存在必可解策略？
求指教一道数列方程组问题如何做？
问一下，这几个群是什么群，有什么性质？
群论研究结构，「结构」一词是什么意思？跟数学有什么关系？
问一下，这几个群是什么群，有什么性质？
不使用范畴论，如何刻画一个线性映射是“自然”的？
(f(x),g(x))=1 在线性代数里是什么意思？
高斯素数有类似于素数定理的分布律吗？
问一下，这几个群是什么群，有什么性质？
问一下，这几个群是什么群，有什么性质？
自学交换代数（atiyah），却无能力自己证明书中的很多定理，是否表明完全不具备继续学习数学的潜力？
怎么说明Q(√2，√3)＝{a√2+b√3+c√6+d}是含有√2和√3的最小数域？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
可不可以将所有无理数全都用 有理数·π 来表示？
平面上两条 n 次曲线相交，交点的最大个数是否为 n²？
所有数学表达式都有几何含义吗？
(G/H)×H是否同构于G？
如何利用群论的知识解决三阶魔方？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
如何把微信群/QQ群构造成一个阿贝尔群？
线性代数里面的矩阵是不是向量？假如是的话，为什么感觉这样的向量和几何里的向量有点不一样？
如果规定数 j 满足 j 的绝对值为 -1 ，数集会不会有新的扩充？
这个代数题怎么解？
对任意多项式P_m(x)，是否一定存在Qn(x)，使P_m(x)Q_n(x)=Ax^(m+n)+B？