群论基础速成（3）：拉格朗日定理、直积与半直积

笨牛慢耕

已于 2023-08-23 14:30:52 修改

阅读量7.1k

点赞数 8

分类专栏：数理计科文章标签：群论拉格朗日定理直积半直积重布线

于 2022-02-09 15:32:05 首次发布

本文链接：https://blog.csdn.net/chenxy_bwave/article/details/122826611

版权

数理计科专栏收录该内容

14 篇文章

订阅专栏

0. 前言

业余爱好小白的群论自学笔记。没有目的，为了学习而学习。用自己能够理解的方式沿着自己的思路进行整理记述（东施效颦小平邦彦的抄书学数学），不求严谨完备，但求逻辑连贯。

上一篇（群论基础速成（2））介绍了子群，陪集，正规子群，商群的概念。

本篇首先介绍拉格朗日定理，然后介绍由较小的群来构建较大的群的技术：直积和半直积。

下一篇将介绍（半）直积与商的关系。

1. 拉格朗日定理

【定理4】拉格朗日定理

如果H是G的子群（注意，这里由于不存在群运算符混淆的问题，所以采用群的简记形式），即 $H<G$ ，则群H的阶整除群G的阶。

拉格朗日定理可以表达为如下数学表达式：

$|G| = |H| \cdot [G:H]$

其中，|G|表示原群G的阶， |H|表示子群H的阶，[G:H]表示H的左陪集的个数，也称H的指数。

由上一篇我们已经提到了，H的陪集构成了G的一个无重叠的分割(partition without overlap)，既如此，群G的阶能够被群H的阶整除就是显而易见（^-^）的了。

拉格朗日定理的意义在于为寻找一个群的子群提供了有效的帮助。其中一个重要用途就是它大大减小了子群存在的可能性，缩小了子群搜索的范围。比如说，一个12阶的群，你根本就不必考虑存在5阶或者7阶子群的可能性！

在后面介绍到对称群时会知道，任何一个有限群都同构于一个某个对称群的子群，从对称群出发，结合拉格朗日定理，就有可能“快速”地搜索列举出所有阶数在一定范围内的有限群。

拉格朗日定理的应用

拉格朗日定理在群论中有广泛的应用。下面通过两个具体例子来说明：

例1：考虑一个乘法群G，其中G = {1, 2, 3, 4, 5, 6}，H = {1, 5}。根据拉格朗日定理，|G| = |H| × [G:H]，即 6 = 2 × [G:H]，解得 [G:H] = 3。这说明该乘法群G的子群H存在3个左陪集。

例2：对于一个置换群S4，请计算其子群A4的阶。

置换群S4的阶数为|S4| = 4! = 24. (Generally, |Sk| = k!)

根据拉格朗日定理，|S4| = |A4| × [S4:A4]，即 24 = |A4| × [S4:A4]。。。。嗯嗯接下来呢？

拉格朗日定理反向应用成立吗？

拉格朗日定理表明，子群的阶一定整除父群的阶。一个很自然的猜测是，针对父群的阶的每一个因子，对应阶数的子群一定存在吗？答案竟然是并不一定。这个论证（哪怕是粗糙的非正式论证）目前超出了我的叙述能力和理解边界，有兴趣的伙伴可以自行寻找严谨的证明。

【定义15：子群的指数】

如果H是G的子群，定义H的指数为 $[G:H] = \frac{|G|}{|H|}$ .

H的指数事实上就是H的左陪集的个数。这里需要注意的是，大多数情况下，当使用陪集一词的时候，我们都默认，子群本身既是一个左陪集又是一个右陪集，因为， $H = eH = He$ .

当然，这里需要注意的是，相同的左陪集不重复计数。相同的陪集是指， $For \ a,b \in G, and\ a \neq b, aH=bH$ 。

2. 直积

最简明的由较小的群构造较大的群的技术就是采用直积的方式。

【定义16】直积

