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