第六章 P ól y a (波利亚)定理6.1 群论基础普通代数主要涉及的计算对象为数，运算方式多为加、减、乘、除。

本节将把运算对象扩展到一般的集合元素，运算方式也可以是多种多样，例如矩阵运算、集合的并、交、差运算等。

换言之，我们要将研究对象及其运算和所要讨论的性质延伸到抽象代数的范畴。

§6.1.1 群的概念定义6.1.1 给定非空集合G 及定义在G 上的二元运算“·”，若满足以下四个条件，则称集合G 在运算“·”下构成一个群，简称G 为一个群。

：（1）封闭性：a ，b ∈G ，则a ·b ∈G ；（2）结合律：（a ·b ）·c ＝a ·(b ·c)；（3）单位元：存在e ∈G ，对任意a ∈G ，有a ·e ＝e ·a ＝a ；（4）逆元素：对任意a ∈G ，存在b ∈G ，使得a ·b ＝b ·a ＝e ，称b 为a 的逆元素，记为a －1 。

群的运算符“·”可略去，即 a ·b ＝ab .群的运算并不要求满足交换律。

如果某个群G 中的代数运算满足交换律，则称G 为交换群或Abel 群。

群的元素可以是有限个，叫作有限群 ；也可以是无限个，叫无限群。

以|G|表示有限群中元素的个数，称为群的阶，那么当G 为无限群时，可以认为|G|＝∞。

例6.1.1 偶数集，整数集Z ，有理数集Q ，实数集R ，复数集C 关于数的加法构成群，称为加法群。

因为数的运算对加法满足要求（1）和（2）。

其中的单位元为0，每个数a 关于加法的逆元为：a －1＝－ a 。

但是，关于数的乘法，这些集都不构成群。

因为在偶数集中关于普通乘法不存在单位元。

而在Z 、Q 、R 、C 中，虽然关于普通乘法有单位元1，但数0没有逆元。

例6.1.2 不含零的有理数集Q1，实数集R1和复数集C1关于数的乘法构成群其中单位元为e ＝1，数a 的逆元为aa 11=-。

例6.1.3 G ＝{1，－1}关于乘法构成群单位元为e ＝1，由于 (－1)－1＝－1，所以数a ＝－1的逆元为它自身。

例6.1.4 更一般情形，集合G 1＝{e ＝1}，G 2＝{1，－1}，G 3＝{1，231i +-，231i --)} (1的3次 根)，…，G n ＝{a k ＝e i k2π /n | k ＝0，1，…，n －1，i ＝1-}（n ＝1，2，…）均关于乘法构成群。

其中单位元为e ＝1，设⎪⎭⎫ ⎝⎛+⎪⎭⎫ ⎝⎛===n i ne q i n πππ2sin 2cos 122，则元素a k ＝q k 的逆元为1k a -＝q －k ＝ q n －k . 例6.1.5 G ＝{0，1，…，n －1}在模n （即mod n ）的情况下关于加法运算构成群，当n 为素数时，1G ＝{}0-G ＝{}1n 21-,,,Λ关于乘法运算也构成群。

在群G 中，单位元为0，元素G a ∈的逆元为－a 或n －a 。

而在1G 中，单位元则为1，a 的逆元为 ()n a a a mod 11--≡ϕ。

但对于某些特殊元素，其逆是显然的，如111=-，()11n 1-=--或1n -。

例6.1.6 所有m*n 矩阵关于矩阵加法，所有非奇异（即可逆）n 阶矩阵关于矩阵乘法都构成群。

前者是可交换的，后者是不可交换群。

例6.1.7 二维欧几里德空间的刚性旋转变换集合T ＝{T α}构成阿贝尔群。

其中T α 、T β 的二元运算T β *T α定义为：先做T α，再对其结果做βT 。

验证T α： ⎪⎪⎭⎫ ⎝⎛11y x ＝⎪⎪⎭⎫ ⎝⎛-ααααcos sin sin cos ⎪⎪⎭⎫ ⎝⎛y x （1）封闭性：T β *T α＝ T α＋β∈ T（2）结合律：显然，（3）单位元：T 0对应矩阵为E ＝⎪⎪⎭⎫ ⎝⎛1001 （4）逆元素：（T α）－1＝ T －α例6.1.8 设G ＝{f 1＝x ， f 2＝1－ x ， f 3＝1/ x ， f 4＝1－1/ x ，f 5＝1/ (1－ x ) ，f 6＝1－1/ (1－ x )}，定义G 上的二元运算，f i * f j ＝ f i ( f j （x ）)，则G 构成群。

（证）首先G ≠Φ，其次：（1） 可以逐一验证f i * f j ＝ f i ( f j （x ）) ∈ G ；（2） 同样可以逐一验证：f i * ( f j * f k )＝ ( f i * f j ) *f k ；（3） 单位元为 f 1＝x ；（4） f 4 ，f 5互为逆元，其他f i 的逆元是自身。

§6.1.2 群的性质定理6.1.1 群具有以下性质（1）单位元e 唯一；（2）逆元唯一；（3）满足消去律：即对a ，b ，c ∈ G ，若ab ＝ac ，则b ＝c ；若ba ＝ca ，则仍有b ＝c ；（4）a ，b ∈ G ，则(ab)－1＝b －1a －1，更一般有(ab …c)－1＝c －1…b －1a －1；（5）若G 是有限群，则对任意a ∈G ，必存在一个最小常数r ，使a r ＝e ，从而11--=r a a 。

r 称为元素a 的阶。

（证）性质（1）～（4）显然。

只证明性质（5）。

