请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？ 第1页
1
he-gua-39-71 网友的相关建议:
可以看成Nakayama引理的一个运用
zhai-sen-8 网友的相关建议:
详见
原回答证明了削弱版的命题：Noether模的满自同态一定是同构。
设 是 -模 到 自己的满同态，则 ， 等等全都是 的满同态。考虑下列的上升子模序列
由于 是Noether模，故这个序列会在某处停止
对任意 ，当 时，由于 是满射，故存在 使 ，因此 。由 知 ，即 。这一段的论证意味着 ，从而 是单同态，也即同构。
1
相关话题
加法交换律 a＋b＝b＋a 是怎么证明的？如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
如何理解群表现？
问一下，这几个群是什么群，有什么性质？
这个多项式问题从何入手进行求解？
为何中学阶段不系统讲授一元三次四次方程？总感觉高中数学的很多内容在初中数学上没有根基，完全是空降的？
数学或者自然科学中有哪些理论技巧一经提出就大大化简了过去某些问题很困难繁琐的解答？
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
如何证明这个群论问题？
线性代数对于计算机专业的作用是什么呢？
前一个讨论
复变函数中多值函数的黎曼面是不是不唯一？
相关的话题
加法交换律 a＋b＝b＋a 是怎么证明的？如何判断任意无理数的无理数次方是否为有理数或是无理数？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
代数、几何能否联系一起？
为什么实系数多项式方程的虚数解总是成对出现？
当今世界数学已经发展到本科生难以理解的地步了吗？
如何证明Q[³√5]是域？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
对于抽象代数中的这个互素后的怎么证明比较合适?
请问能给出一个例子，使一个向量空间的子集只满足包含0且对加法封闭但不对标量乘法封闭吗？
历史上，近世代数中环和域的概念是怎样逐步建立的？
有哪些神奇的数学巧合？
请问陪集、左陪集、商群、正规子群该如何理解？
如何证明哈代不等式?
母函数都是用幂级数吗？三角级数可以构造母函数吗？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
如何看待《华裔教授发现二次方程「极简」解法：丢掉公式，全球教科书可能都要改了》？
σ-代数为什么叫代数？它有代数结构吗？
有理数的开方，是否能取遍实数？ 换句话说，是否存在无理数，不是某有理数的开方？
orbifold和groupoid有没有人了解？
如何从数学角度证明魔方复原存在必可解策略？
一个范畴问题?
integral domain为啥叫整环？
矩阵最小多项式的几何意义是什么?
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
交换环的子环是否一定是交换环？
下面这个问题可以用李代数来解释吗？怎么解释？
有限域上为什么有x的m次方=e的解的个数不超过m？