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



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

  

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

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




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

详见


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

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

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

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




  

相关话题

  乘法分配律是公理吗,是能证明的吗? 
  如何证明若a1≠a2≠…≠an,则m×n范德蒙矩阵V=aj^(i-1)有最大秩min(m,n)? 
  如果引进新的运算,一元五次方程会不会有通用的求根公式? 
  一个范畴问题? 
  数学书上这种是什么字体,以及应该如何手写? 
  为什么伽罗瓦19岁就发明的群论,绝大多数那个专业的研究生终其一生都学不会? 
  超越函数能因式分解吗? 
  国内的数学系本科是不是代数的训练不够? 
  怎样理解平面向量的数量积是一个实数呢?方向乘方向怎么会有意义? 
  复数是否包含实数? 

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





© 2025-04-25 - tinynew.org. All Rights Reserved.
© 2025-04-25 - tinynew.org. 保留所有权利