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



如何证明有理数加法群不是有限生成群? 第1页

  

user avatar   xipan-xiao 网友的相关建议: 
      

我来写个(大炮打蚊子的)代数几何证明[doge]。

评论区有个更简短的证明:若 是有限生成群,则 是一个有限生成 模。从而 有限,从而它是闭的,从而是proper的[1],从而像集是闭的。但是唯一的点 映射到 上的 generic point ,像集不是闭的(generic point的闭包是全集)。

下面是原回答:

环的包含映射 诱导了 的 dominant map:唯一的点 映射到 上的 generic point 。我们知道 的闭集是有限个 closed point 的并,所以不是闭的(它的闭包是全集),也不属于除了全集以外的任何一个闭集。它也不是开的(因为它的余集是个无穷集,不是闭的)。从而 不是一个 locally closed set,作为单点集当然也不是若干 locally closed set 的并,从而它不是 constructible 的。

现在若 是有限生成群,等价于 是一个有限生成 模。从而 有限,由Chevalley’s Theorem,它的像是 constructible 的,这就得到一个矛盾。

参考

  1. ^ https://en.wikipedia.org/wiki/Finite_morphism#:~:text=Finite%20morphisms%20are%20closed%2C%20hence,they%20are%20quasi%2Dfinite



  

相关话题

  俄罗斯数学近况如何? 
  将一个大于等于3的数分成三个正整数相加有多少种分法? 
  设群G有一个指数为4的正规子群,则G也有一个指数为2的正规子群。这个要怎么证明呢? 
  对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材? 
  经济学中的「效用」是全序的吗?是可加的吗?如何证明? 
  如何利用群论的知识解决三阶魔方? 
  如何通俗地解释马尔科夫链? 
  「大数定律现象」的成立是数学推出的结果么? 
  为什么负负得正,正正不能得负? 
  游戏只有一个玩家,有 1~9 九张牌,掷俩骰子并设点数之和为 n,此时(详见描述)……? 

前一个讨论
日本史上最著名的几把名刀都是什么,有什么历史?
下一个讨论
如何评价颜宁的科研能力?





© 2025-06-24 - tinynew.org. All Rights Reserved.
© 2025-06-24 - tinynew.org. 保留所有权利