证明∵G是n阶有限群.PPTVIP

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * 主要内容 1、群中元素的周期和性质。 2、左（右）陪集 3、Lagrange 定理 4、正规子群与商群 * 计算机学院 * 元素的周期 设a是群G的生成元，对（a）={an|n?Z}，有以下两种不同的情况： 存在整数i和j(i≠j)，有 ai＝aj 对任意的整数i和j(i≠j) ，有 ai≠aj 第一种情况表明有无限多个整数n，使得 an=e 。 由此引出元素周期的概念。 * 计算机学院 * 定义15.5 　设G，*是一个群，对?a?G，若有an=e，(其中：n?Z+，且n是使得an=e成立的最小的正整数)，则称n为元素a的周期或为元素a的阶数；若对a?G，这样的n不存在，则称元素a的周期为?。 例如：在剩余类加群Z6 ，?中， 元素[1]、[5]的周期是6； 元素[2]、[4]的周期是3； 元素[3]的周期是2；元素[0]的周期是1。 * 计算机学院 * 定理15.10 设G，*是一个群，对?a?G，若a的周期为n，则 am =e当且仅当 n|m； ai＝aj 当且仅当 n|(i-j) 由a生成的子群恰有n个元素，即 （a）= ｛e，a，a2，a3，…，an-1｝ * 计算机学院 * 证明：① “?” (反证法) 设 am=e。 　　若n|m不成立，则?q?Z，使得 m=nq+r(1?r?n-1)， 　　由a的周期为n，且am=e，有： am＝anq+r＝anq*ar＝(an)q*ar＝eq*ar＝ar＝e 由于1?r?n-1，这就与a的周期为n矛盾， 　　所以有 n|m。 “?” 设 n|m。 则?k?Z，使得m=nk，于是有： am＝ank＝(an)k＝ek＝e 所以有 am=e。证毕。 * 计算机学院 * 例15-3.1 设G，*是一个群，对?a，b?G，若a的周期为2，b的周期为3，且有：a*b=b*a，证明a*b的周期为6。 解：设a*b的周期为n，则有 (a*b)n=e，由于a*b=b*a，且运算“*”满足结合律，所以有： (a*b)6=a6*b6=e*e=e， 由定理15.10 知： n|6，即n=1，2，3，6， 若n=1，2，3，则有： (a*b)1=a*b?e (因若a*b=e，则由a2=e， 有a*a=a*b，由消去律知：a=b，矛盾) (a*b)2=a2*b2=e*b2=b2?e (因b的周期为3)， (a*b)3=a3*b3=a3*e=a?e (因a的周期为2)， 所以，只有当n=6时，才有 (a*b)n=e。 * 计算机学院 * 陪集 群的子群反映了群的结构和性质，因此需要研究群与子群的关系和子群的性质。 定义15.6　设G，*是一个群，H，*是G，*的任一个子群， ?a?G，集合 Ha＝{h*a|(一切h?H)} 称为H在G，*中关于a的一个右陪集； aH＝{a*h|(一切h?H)} 称为H在G，*中关于a的一个左陪集； 由左（右）陪集构成的集合的基数称为 子群的指数。 * 计算机学院 * 例15-4.1 三次对称群S3，?的一个子群为H={（1），（1 2）}，其左、右陪集分别为： （1）H=（1 2）H=H， (1 3)H=(1 2 3)H={(1 3),(1 2 3)}， (2 3)H=(1 3 2)H={(2 3),(1 3 2)}。 H（1）=H（1 2）=H， H（1 3）=H（1 3 2）={(1 3),(1 3 2)}， H（2 3）=H（1 2 3）={(2 3),(1 2 3)}。 从此例我们可以发现以下事实： * 计算机学院 * 事实 H关于同一元素的左（右）陪集可能不相同，如 （1 3）H≠H（1 3）； 凡是同属某个左（右）陪集的元素，它们对应的左（右）陪集相同； 任何两个左（右）陪集要么相同，要么无公共元素； 所有左（右）陪集的元素数目相同。 根据这些事实，我们可以建立下述关于群中元素间的等价二元关系。 * 计算机学院 * 定理15.11 设H是群G的子群，a，b?G，在G中建立二元关系：aRb?b?aH，则R是G上的一个等价关系。（这里的R是以同属一个左陪集为判断标准） 因为等价关系R可以确定群G的一个等价划分，每个左陪集就是分划中的一块（等价类），所以G可以表示为 G=H∪a1H∪a2H∪‥‥ 同理，也可以得到右陪