近世代数2-3.pptVIP

近世代数 第二章 群论 §3 子群 利用群的某些子集来研究整个群的性质是 群论研究的方法之一. 本节我们将考虑这样 一些有特殊性质的子集合. 定义1 子群的性质： 判定子群的充要条件 判定子群的充要条件 判定子群的充要条件(有限子集) 思考题： 1.找出 设 是群， 是 的一个非空子集. 中元素的二元运算 也构成群，则称 如果按 是 的一个子群，记为 . 例1 设 和 都是 的子群.它们称为 的平凡子群. 是群, 是 的单位元，则 非平凡子群称为真子群. 定理1设 是群, . 则 作为 中元素时在 中的逆元. 的单位元 是 的单位元, (1) 中元素 在 中的逆元也是 (2) 证明：设 是 的单位元，则 ，由消去律， ,在 中 ，则 ， . 设 在 中的逆元记为 的逆元记为 由消去律 定理2 设 是群 的非空子集, 则 的充分必要条件是： ，有 (2) ，有 (1) 充分性：由(1)， 的运算也是 中结合律也成立, 的单位元 ,由(2), 中每一个元素 证明：必要性：由子群定义及定理1，显然成立(1)(2). 并且由 ，而 中有结合律成立,所以 由(2)和(1)， , 对 的运算. 都有逆元，所以 是一个群， . 定理3　设 是群 的非空子集, 则 (3) ，有 证明：必要性： ，由(1)， . . 及(2)，得 由 充分性： 由(3)，对 ,于是 ，单位元 ，因此 从而由 得 . 例2 设 例3 例4 H= {数域F上的全体n阶满秩对角阵} H= {数域F上的全体行列式等于1的n阶方阵} ，有 ，有 定理4　设 是群 的非空有限子集, 则 ，有 证明：必要性显然，下证充分性： (*). 由条件(*)， 是一个半群，又因为群 有消去律，从而 也有消去律， . 注：这个定理，只要求H是有限集，并没有 要求G是有限集. 中的所有子群. 2.证明任何群都不会是两个真子群的并. （反证法） * *