请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？ 第1页
1
he-gua-39-71 网友的相关建议:
可以看成Nakayama引理的一个运用
zhai-sen-8 网友的相关建议:
详见
原回答证明了削弱版的命题：Noether模的满自同态一定是同构。
设 是 -模 到 自己的满同态，则 ， 等等全都是 的满同态。考虑下列的上升子模序列
由于 是Noether模，故这个序列会在某处停止
对任意 ，当 时，由于 是满射，故存在 使 ，因此 。由 知 ，即 。这一段的论证意味着 ，从而 是单同态，也即同构。
1
相关话题
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？114514 阶的群有哪几类？
线性代数对于计算机专业的作用是什么呢？
怎样理解平面向量的数量积是一个实数呢？方向乘方向怎么会有意义？
如何证明 √2 + √3 + √5 是无理数？
如果换一种几何，圆周率的值会变么？
学数学有点钻牛角尖，总是怀疑书中推导的严谨性，各位有什么好办法吗？
请列出一个最难相信但确实有根式解的一元五次方程？
如何证明 √2 + √3 + √5 是无理数？
为什么负负得正，正正不能得负？
前一个讨论
复变函数中多值函数的黎曼面是不是不唯一？
相关的话题
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？如何证明哈代不等式?
有没有休闲级别、能读懂的讲「群论」的书籍？
线性代数里面的矩阵是不是向量？假如是的话，为什么感觉这样的向量和几何里的向量有点不一样？
历史上，近世代数中环和域的概念是怎样逐步建立的？
数学书上这种是什么字体，以及应该如何手写？
请问“重根按重数计算”如何理解呢？
从数学原理上说一说，葛立恒数、tree(3) 等数为什么那么大？
数学系课程中，《解析几何》到底有什么用？
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？
如何证明dimQ（R）=dimQ（C）？
orbifold和groupoid有没有人了解？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
如何证明有理数加法群不是有限生成群？
我们在数学中为什么要引入复数？
勒让德多项式的意义？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
[-5e^(2i*π)+1*3]/2=1*4这一串有什么特殊意义吗？
什么是实数？
数学系课程中，《解析几何》到底有什么用？
为什么实系数多项式方程的虚数解总是成对出现？
[-5e^(2i*π)+1*3]/2=1*4这一串有什么特殊意义吗？
数学系课程中，《解析几何》到底有什么用？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
怎么样通俗易懂地向小学生介绍群论的思想？
为什么需要证明「1+1=2」？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
历史上，近世代数中环和域的概念是怎样逐步建立的？
加法交换律 a＋b＝b＋a 是怎么证明的？
问一下，这几个群是什么群，有什么性质？