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



任何一个群是否都是某个拓扑空间的基本群? 第1页

  

user avatar   zhang-jun-ming-29-64 网友的相关建议: 
      

回答是肯定的,对任何一个群 ,这就是所谓的Eilenberg-MacLane空间 ,即基本群为 且拥有可缩的泛覆盖空间的拓扑空间,具体构造如下(下图来自于Allen Hatcher的代数拓扑)。

在高维的情况也可以通过这种粘贴胞腔的方法构造类似的结果,由于高阶同伦群都交换,事实上对于任何一个交换群 和正整数 ,都存在拓扑空间 使得其 为 而其他阶同伦群都平凡,构造方法也是通过粘胞腔,这里不赘述了,感兴趣的话可以去看Hatcher的Section 4.2。顺便若给出一串 使得 时 都是交换群,那样就可以有 的第 个同伦群为 。

再说一些额外的,对每个CW复形,我们都可以用上面的手法造出一个和它每阶同伦群都一样的东西,但是有个问题是这二者并不一定真的有相同的伦型,不过我们可以稍作修改,现在每一层直接乘上去都相当于做平凡的fibration,如果将其每一步都"twist"一下后就可以得到所谓的Postnikov Approximation了,感兴趣的话也可以看看。




  

相关话题

  如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」,你会如何介绍它? 
  同伦与同胚的区别是什么? 
  为什么现代数学经常会关心整体性质?能不能举例详细说说? 
  如何理解 Van-Kampen 定理? 
  怎么理解 Mayer-Vietoris 序列? 
  任何一个群是否都是某个拓扑空间的基本群? 
  一个关于T2与紧性的拓扑问题,如何证明? 
  代数拓扑为什么研究同调? 
  可点缩的空间是否一定以其中某一点作为其强形变收缩核呢? 
  有没有讲纤维丛和示性类比较不错的书或notes? 

前一个讨论
哲学何时才可以与政治分离,在什么样的社会中才不会因为政治因素而损害了哲学上的学术研究?
下一个讨论
如何求解 e^x=x^e 这个方程?





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