请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？ 第1页
1
he-gua-39-71 网友的相关建议:
可以看成Nakayama引理的一个运用
zhai-sen-8 网友的相关建议:
详见
原回答证明了削弱版的命题：Noether模的满自同态一定是同构。
设 是 -模 到 自己的满同态，则 ， 等等全都是 的满同态。考虑下列的上升子模序列
由于 是Noether模，故这个序列会在某处停止
对任意 ，当 时，由于 是满射，故存在 使 ，因此 。由 知 ，即 。这一段的论证意味着 ，从而 是单同态，也即同构。
1
相关话题
高斯的博士论文是不是太简单了？能否彻底从代数角度定义微分和积分？
如果使 1÷0 有意义，那么应该等于多少？
问一下，这几个群是什么群，有什么性质？
如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
自学交换代数（atiyah），却无能力自己证明书中的很多定理，是否表明完全不具备继续学习数学的潜力？
线性代数里的合同关系在空间中代表了什么呢？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
不使用范畴论，如何刻画一个线性映射是“自然”的？
前一个讨论
复变函数中多值函数的黎曼面是不是不唯一？
相关的话题
n维向量空间V中向量的维数是否为n维？高等代数证明和结论记不住怎么办？
实数中乘法不是加法的复合么？为什么乘法与加法并列提及？
综合除法的数学依据是什么？
对于抽象代数中的这个互素后的怎么证明比较合适?
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
如何证明这个群论问题？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
超越函数能因式分解吗？
这句话对吗：平面直角坐标系中，在给定一个闭区间内存在一条可以被画出的曲线，此曲线定可以用某个函数表示？
请问这个抽象代数题怎么证明？
李代数(Lie algebra)有哪些应用？
行列式等于 0，就一定有两行或两列相等吗？
一个三阶行列式，所有的元素要么是 1，要么是 -1，则它的值可能是多少？
维数可以是虚数吗？
如何证明这个高等代数问题？
如何证明多项式 f(x)＝1＋x＋x²/2!＋x³/3!＋…＋x^n/n! 只有一个实数根？
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？
为什么A的行列式不等于0 A满秩?
负数与负数相乘为什么会得正？
如何看待几何数论（geometry of numbers）这一数论分支？
如何证明若a1≠a2≠…≠an，则m×n范德蒙矩阵V=aj^(i-1)有最大秩min(m,n)?
如何构造一个向量空间，它的元素是向量空间？
如何证明哈代不等式?
这个问题怎么做?最后怎么解出多项式？
李代数为何要满足 Jacobi Identity？
如何证明这个群论问题？
当今世界数学已经发展到本科生难以理解的地步了吗？
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？
为什么实系数多项式方程的虚数解总是成对出现？