本节我们简单介绍一类重要的有限群:可解群。这个名称来源于高于四次的一般代数方程根式不可解,在今后的章节将会进行详细的介绍。
我们知道,多数的群都是非交换的。辨别一个群是否为交换群(Abel群),或者与交换群相近的程度可以有许多种方法和标准。比如说:群G是Abel群当且仅当C(G)=G。所以群G的中心C(G)越大,可以认为G越接近Abel群。又比如说:元素g是中心元素当且仅当g与自身共轭,所以有限群G为Abel群当且仅当G中的每一个元素均是一个共轭类,即共轭类数量达到了最大值|G|。所以一个有限群的共轭类数越大,也可以说明它越接近Abel群。现在我们再给出一个标准。设
,考虑G的换位子群
,由于
,因此G是Abel群当且仅当
。群
越大则不为1的换位子越多,表示G离Abel群越远。
现在我们来了解更多关于换位子群的性质。
(定理2.9.1)
。
证明:对于
,显然
,所以
,于是
,由于g可为G中的任意元素,所以也有
,于是
。这就表明
。证毕。
(定理2.9.2)若
,则
是Abel群当且仅当
。
证明:若
是Abel群,则对每个
都有
,于是
,即
。特别地,
显然是Abel群。反过来,若
,则根据第三同构定理得
,即
同构于
的商群,从而必是Abel群。证毕。
现在记
。于是得到G的一个子群序列
,
其中每一个
都是前一个
的正规子群。
(定义2.9.1)群G叫做可解群,是指
使得
。
每个Abel群都是可解群,因为此时
。更一般的我们有:
(定理2.9.3)可解群的子群和商群都是可解群。
证明:若
,设映射
将
个陪集
的代表元
都映为
,则总有
,所以
是满同态。若
,则存在满同态
,显然
,则证毕。
(定理2.9.4)若
,则G可解
N和G/N均可解。
证明:由定理2.9.3知
成立。现设N和G/N均可解,来证明G可解。考虑满同态
,由G/N的可解性可知有n使得
,即
,由N可解知
也可解,从而有m使得
。于是G可解。证毕。
现在我们给出可解群的另一种辨别方法。
(定义2.9.2)设群G的有限多个子群组成的子群列
。如果每个
均是
的正规子群,则称它为正规列。如果正规列中
均是单群,则称它为合成列。一个正规列叫做可解列,是指
均为Abel群。
(定理2.9.5)有限群G必有合成列。
证明:我们只需令每个
均是
的极大非平凡正规子群即可。假定存在
是
的极大非平凡正规子群,而
不是单群,则设其有非平凡正规子群H,显然
,则
,那么由第二同构定理可得
,再由第三同构定理得
,所以
,这与
是
的极大非平凡正规子群矛盾。证毕。
(定理2.9.6)群G是可解群当且仅当G有可解列。
证明:充分性,若G可解,则有n使
。而
是正规列,由定理2.9.2知
均为Abel群,所以这是可解列。必要性,若G有可解列
,则
均为Abel群,由定理2.9.2知
,所以若有
,则有
,那么根据第一归纳法,若要证明
,则只需确保
,而由
知这是显然的,所以
,即G是可解群。证毕。
(定理2.9.7)有限群G可解当且仅当G存在正规列
,使得
均是素数阶循环群。
证明:充分性,检查定义2.9.2我们可知在G的可解列中
均为Abel群,若
为单群,则证毕,所以
不是单群,根据定理2.8.1则必定存在正规子群
使得
为素数阶循环群,再由定理2.9.5可知
,则只需考虑
的正规子群
,根据定理2.9.3,
是可解的,然后重复上述论证即可。必要性,这是显然的,因为素数阶循环群均为Abel群。证毕。
(定理2.9.8)每个非Abel单群都是不可解的。
证明:这是定理2.9.7的直接推论。
(定理2.9.9)当
时,
不可解。
证明:根据定理2.9.3的逆否命题可知若G存在子群不可解,则G不可解,而
为
的非Abel单子群,根据定理2.9.8,它不可解,所以
不可解。
(定理2.9.10)Burnside猜想:每个奇数阶的有限群都是可解群。
证明:这个猜想在1963年由W.Feit和J.Thompson所证明,论文长达255页。。。。所以这里就不放了。
本节完。
习题:
1.证明:若G为非Abel单群,则G'=G。
2.证明:
都是可解群。
3.证明:若p和q为素数,且
,则pq阶群可解。
4.证明:
和
是可解群。
5.设p,q,r均为素数(不必不同),试证pqr阶群都是可解群。
6.证明:若群G有一个指数为4的正规子群,则G也有一个指数为2的正规子群。(提示:可以在作者的回答里找到)