请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？ 第1页
1
he-gua-39-71 网友的相关建议:
可以看成Nakayama引理的一个运用
zhai-sen-8 网友的相关建议:
详见
原回答证明了削弱版的命题：Noether模的满自同态一定是同构。
设 是 -模 到 自己的满同态，则 ， 等等全都是 的满同态。考虑下列的上升子模序列
由于 是Noether模，故这个序列会在某处停止
对任意 ，当 时，由于 是满射，故存在 使 ，因此 。由 知 ，即 。这一段的论证意味着 ，从而 是单同态，也即同构。
1
相关话题
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？为什么数学中一定要强调加法交换律？
求指教一道数列方程组问题如何做？
如果规定数 j 满足 j 的绝对值为 -1 ，数集会不会有新的扩充？
integral domain为啥叫整环？
不使用范畴论，如何刻画一个线性映射是“自然”的？
可不可以将所有无理数全都用 有理数·π 来表示？
对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?
自学交换代数（atiyah），却无能力自己证明书中的很多定理，是否表明完全不具备继续学习数学的潜力？
如果把行列式定义中的(-1)^(逆序数)去掉，这种新的运算能用在哪里呢？
前一个讨论
复变函数中多值函数的黎曼面是不是不唯一？
相关的话题
数学或者自然科学中有哪些理论技巧一经提出就大大化简了过去某些问题很困难繁琐的解答？线性代数对于计算机专业的作用是什么呢？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
所有数学表达式都有几何含义吗？
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？
如果 n 个向量线性无关，则其中 n-1 个向量线性相关吗？
不使用范畴论，如何刻画一个线性映射是“自然”的？
5⁴³²¹ 与 4⁵³²¹ 哪个更大？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
复数是否包含实数？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
能否求出n次对称群中置换的最大阶？
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？
从数学原理上说一说，葛立恒数、tree(3) 等数为什么那么大？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
用人话来解释下模空间是啥？
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
n整除Phi(p^n-1)，怎么证明？
环中不可逆元一定是零因子嘛？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
是不是任意一个无理数都对应一个三角和描述？
如何证明Q[³√5]是域？
(f(x),g(x))=1 在线性代数里是什么意思？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
Z^n的所有子群怎么求？
哈密尔顿-凯莱定理的本质是什么？
代数好的人但立体几何不好的男生是智商低吗？
实系数多项式之所有根为实数，如何证明其相应 n 阶导数之所有根为实数？