离散数学ii（李占山）6.4子群及其陪集.pptVIP

§6.4 子 群 及 其 陪 集 6.4.1 子 群 的 定 义 6.4.2 子群的判别条件 6.4.3 循 环 群 6.4.4 陪 集 捉大头游戏 它是一种相传很久的有趣游戏,如下图,最上面一排是参加抽签者的名字,最下面一排是签号、奖品或公差。每个人依次顺着竖线往下走，碰到有横线时，即转向横向前进，碰到竖线再往下走，依次类推，则只要横线不要跨过3条竖线（只能跨在两竖线之间），那么此游戏执行完毕后，最上面的每个人会1-1对应到最下面一排的位置。一般在设计游戏时，是由主持人先画好竖线和横线，且在最下面先标好签号，由抽签者自行填上最上面的人名。有时，为了增加趣味性，先画好竖线填好上排的人名和下面的签号，再请参加者自行画上横线（不过速度要快，要不然观察力强者，很快可以找出对应关系）。请同学们考虑是否可以使用置换的复合编程处理 6.4.1 子 群 的 定 义 子群 设（G，·）是一个群， H ? G， 如果 (H， ·) 仍是一个群，则 （H，·）叫做（G，·）的子群。 真子群 如果G的一个子群H不等于G， 即H ? G，则（H，·）叫做 （G，·）的真子群。 Note: G的子群H的运算必须与G的运算一样， 比如， （C*，·）不是（C，+）的子群。在群中成立的性质在子群仍成立。 子群的例 例. （mZ，+）是整数加法群（Z，+） 的一个子群。 例. （C，+）以（R，+）、（Q，+）、（Z，+） 为其真子群。 例. （C*，·）以（R*，·）、（Q*，·） 为其真子群。 例. 行列式等于1的所有n阶矩阵作成所有n阶非 奇异矩阵的乘法群的一个子群。 例. n次交代群是n次对称群的一个真子群。 平凡子群 群G一般都有两个明显的子群,称为G 的平凡子群： 由其单位元素组成的子群{1}，称为G的单位子群； G本身。 其余的子群（如果有的话）称为非平 凡子群。 子群的例 设Z6={0,1,2,3,4,5}是模6的剩余类集合，则Z6在剩余类加法下是一个群，其中{0}和Z6是该群的两个平凡子群，{0，3}和{0，2，4}是其非平凡子群，而{0，1，3，5}不是子群。 例子 例 设(G,*)是群，对G中任意a,令H={x|x*a=a*x, x?G},试证明(H,*)是(G,*)的子群。 证明：显然1?H,即H非空，对H中任意x,y 有(x*y)*a=x*(y*a)=x*(a*y)=(x*a)*y=(a*x)*y=a*(x*y)，故x*y?H，即H中*运算封闭。在H中*运算显然仍满足结合律。对H中任意x 有x*a=a*x，于是x-1*(x*a)*x-1=x-1*(a*x)*x-1，化简得到a*x-1=x-1*a，即x-1 ?H。证毕 使用同样办法可以证明下面练习： 设G是一个群，H是G的一个子群。a?G。试证 aHa-1={aha-1 |h?H}是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中的单位元。 设1G是G中的单位元，1H是H中的单位元。 任取a∈H，则在H中有： 1H a=a， 故在G中也成立。以a-1右乘得 (1H a)a-1 =aa-1，即，1H (aa-1) =1G ， 1H 1G = 1G ， 故，1H=1G。 判别条件一(证明续) 由群的定义，对于H中的a，应有 b∈H使，ab= 1H=1G ，此式在G中亦成 立，以a-1左乘得b= a-1 1G = a-1 ，因而 a-1∈H，即（2）成立。 必要性证毕。 判别条件一 充分性 设(1),(2),(3)成立。 由(3)，H非空。 由(1)，H中的两个元素a，b可以在H内相乘. 在G中成立的结合律在子集H中自然成立。 往证H中有单位元1G 。任取a∈H,由(2),a-1∈H,由(1),aa-1∈H，即1G∈H；1G在G中适合1a=a，故在H中亦有此性质。 往证H中任意元素a有逆.因由(2),a-1∈H，但是G中，a-1a=1G，此式在H中亦应成立，故a-1即a在H中之逆。 综上，H在G的运算下是一个群，故是G的子群。 H的单位元素就是G的单位元素， H中任一元素a在H中的逆元素也就是a在G中的逆元素。 判别