请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？ 第1页
1
he-gua-39-71 网友的相关建议:
可以看成Nakayama引理的一个运用
zhai-sen-8 网友的相关建议:
详见
原回答证明了削弱版的命题：Noether模的满自同态一定是同构。
设 是 -模 到 自己的满同态，则 ， 等等全都是 的满同态。考虑下列的上升子模序列
由于 是Noether模，故这个序列会在某处停止
对任意 ，当 时，由于 是满射，故存在 使 ，因此 。由 知 ，即 。这一段的论证意味着 ，从而 是单同态，也即同构。
1
相关话题
设A是一个3阶行列式，aij=1或-1，1≤i，j≤3，如何证明det（A）≤4？当今世界数学已经发展到本科生难以理解的地步了吗？
为什么实系数多项式方程的虚数解总是成对出现？
圆周率已被算到31.4万亿位，科学家如此执着，到底为了什么？
为什么需要证明「1+1=2」？
多项式由系数唯一决定，在中学或大学数学课上证明过吗？
如何简要解释为什么五次多项式方程没有根式解？
比开方更高级的运算能否扩充复数域？
有理数的开方，是否能取遍实数？ 换句话说，是否存在无理数，不是某有理数的开方？
不使用范畴论，如何刻画一个线性映射是“自然”的？
前一个讨论
复变函数中多值函数的黎曼面是不是不唯一？
相关的话题
这个要如何证明?如何理解 Van-Kampen 定理？
线性映射为什么那么重要？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
为什么A的行列式不等于0 A满秩?
求指教一道数列方程组问题如何做？
设H包含n个非零复数，关于复数乘法组成n阶群，证明H＝{n个n次单位根}，怎么证明呢，谢谢大家了？
如果规定数 j 满足 j 的绝对值为 -1 ，数集会不会有新的扩充？
若K是一个数域。a+bi∈K，(a≠0,b≠0)。请问a和b一定属于K吗？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
如何以「我觉得代数拓扑实在是太简单了」开头写一篇故事？
实系数多项式之所有根为实数，如何证明其相应 n 阶导数之所有根为实数？
如何证明不等式（来自小蓝本）?
如何构造一个向量空间，它的元素是向量空间？
如何证明有理数加法群不是有限生成群？
为何要引入同伦群，同伦群可以解决什么问题？
114514 阶的群有哪几类？
这个多项式问题从何入手进行求解？
求教一道代数证明题如何做？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
据说是北大某年大一高代的最后一题？虽然很难，但就是想知道解答过程，还请会的大佬可怜可怜我这弱渣吧 ？
勒让德多项式的意义？
分母（除数）为什么不能为 0？
问一下，这几个群是什么群，有什么性质？
如何证明dimQ（R）=dimQ（C）？
当今世界数学已经发展到本科生难以理解的地步了吗？
如何证明 √2 + √3 + √5 是无理数？
数学学习或研究中，你见过哪些有意思的反例？
如何证明 √2 + √3 + √5 是无理数？
怎么说明Q(√2，√3)＝{a√2+b√3+c√6+d}是含有√2和√3的最小数域？