给定两个群 $(G,*)$ 和 $(H,\heartsuit)$ ，定义集合GH为G和H的笛卡尔积： $GH = \{(g,h) | \ \forall g \in G, h\in H\}$ , 并定义二元运算符 $\times$ ： $(g_1,h_1) \times (g_2,h_2) = (g_1 * g_2, h_1 \heartsuit h_2)$ ， $(GH, \times)$ 构成一个群，称为群 $(G,*)$ 和 $(H,\heartsuit)$ 的直积群（direct product group），简记为 $G \otimes H$ （在《群论彩图版》中是简记为 $G \times H$ ），而G和H则称为因子。

例1： $(\mathbb{R}^+,*) \otimes (\mathbb{R}^+,*) = ((\mathbb{R}^+ \otimes \mathbb{R}^+), *)$

例2： $V_4 = \mathbb{Z}_2 \otimes \mathbb{Z}_2$ ， $V_4$ 表示Klein四元群

当群运算是加法运算(+)时，直积也称为直和(direct sum)。需要注意的时，在群论中，(+)不是一个纯抽象任意的二元运算符，而是为具有与我们所熟悉的初等数学里的加法运算有相同性质的群运算所保留的符号。比如说，初等数学里加法运算是可交换的，因此当使用(+)作为群运算符时，隐式地表明这是可交换群（阿贝尔群）。所以，直和并不是与直积并列的概念，而是一种特殊的直积。

直积群的阶

显而易见的是，直积群的阶数等于两个因子群的阶的乘积。

直积群的性质

直积群 $G \otimes H$ 必然有子群分别同构于G和H。

令 $e_g, \ e_h$ 分别代表群G和H的单位元，容易证明， $G \otimes ({e_h},\heartsuit) \cong G$ , $({e_g},\heartsuit) \otimes H \cong H$ 。

可视化方式构建直积群的凯莱图

在《群论彩图版》中有精彩的描述。这里简要地搬一下砖。有兴趣的小伙伴建议参考该书。这里采用的可视化的方式是凯莱图（凯莱图在《群论基础速成（1）》中简单地提了一下，后面有机会再稍微详细一点介绍。可参考《群论彩图版》）。

利用凯莱图构造群A和群B的直积群 $A \otimes B$ 的凯莱图的步骤如下：

从A的凯莱图出发，即先画出A的凯莱图
让A的凯莱图的每个节点膨胀变大，并用B的凯莱图的副本填充A的每个膨胀节点
去掉A的每个膨胀节点，同时用A的箭头（代表群A的作用）连接B的每个副本中对应的节点

例：以直积群 $C_2 \otimes C_4$ 为例进行说明，如下所示：

图1 直积群 $C_2 \otimes C_4$ 凯莱图构造过程(《群论彩图版》图7.2)

注意，当存在多个生成元时，凯莱图中通常（当然并不必然的）用不同颜色表示不同的生成元（作用）。以上构造出的直积群中，不同颜色所代表的生成元分别源于群A和群B。新的直积群有两个生成元。

同样，可以构造出直接群 $C_4 \otimes C_2$ 的凯莱图，如下图所示：

图2 直积群 $C_4 \otimes C_2$ 的凯莱图构造过程(《群论彩图版》图7.4)

不难看出，以上两个直积群是同构的。事实上，群的直积是可交换的，即对于任意两个群A和B，都有： $A \otimes B = B \otimes A$ .

构建直积群的乘法表

如前所述，凯莱图表示以基于作用的观点来看待群；而凯莱表（乘法表）则是从代数的观点来认识群。与基于两个因子群A和B的凯莱图可以直接构造出直接群 $A \otimes B$ 的凯莱图相类似，也可以基于两个因子群A和B可以直接构造出直接群 $A \otimes B$ 的凯莱表来。步骤与凯莱图的构建相类似，但是不像凯莱图的构建那么直观。此处不再赘述，可以参考《群论彩图版》7.1.4.