请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？ 第1页
1
he-gua-39-71 网友的相关建议:
可以看成Nakayama引理的一个运用
zhai-sen-8 网友的相关建议:
详见
原回答证明了削弱版的命题：Noether模的满自同态一定是同构。
设 是 -模 到 自己的满同态，则 ， 等等全都是 的满同态。考虑下列的上升子模序列
由于 是Noether模，故这个序列会在某处停止
对任意 ，当 时，由于 是满射，故存在 使 ，因此 。由 知 ，即 。这一段的论证意味着 ，从而 是单同态，也即同构。
1
相关话题
当今世界数学已经发展到本科生难以理解的地步了吗？如何理解 Van-Kampen 定理？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
为什么感觉群论学起来比数学分析之类难好多？
勒让德多项式的意义？
一个UFD是PID的条件是什么?
[-5e^(2i*π)+1*3]/2=1*4这一串有什么特殊意义吗？
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
如何从数学角度证明魔方复原存在必可解策略？
怎样理解平面向量的数量积是一个实数呢？方向乘方向怎么会有意义？
前一个讨论
复变函数中多值函数的黎曼面是不是不唯一？
相关的话题
这个多项式问题从何入手进行求解？这个恒等式咋来的？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
维数可以是虚数吗？
σ-代数为什么叫代数？它有代数结构吗？
请问陪集、左陪集、商群、正规子群该如何理解？
为什么不能用 0 做除数？
圆周率已被算到31.4万亿位，科学家如此执着，到底为了什么？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?
请问费马大定理写成方程形式是否可以证明？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
如何理解 Van-Kampen 定理？
为什么实系数多项式方程的虚数解总是成对出现？
为什么数学中一定要强调加法交换律？
综合除法的数学依据是什么？
乘法分配律是公理吗，是能证明的吗？
交换环的子环是否一定是交换环？
如何从数学角度证明魔方复原存在必可解策略？
线性代数里面的矩阵是不是向量？假如是的话，为什么感觉这样的向量和几何里的向量有点不一样？
平面几何用代数法解几何的原理是什么？
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？
平面几何用代数法解几何的原理是什么？
为何中学阶段不系统讲授一元三次四次方程？总感觉高中数学的很多内容在初中数学上没有根基，完全是空降的？
怎么说明Q(√2，√3)＝{a√2+b√3+c√6+d}是含有√2和√3的最小数域？
为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？
为什么实系数多项式方程的虚数解总是成对出现？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
设群G有一个指数为4的正规子群,则G也有一个指数为2的正规子群。这个要怎么证明呢？
(f(x),g(x))=1 在线性代数里是什么意思？