目录
0. 前言
业余爱好小白的群论自学笔记。没有目的，为了学习而学习。用自己能够理解的方式沿着自己的思路进行整理记述（东施效颦小平邦彦的抄书学数学），不求严谨完备，但求逻辑连贯。
上一篇（群论基础速成（3）：拉格朗日定理、直积与半直积）介绍了基于小的群构造更大的群的技术之直积和半直积，上上一篇（群论基础速成（2）：子群，陪集，正规子群，商群）则介绍了正规子群和商群。
本篇来看一看（半）直积群与商群之间的关系。更具体一点来说就是，群的积运算与商运算是不是跟初等代数中那样是逆运算的关系呢？
1. 商群概念回顾
如果群H是群G的正规子群，则H在G中的陪集集合在特定的陪集运算下构成一个群，记为G/H，称为G的商群（Quotient group, factor group）.
进一步，每个群都包含它自身和Z1两个商群。如果一个群除此两个商群以外没有其它的商群，则称之为简单群（simple group）。简单群的这个定义听起来很像自然数中的质数(素数，prime number)。回头来看，简单群应该命名为prime group更为合适，但是由于路径依赖原则，过去的事情就只好将错就错地让它过去了。其实，商群的英文之一“factor group”也是一个比较misleading的词。在直积群的定义中，通常也称两个相乘的群为因子（群），似乎这个地方用“factor group”要合适一些，除非，两者恰好是等价的。但是，根据以下讨论，我们将知道两者显然不等价。
2. 群的直积与商是逆运算吗？
上一节我们提到简单群与素数的定义有很相像的地方。
我们知道，自然数的因子分解与乘法运算是互逆运算，即.
很自然地，我们会想，那群的直积与商是互逆的运算吗？比如说，
- H和G是由G和H构成的直积群
的正规子群吗？
- 如果(1)的答案是Yes的话，该直积群关于其中一个因子的商群一定同构于另一个因子吗，即
成立吗？
- 由G的正规子群H和对应的商群G/H的直积能还原出群G吗？
- 正规子群和对应的商群的关系是对称的吗？即G/H还是正规子群吗？进一步，G/H对应的商群(G/(G/H))同构于H吗？
以下试图不加证明（是因为修行太浅还给不出合理像样的证明^-^，甚至也难以给出通俗解释。不过真的关心证明过程的话应该去找严肃的数学教科书）的回答以上这些问题。
2.1 群的直积运算是可交换的
这个结论在上一篇就提到过了。
2.2 因子群一定是直积群的正规子群
在任何直积群中，其因子都是正规子群。
2.3 子群H和商群G/H的直积不能还原G
【反例1】
我们知道，
但是，并不成立。事实上，我们知道
。即两个Z2的直积同构于克莱因四元群（同构于4阶二面体群），而克莱因四元群并不同构于Z4.
图1 左图：V4(克莱因四元群)；右图：Z4；
如上图所示，左图为V4，描述的是一个长方形的沿纵向和横向的翻转的对称。右图为Z4，描述的是一个正方形的旋转对称性。两者显而易见是不同的。
那。。。V4/Z2是否同构于Z2呢？
【反例2】
但是，Z6与D3并不同构！
进一步，。
BTW，D3与S3是同构的。
由以上两个反例可以看出，子群H和商群G/H的直积不一定能还原G（有时候能）。
这充分说明了群的直积运算与求商运算不是互逆的运算。
事实上（我猜测。。。待验证），对于n = 2m，n和m皆为自然数，总是有：
- Zn/Zm同构于Z2
- Dm同构于Zm与Z2的直积
- Dm与Zn并不同构
2.4 直积群关于一个因子的商群同构于另一个因子吗？
上一节已经提出了这个问题。
嗯。。。还没有想明白，容我再想想后再来回答这个问题。
2.5 正规子群和对应的商群的关系是对称的吗？
嗯。。。还没有想明白，容我再想想后再来回答这个问题。
总而言之，言而总之，群的分解与自然数的分解的确尤其相似之处，但是不要随意地将这种类比扯得太远！自然数的分解是可逆，而群的分解则不是可逆的。
3. 再加上半直积会怎么样呢？
上一章我们已经非常明确地知道了群的直积运算与商运算不是互逆的（否定一个论断总是相对简单的，只要找出一个反例就可以了），那如果再加上半直积如何呢？
直接上结论：
考虑半直积和直积构成的群的积运算，这个积运算是商运算的逆过程！
也就是说，对于群G和它的正规子群H，群G或者是H与商群G/H的直积，或者是H与商群G/H的半直积。
比如说，以上例子中，
D3是C3和C2的半直积，而D3/C3同构于C2。
Z6是C3和C2的直积，同样有Z3/C3同构于C2。
D3和Z6虽然结构不同，但是在求商的过程中抹掉了这种不同之处，得到了相同的结果！（更详细精彩的描述可参考《群论彩图版》第7章）
下篇预告：五个典型群族
https://chenxiaoyuan.blog.csdn.net/article/details/122702319
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
