第11讲 第2章节第8节 子群.pptVIP

定义1 例7.找出 近 世 代 数(Abstract Algebra) 主讲教师 ： 蔡 炳 苓 （河北师范大学数学与信息科学学院) 第8节 子群 利用群的某些子集来研究整个 群的性质是群论研究的方法之一. 本节我们将考虑这样一些有特殊 性质的子集合. 例1 设 和 都 的子群，它们称为 的平凡子群. 是群, 是 的单位元，则 非平凡子群称为真子群. 设 是群， 是 的一个非空子集. 中元素的二元运算 也构成群， 如果按 是 的一个子群，记为 . 则称 是 例2 证明：运算封闭： 结合律对S3的所有元成立，对H的元也成立； (1)是H的单位元； (1)的逆元为（1），(12)的逆元为（12）. 性质1设 是群, . 则 作为 中元素时在 中的逆元. 的单位元 是 的单位元； (1) 中元素 在 中的逆元也是 (2) 证明：设 是 的单位元，则 ，由消去律， ,在 中 ，则 ， . 设 在 中的逆元记为 的逆元记为 由消去律 定理1 设 是群 的非空子集, 则 的充分必要条件是： ，有 (2) ，有 (1) 充分性：由(1)， 中结合律也成立； 由(2), 中每一个元素 证明：必要性：由子群定义及性质1，显然成立(1)(2). 并且由 ，则 都有逆元，所以 是子群. 定理2　设 是群 的非空子集, 则 (3) ，有 证明：必要性：(1)(2)推(3) ，再由(1)， . ，由(2)， 对 充分性： 由(3)，对 ,于是 ，单位元 因此 从而由 得 定理3　设 是群 的非空有限子集, 则 ，有 证明：必要性显然，下证充分性： (*). 由条件(*)， 是一个半群，又因为群 有消去律，从而 也有消去律， . 注：这个定理，只要求H是有限集，并没有 要求G是有限集. 例3 设 例4 ={数域F上的全体n阶可逆矩阵} H= {数域F上的全体行列式等于1的n阶方阵} 例5 证明：只需说明运算封闭： 同理可以知道： {(1),(13)};{(1),(23)};{(1),(123),(132)} 也是三次对称群的子群. 找出S3所有子群! 例6 一个群的两个子群的交仍是其子群. 注:(1)子群的并未必是子群; 如整数加群中(2) ∪(3) （2）子群的积未必是子群： AB是子群当且仅当AB=BA.（练习） 关于生成子群 注： 性质3：循环群的子群还是循环群. 证明：设 是循环群， 性质2：循环群 ，则 证： 中的所有子群.