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



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

  

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

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




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

详见


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

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

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

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




  

相关话题

  如何证明任何有限域中的任何元素均可写成两数的平方和? 
  为什么会有 i 这一虚数?可以求出 i 的值吗? 
  请问一下,如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢? 
  是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)(其中 k∈Q)的形式? 
  学数学有点钻牛角尖,总是怀疑书中推导的严谨性,各位有什么好办法吗? 
  分析学在其他数学分支中能发挥多大的作用? 
  线性代数里面的矩阵是不是向量?假如是的话,为什么感觉这样的向量和几何里的向量有点不一样? 
  线性代数里的合同关系在空间中代表了什么呢? 
  自学交换代数(atiyah),却无能力自己证明书中的很多定理,是否表明完全不具备继续学习数学的潜力? 
  如何证明dimQ(R)=dimQ(C)? 

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





© 2024-11-21 - tinynew.org. All Rights Reserved.
© 2024-11-21 - tinynew.org. 保留所有权利