请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？ 第1页
1
he-gua-39-71 网友的相关建议:
可以看成Nakayama引理的一个运用
zhai-sen-8 网友的相关建议:
详见
原回答证明了削弱版的命题：Noether模的满自同态一定是同构。
设 是 -模 到 自己的满同态，则 ， 等等全都是 的满同态。考虑下列的上升子模序列
由于 是Noether模，故这个序列会在某处停止
对任意 ，当 时，由于 是满射，故存在 使 ，因此 。由 知 ，即 。这一段的论证意味着 ，从而 是单同态，也即同构。
1
相关话题
为什么A的行列式不等于0 A满秩?对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
怎么说明Q(√2，√3)＝{a√2+b√3+c√6+d}是含有√2和√3的最小数域？
如何证明任何有限域中的任何元素均可写成两数的平方和？
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
设群G有一个指数为4的正规子群,则G也有一个指数为2的正规子群。这个要怎么证明呢？
有哪些用偏几何的方法来得到代数问题的优美解答的例子？
求教一道代数证明题如何做？
是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
前一个讨论
复变函数中多值函数的黎曼面是不是不唯一？
相关的话题
学数学有点钻牛角尖，总是怀疑书中推导的严谨性，各位有什么好办法吗？交换环的所有零因子和 0 组成的集合是一个理想吗？
怎样普适地求此特殊非线性矩阵方程的解？
1 不可以被 3 除尽，但为什么圆可以被三等分？
平面几何用代数法解几何的原理是什么？
如何确定下面三角恒等式中的系数？
加法交换律 a＋b＝b＋a 是怎么证明的？
如何从数学角度证明魔方复原存在必可解策略？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
分母（除数）为什么不能为 0？
integral domain为啥叫整环？
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？
为什么7×5=5×7？
工程数学四阶行列式有什么技巧算法吗？
什么是实数？
有限域上为什么有x的m次方=e的解的个数不超过m？
为什么感觉群论学起来比数学分析之类难好多？
i 的平方为什么等于 -1？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
如何理解有限单群分类定理？
如何理解代数中的极限和余极限？
圆周率已被算到31.4万亿位，科学家如此执着，到底为了什么？
负数与负数相乘为什么会得正？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
如何理解代数中的极限和余极限？
如果规定数 j 满足 j 的绝对值为 -1 ，数集会不会有新的扩充？
是不是任意一个无理数都对应一个三角和描述？