子群及其陪集.pptVIP

§6.4 子群及其陪集 6.4.1 子群的定义 6.4.2 子群的判别条件 6.4.3 循环群 6.4.4 陪集 §6.4.1 子群的定义 定义6.4.1 设(G，·)是一个群，H?G，如果(H，·)仍是一个群，则(H，·)叫做(G，·)的子群。如果G的一个子群H不等于G，即H?G，则(H，·)叫做(G，·)的真子群。 注：G的子群H的运算必须与G的运算一样。比如， (C*，·)不是(C，+)的子群。 例： (mZ，+)是整数加法群(Z，+)的一个子群，其中m为整数。 (C，+)以(R，+)、(Q，+)、(Z，+)为其真子群。 (C*，·)以(R*，·)、(Q*，·)为其真子群。 行列式等于1的所有n阶矩阵作成实数域上所有n阶非奇异矩阵的乘法群的一个真子群。 n次交代群是n次对称群的一个真子群。 平凡子群 任一群G都有两个明显的子群，称为G的平凡子群； 由其单位元素组成的子群{1}，称为G的单位子群； G本身。 其余的子群(如果有的话)称为非平凡子群。 §6.4.2 子群的判别条件 判别条件一 定理6.4.1 群G的一个子集H是G的一个子群的充分必要条件是： 1) 若a∈H，b∈H，则ab∈H； 2)?若a∈H，则a-1∈H； 3) H非空。 判别条件一 证明：必要性 若H是G的子群，则(1)、(3)显然。 现要证(2)。 (错误证法：由H是G的子群知，H是群，故对?a∈H，有b∈H，使得ab=1，所以b是a的逆，由a的逆的唯一性，知a-1=b，而b∈H ，故 a-1∈H。) 判别条件一 先证H中的单位元就是G中的单位元。 设1G是G中的单位元， 1H是H中的单位元。 任取a∈H，则在H中有：1Ha=a，故在G中也成立。以a-1右乘得： (1H a)a-1=aa-1，即， 1H (aa-1)=1G ，1H1G=1G， 故，1H=1G。 判别条件一 由群的定义，对于H中的a，应有b∈H，使，ab=1H，而1H=1G ，因此， ab=1G， 此式在G中亦成立，以a-1左乘得 b=a-11G=a-1 因而a-1∈H，即(2)成立。 必要性证毕。 判别条件一 充分性：设(1),(2),(3)成立。 由(3)，H非空。 由(1)，H内运算封闭. 在G中成立的结合律在子集H中自然成立。 往证H中有单位元1G。任取a∈H，由(2)，a-1∈H，由(1)，aa-1∈H，即1G∈H；1G在G中适合1Ga=a，故在H中亦有此性质，1G也是H的单位元。 往证H中任意元素a有逆。因由(2)，a-1∈H，但是G中，a-1a=1G，此式在H中亦应成立，故a-1是a在H中之逆。 综上，H在G的运算下是一个群，故是G的子群。 判别条件一 子群H与大群G的关系： H的单位元就是G的单位元， H中任一元素a在H中的逆元也就是a在G中的逆元。 应用判别条件一 例： 设(H1，·)，(H2，·)是群(G，·)的两个互不包含的子群，证明：H1∪H2≠G。 证明：因H1∪H2 ?G，故只需证 G中存在一个元素，它既不属于H1，也不属于H2。 由H1，H2互不包含知，存在x，y，使得x∈H1，且x?H2，y∈H2，且y?H1。 往证：x·y?H1，且x·y?H2。 用反证法。 若x·y∈H1，则由x∈H1 及由H1是G的子群知，x-1∈H1， 故， x-1·(x·y)∈H1，即，y∈H1，与y?H1矛盾。 若x·y∈H2，则由y∈H2 及由H2是G的子群知，y-1∈H2， 故， (x·y)·y-1∈H2，即，x∈H2，与x?H2矛盾。 因此，x·y?H1∪H2，而x·y∈G，所以H1∪H2≠G。 应用判别条件二 例： 给定整数m，证明(mZ，+)是一个群。 证明：注意到(Z，+)是一个群， mZ是Z的非空子集，因此，只需证(mZ，+)是(Z，+)的子群。 对任意x,y∈mZ，存在k,l∈Z，使得x=km，y=lm，于是： x-y=km-lm=(k-l)m∈mZ 。 因此， (mZ，+)是(Z，+)的子群，当然本身是一个群。 判别条件三 定理6.4.3 设H是群G的一个有限非空子集，则H是G的子群的充分必要条件是H对G的运算是封闭的，即若a∈H，b∈H，则ab∈H 。 提示：充分性证明可用教材201页习题2得出的结论：若集合非空、有限、运算封闭、且适合结合律、消去律，则为群。还可以利用判别条件一证。 证明： 必要性显然。 充分性。由判别条件一知，只需证明： 若a∈H，则a-1∈H即可。 任取a?H，则由运算封闭性，a,a2,a3,...?H。 因为H有限，所以?i, j，有 ai=aj，ji，故 aj-i=1，aaj-i-1=1