百科问答小站 logo
百科问答小站 font logo



请问一下,如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢? 第1页

  

user avatar   he-gua-39-71 网友的相关建议: 
      

可以看成Nakayama引理的一个运用




user avatar   zhai-sen-8 网友的相关建议: 
      

详见


原回答证明了削弱版的命题:Noether模的满自同态一定是同构。

设 是 -模 到 自己的满同态,则 , 等等全都是 的满同态。考虑下列的上升子模序列

由于 是Noether模,故这个序列会在某处停止

对任意 ,当 时,由于 是满射,故存在 使 ,因此 。由 知 ,即 。这一段的论证意味着 ,从而 是单同态,也即同构。




  

相关话题

  求问学抽象代数的大佬,如果f(x)的次数为n,那么分裂域E/F的次数为什么是n!,分裂域的次数是什么? 
  如何证明Q[³√5]是域? 
  对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材? 
  如果规定数 j 满足 j 的绝对值为 -1 ,数集会不会有新的扩充? 
  如何把微信群/QQ群构造成一个阿贝尔群? 
  问一下,这几个群是什么群,有什么性质? 
  请问陪集、左陪集、商群、正规子群该如何理解? 
  多次试图学习抽象代数,但屡屡受挫,该怎么办? 
  为什么多项式的根是系数的连续函数? 
  如何从数学角度证明魔方复原存在必可解策略? 

前一个讨论
复变函数中多值函数的黎曼面是不是不唯一?
下一个讨论
为什么left adjoint的存在性和comma category有关?





© 2025-02-05 - tinynew.org. All Rights Reserved.
© 2025-02-05 - tinynew.org. 保留所有权利