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



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

  

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

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




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

详见


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

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

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

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




  

相关话题

  有哪些有趣的或者是反常识的数学问题? 
  n阶矩阵A的各行各列只有一个元素是1或−1,其余元素均为0.是否存在正整数k,使得A^k=I? 
  如果 n 个向量线性无关,则其中 n-1 个向量线性相关吗? 
  数学系课程中,《解析几何》到底有什么用? 
  实变、泛函、抽代、拓扑,哪几门对于非纯数专业更加有用? 
  请问一下,如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢? 
  如何证明:p3阶非Abel群的中心必同构于Zp,这里p为素数? 
  n整除Phi(p^n-1),怎么证明? 
  如何理解抽象代数的用途? 
  实数域上的连续函数f,存在一个有理数a和一个无理数b使得a与b均为f的周期。如何证明f为常值函数? 

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





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