设|G|＝n ，由G 的定义知.i i a a aa =321Λ个＝a i ∈ G ，i ＝1，2，…，n ＋1 由抽屉原理知，必存在整数m ，k ，满足1≤m<k ≤n ＋1，使得a m ＝ a k ，即a k －m ＝ e ，令r ＝k －m ，则a r ＝ e ，即a. a r －1＝e ，所以a －1＝ a r －1.§6.1.3 子群定义6.1.2 设G 是群，H 是G 的子集，若H 在G 的原有运算下也构成一个群，则称H 是G 的子群。

例6.1.9 任何群G 至少有两个子群：H 1＝ G ，H 2＝{ e| e ∈ G 为单位元}。

例6.1.10 对于乘法运算，H ＝{1，－1}是G ＝{1，－1，i ，－i}的子群。

例6.1.11 偶数加法群是整数群Z 的子群，Z 是有理数加法群Q 的子群，Q 又是实数加法群R 的子群，R 是复数加法群C 的子群；对乘法群而言，也有Q 1是R 1的子群，R 1是C 1的子群。

例6.1.12 任选群G 的一个元素a ，设a 的阶为r ，则H ＝{a ，a 2，…，a r －1，a r ＝e}是G 的子群。

这样的群H 是由某个固定元素a 的乘方组成，称为循环群，或称H 是由元素a 生成的群，a 叫作H 的生成元。

例如，G ＝{1,2,3,4,5,6}关于模7的乘法构成循环群，其生成元为3{3,23,33,43,53,63}＝{3，2，6，4，5，1}另外，以2为生成元，可以得到G 的一个子群H ＝{2,22,32}＝{2,4,1}定理6.1.2 有限群的阶数必能被其子群的阶数整除。

（证）（略）。

伽罗华（Évariste Galois ，1811—1832）简介：是法国对函数论、方程式论和数论作出重要贡献的数学家，他的工作为群论（一个他引进的名词）奠定了基础。

源自他尚在校就读时欲证明五次多项式方程根数解（Solution by Radicals ）的不可能性（其实当时已为阿贝尔（Abel ）所证明，只不过伽罗华并不知道），和描述任意多项式方程可解性的一般条件的打算。

于1829年将论文送交法兰西科学院时，第一次所交论文却被柯西（Cauchy ）遗失了，第二次则被傅立叶（Fourier ）所遗失；他还与埃科尔综合技术学院（école Polytechnique ）的口试主考人发生顶撞而被拒绝给予一个职位。

第三次送交科学院的论文亦为泊松（Poisson ）所拒绝。

伽罗华死于一次决斗，可能是被保皇派或警探所激怒而致，时年21岁。

他被公认为数学界两个最具浪漫主义色彩的人物之一。

评论：数学史上最年轻、最富有创造性的头脑停止了思考。

后来的一些著名数学家们说，他的死使数学的发展被推迟了几十年，他就是伽罗华。

6.2 置换群不论在理论研究还是在实际应用中，置换群都是十分重要的一类群。

一方面，任何有限群都可以用它表示；另一方面，在解决“代数方程是否能用根号求解”这个问题时，要用到它；它还在本章的Burnside 引理及P ólya 定理中起着基本作用。

（一）置换定义6.2.1 有限集合S 到自身的一个映射叫做一个置换。

例如 S ＝{ a 1，a 2，a 3，a 4}， p ＝⎪⎪⎭⎫⎝⎛13424321a a a a a a a a 即是一个置换。

相应的映射是ƒ： a 1＝ƒ(a 4)，a 2＝ƒ(a 1)，a 3＝ƒ(a 3)，a 4＝ƒ(a 2) .或 ƒ(a 1)＝a 2，ƒ(a 2)＝a 4，ƒ(a 3)＝a 3，ƒ(a 4)＝a 1说明：（1）将S 中的元素a i 写在上一行(顺序可任意)， a i 的象写在a i 之下，同一列的两个元素的相对关系只要保持不变，即ƒ(a i )＝i k a ，不同形式的写法都认为是同一个置换。

如⎪⎪⎭⎫ ⎝⎛321321a a a ＝⎪⎪⎭⎫ ⎝⎛213213a a a （2）置换就是将n 个元的一种排列变为另一种排列。

（3）n 元集S 共有个n!不同的置换。

（二）置换的运算定义6.2.2 两个置换p 1、p 2的乘积p 1p 2定义为先做置换p 1再做p 2 的结果。

例如 p 1＝⎪⎪⎭⎫ ⎝⎛42134321， p 2＝⎪⎪⎭⎫ ⎝⎛12344321， 那么 p 1p 2＝⎪⎪⎭⎫ ⎝⎛42134321⎪⎪⎭⎫ ⎝⎛12344321＝ ⎪⎪⎭⎫ ⎝⎛13424321 即 1−→−1p 3−→−2p 2， 2−→−1p 1−→−2p 4，… 一般来说，置换的乘法不满足交换律，即p 1p 2≠p 2p 1，如上例中 p 2p 1＝⎪⎪⎭⎫ ⎝⎛12344321⎪⎪⎭⎫ ⎝⎛42134321＝⎪⎪⎭⎫ ⎝⎛31244321≠p 1p 2 求复合置换的一种技巧就是更改p 2各列的前后次序，使其第一行的排列与前者p 1第二行的排列相同，那么复合置换p 1 p 2的第一行就是p 1的第一行，其第二行是p 2的第二行。

如上例p 1p 2＝⎪⎪⎭⎫ ⎝⎛42134321⎪⎪⎭⎫ ⎝⎛12344321＝⎪⎪⎭⎫ ⎝⎛42134321⎪⎪⎭⎫ ⎝⎛13424213＝ ⎪⎪⎭⎫ ⎝⎛13424321 定理6.2.1 设S n 是n 元集合上的所有置换构成的集合，则S n 关于置换的乘法构成 群，称为n 次对称群。

（证） 由置换乘法的定义知，封闭性，结合律显然成立。