请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？ 第1页
1
he-gua-39-71 网友的相关建议:
可以看成Nakayama引理的一个运用
zhai-sen-8 网友的相关建议:
详见
原回答证明了削弱版的命题：Noether模的满自同态一定是同构。
设 是 -模 到 自己的满同态，则 ， 等等全都是 的满同态。考虑下列的上升子模序列
由于 是Noether模，故这个序列会在某处停止
对任意 ，当 时，由于 是满射，故存在 使 ，因此 。由 知 ，即 。这一段的论证意味着 ，从而 是单同态，也即同构。
1
相关话题
据说是北大某年大一高代的最后一题？虽然很难，但就是想知道解答过程，还请会的大佬可怜可怜我这弱渣吧 ？如果 n 个向量线性无关，则其中 n-1 个向量线性相关吗？
如何证明这个群论问题？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
这个命题是错的吗？
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？
114514 阶的群有哪几类？
请问费马大定理写成方程形式是否可以证明？
为什么负负得正，正正不能得负？
一个范畴问题?
前一个讨论
复变函数中多值函数的黎曼面是不是不唯一？
相关的话题
哈密尔顿-凯莱定理的本质是什么？怎么说明Q(√2，√3)＝{a√2+b√3+c√6+d}是含有√2和√3的最小数域？
对于抽象代数中的这个互素后的怎么证明比较合适?
多次试图学习抽象代数，但屡屡受挫，该怎么办？
Hatcher的代数拓扑自学有无其他参考?
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
为什么四则运算规定 × / 的优先级比 + - 高？
如果规定数 j 满足 j 的绝对值为 -1 ，数集会不会有新的扩充？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
实数中乘法不是加法的复合么？为什么乘法与加法并列提及？
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？
n维向量空间V中向量的维数是否为n维？
高斯的博士论文是不是太简单了？
用人话来解释下模空间是啥？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
如何证明这个高等代数问题？
想请问平坦模、投射模这些的几何意义是什么，感觉atiyah这本书的定义有些干巴巴的.......？
如何将cos(nx)写成cosx的形式多项式？
请问这道代数不等式怎么证？
为什么会有 i 这一虚数？可以求出 i 的值吗？
(f(x),g(x))=1 在线性代数里是什么意思？
任何Abel群都能在其上赋予乘法，使其变成含幺环吗？
如何看待《华裔教授发现二次方程「极简」解法：丢掉公式，全球教科书可能都要改了》？
矩阵特征值与矩阵本身的关系是什么？
有限维线性空间的有限是怎么理解？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？