请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？ 第1页
1
he-gua-39-71 网友的相关建议:
可以看成Nakayama引理的一个运用
zhai-sen-8 网友的相关建议:
详见
原回答证明了削弱版的命题：Noether模的满自同态一定是同构。
设 是 -模 到 自己的满同态，则 ， 等等全都是 的满同态。考虑下列的上升子模序列
由于 是Noether模，故这个序列会在某处停止
对任意 ，当 时，由于 是满射，故存在 使 ，因此 。由 知 ，即 。这一段的论证意味着 ，从而 是单同态，也即同构。
1
相关话题
有没有对于各种榫卯结构，在数学上的研究?如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
一个多项式在满足什么条件时可以因式分解？能否给出证明（证法随意）?
工程数学四阶行列式有什么技巧算法吗？
综合除法的数学依据是什么？
如果把行列式定义中的(-1)^(逆序数)去掉，这种新的运算能用在哪里呢？
有限维线性空间的有限是怎么理解？
设A是一个3阶行列式，aij=1或-1，1≤i，j≤3，如何证明det（A）≤4？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
前一个讨论
复变函数中多值函数的黎曼面是不是不唯一？
相关的话题
为什么不能用 0 做除数？如何证明 √2 + √3 + √5 是无理数？
R^2 与 C 的区别在哪里？为什么有数学家认为复数用 a+bi 表示不好？
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？
数学教材的题做多少合适？
如何证明任何一复系数整式p(z)都可以分解成若干个(z-c)相乘的形式？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
请问这个抽象代数题怎么证明？
以π指代圆周率是偶然的约定俗成还是特别的另有深意？
能否求出n次对称群中置换的最大阶？
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
多项式方程互异根的数目利用矩阵结式怎么求？利用最大公因式的次数怎么确定？望举例说明！感谢各位大佬！？
114514 阶的群有哪几类？
为什么实系数多项式方程的虚数解总是成对出现？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
一个范畴问题?
请问这个抽象代数题怎么证明？
实数中乘法不是加法的复合么？为什么乘法与加法并列提及？
如何理解抽象代数的用途？
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
如何看待全民代数几何的现象？
如何证明dimQ（R）=dimQ（C）？
n阶矩阵A的各行各列只有一个元素是1或−1,其余元素均为0.是否存在正整数k,使得A^k=I?
实数中乘法不是加法的复合么？为什么乘法与加法并列提及？
李代数为何要满足 Jacobi Identity？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
对于抽象代数中的这个互素后的怎么证明比较合适?
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
如何证明哈代不等式?
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?