任何一个群是否都是某个拓扑空间的基本群？ 第1页
1
zhang-jun-ming-29-64 网友的相关建议:
回答是肯定的，对任何一个群 ，这就是所谓的Eilenberg-MacLane空间 ，即基本群为 且拥有可缩的泛覆盖空间的拓扑空间，具体构造如下（下图来自于Allen Hatcher的代数拓扑）。
在高维的情况也可以通过这种粘贴胞腔的方法构造类似的结果，由于高阶同伦群都交换，事实上对于任何一个交换群 和正整数 ，都存在拓扑空间 使得其 为 而其他阶同伦群都平凡，构造方法也是通过粘胞腔，这里不赘述了，感兴趣的话可以去看Hatcher的Section 4.2。顺便若给出一串 使得 时 都是交换群，那样就可以有 的第 个同伦群为 。
再说一些额外的，对每个CW复形，我们都可以用上面的手法造出一个和它每阶同伦群都一样的东西，但是有个问题是这二者并不一定真的有相同的伦型，不过我们可以稍作修改，现在每一层直接乘上去都相当于做平凡的fibration，如果将其每一步都"twist"一下后就可以得到所谓的Postnikov Approximation了，感兴趣的话也可以看看。
1
相关话题
任何一个群是否都是某个拓扑空间的基本群？怎么证明：拓扑学家的曲线连通但不道路连通？
可数个序列紧的乘积在乘积拓扑下是序列紧该怎么证明呀？
怎么理解 Mayer-Vietoris 序列？
任何一个群是否都是某个拓扑空间的基本群？
为何要引入同伦群，同伦群可以解决什么问题？
为什么现代数学经常会关心整体性质？能不能举例详细说说？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
同调群在拓扑以外有什么应用？
如何学习点集拓扑学？
下一个讨论
如何求解 e^x=x^e 这个方程？
相关的话题
对于当今数学来说，「几何」到底是什么？一个关于T2与紧性的拓扑问题，如何证明？
有没有比较浅显的拓扑学在数学分支中应用的例子？
如何证明环面T2不能嵌入到球面S2中?
群论和拓扑的关系是什么？群论本来就是拓扑的一种形式？
同伦与同胚的区别是什么？
如何确定K3曲面的betti数和hodge数?
如何阅读Hatcher的代数拓扑？
群论和拓扑的关系是什么？群论本来就是拓扑的一种形式？
为什么现代数学经常会关心整体性质？能不能举例详细说说？
机器学习的理论方向 PhD 是否真的会接触那么多现代数学（黎曼几何、代数拓扑之类）？
Cauchy定理的证明是否依赖于Jordan曲线定理？
图论和拓扑有什么区别？
有没有比较浅显的拓扑学在数学分支中应用的例子？
同伦与同胚的区别是什么？
如何评价一线大厂资深 APP 性能优化系列之异步优化与拓扑排序？
为什么我觉得这样的同胚根本不存在，可以帮我看一下这个问题吗?
为何要引入同伦群，同伦群可以解决什么问题？
怎么证明：拓扑学家的曲线连通但不道路连通？
如何以「我觉得代数拓扑实在是太简单了」开头写一篇故事？
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
所谓的魔术绳结实际是拓扑结构，可是这种拓扑结构如何证明其可解（就是能不剪断绳子解开）？
所谓的魔术绳结实际是拓扑结构，可是这种拓扑结构如何证明其可解（就是能不剪断绳子解开）？
可点缩的空间是否一定以其中某一点作为其强形变收缩核呢？
拓扑领域有哪些美妙的工作？
任何一个群是否都是某个拓扑空间的基本群？
为什么我觉得这样的同胚根本不存在，可以帮我看一下这个问题吗?
为什么现代数学经常会关心整体性质？能不能举例详细说说？
覆叠空间理论中的“纤维”有什么直观解释么？
数学学习或研究中，你见过哪些有意思的反例？