抽象群理论.docVIP

群论基础及其应用 第一章 抽象群理论 1.1 群的定义 首先分析以下几个代数系统的性质（所谓代数系统是指，至少定义了一种运算的集合） 例1.1 代数系统：，其中表示全体实数集合R的去零集合，(表示数乘运算。该系统显然有下列性质： 对都有；（运算的封闭性） 唯一存在元素使得，有；（存在幺元素1） 对唯一存在一个元素，使得；（存在逆元素） 对都有。（运算的结合性） 例1.2代数系统：，+表示数的和。该系统显然有下列性质： 对都有；（运算的封闭性） 唯一存在元素使得，有；（存在幺元素0） 对唯一存在一个元素，使得；（存在逆元素） 对都有。（运算的结合性） 对于由全体整数构成的子系统也有相同的性质。 例1.3代数系统：{A，矩阵乘}，其中 容易验证该系统满足 运算在A上封闭（）； 存在幺元素E； 每个元素都有逆元素（）； 运算满足结合律。 任何一个子系统{，矩阵乘}也有上述性质。 例1.4代数系统：{C，操作乘积}，其中 对平面向量旋转角度为零的操作（恒等操作）； ： 对平面向量旋转角度为90度的操作； ： 对平面向量旋转角度为180度的操作； ： 对平面向量旋转角度为270度的操作。 两个操作的乘积AB表示先B后A的相继操作 容易验证该系统满足 运算在C上封闭 ，， 存在幺元素E； 每个元素都有逆元素 ；；； 运算显然满足结合律 综合以上几个代数系统的共同特性，于是引入群的定义 定义1.1：对于集合G，(表示定义在集合上的某种二元运算（广义上统称为‘乘法’），若代数系统满足下列性质： 对都有；（闭合律，封闭律）； 存在单位元素（幺元素），使得，有； 对存在唯的一个元素，使得；（存在逆元素）； 对都有。（结合律） 则代数系统称为群（简记为G），群中元素的个数称为群的阶。 注：今后为了书写的方便，我们将一律简写为ab。 有限群：包含有限个元素的群； 无限群：包含无穷多个元素的群； 连续群：包含无限多个不可数元素的群； 分立群：包含无限多个可数元素的群； 再举几个群的例子： (1) 构成的二阶群； (2) 构成的四阶群； (3) （I全体整数的集合）构成的分立群； (4) {全体平面旋转操作，操作的乘积}构成的连续群; (5) {全体n阶正交矩阵，矩阵乘法}构成的分立群（）。 阿贝群（交换群）：运算满足交换律的群。在上例中，除第五个群外，其余都是阿贝群。 例1.5 设群，若对有： ， 证明此群必为阿贝尔群。 【证明】 任取，则有 由题给条件知 因而有 亦即 由此可见，每一个元素自逆的的群是一个阿贝尔群。 对称群：一个系统（几何对象，物理系统等）的所有对称变换（操作）所构成的群。 例1.6正方形的对称群 Fig. 1.1 正方形的对称轴与对称平面 正方形abcd一共有8个可能的对称变换： 一个4重旋转对称轴O（垂直通过对称中心的轴）： 、、：分别表示绕O轴顺时针90、180、270度的旋转； 四个对称平面x、y、(、(： ：对x面（线）的反射；：对y面（线）的反射； ：对(面（线）的反射；：对(面（线）的反射。 加上恒等变换E一共有8个对称操作。因此正方形的对称群为一个8阶群 容易看出： 运算在上封闭（两个对称操作的积仍然是对程操作）； 有幺元素E； 每个元素有逆元素： ，，，， ， 满足结合律。 循环群： 形如的群称n阶为循环群，a称为循环群的生成元。 例如，例1.4中的旋转群就是一个4阶循环群。因为此群可以表示为（以为生成元） 或（以为生成元）： 1.2 有限群的基本性质 1.2.1群的乘法表 一个有限群可以用一个乘法表来表示，在乘法表中列出了群中任意两个元素相乘的结果。 例1.7 列出洛伦兹二阶群SL(2)={A，矩阵乘}的群乘表。其中 该群的乘法表为 表1.1 SL(2)群的乘法表 E A1 E E A1 A1 E A1 表中的每一行是第1列中的元素依次与第一行中的诸元素左边相乘的结果； 群中所有元素在每一行（列）中必须出现一次且仅能出现一次，也就是说，群乘表中每一行（列）是群中全体元素的一个排列。 任何两行（列） 例1.8 列出正方形的对称群的群乘表。 该群的乘法表为： 表1.2群的乘法表 E E E E E E E E E E 通过以上两例可以看出，一个群的群乘表有以下重要性质： 定理1.1（重排定理）：在一个群的乘法表中，群中所有元素在每一行（列）中必须出现且仅能出现一次；群乘表中任意两行（列）是群中全体元素的不同的排列。 重排定理告诉我们，对于，