董旭初《离散数学二教学》B 6 3 6.3-子群及其陪集.pptVIP

四、陪集 H在G中的指数：有限群G的元数除以H的元数所得的商，记为（G:H），称作H在G中的指数。 结论：（1）H的指数也就是H的右(左)陪集的个数。 （2）指数等于2的子群一定是正规子群。 右代表系：从每个右陪集中选出一个元素为代表，全体代表的集合叫做一个右代表系或右代表团。 结论：设G有限而g1,…,gs作成一个右代表系，则g1H,…,gsH为H的所有右陪集，而G= g1H∪…∪gsH。 四、陪集 定理6.4.8 设G为有限群，元数为n，对任意a∈G，有an=1。 证明：因为G有限，a的周期必有限，否则a所生成的循环子群（a）将无限，G的元素将无穷多。命a的周期为m，则a生成一个m元循环子群（a）。按Lagrange定理，m│n，即n≡0（mod m），因此an=1。■ 四、陪集 我们可以使用拉格朗日定理确定一个群内可能存在的子群、元素的周期等，从而搞清一个群的结构。以前我们确定一个群内的子群时，主要利用元素生成的子群。有了这个定理，就可以首先由G的元数的因子来确定可能存在子群的元数以及元素的周期，然后根据子群的元数来寻找子群。 四、陪集 例26．证明6元群中一定有周期为3的元素。 证明：根据定理6.4.8，G中元素的周期是6的因子，所以G中只能有周期为1、2、3和6的元素，但