例:循环群的每个子群一定是循环群。 证明:设H是循环群G的子群,a是G的生成元。 1.aH 2.aH,因H中每个元素都可以表示成a的幂次形式。 设ak是H中幂次最小的正整数。 对任意的al H,l=mk+r(0≤r≤k-1) 目标r=0
二、陪集 a,b关于模n同余当且仅当(a-b)被n整除。 定义:设[H;]是群[G;]的子群,对任意a,bG,a和b关于模H同余当且仅当ab-1H记为ab(mod H)。 定理14.15:[G;]为群,HG,H为G的子群, 当且仅当,对任a,bH,有ab-1H。 定理:G上的关于模H同余关系是等价关系。 证明:自反 对称 传递
[a]={x|xG,且xa(mod H)} ={x|xG,且xa-1H} ={ha|hH} 以a为代表元的等价类实质上是a从右边乘H中的每个元素而得到的集合, Ha Ha={ha|hH},称为H在[G;]中的右陪集。
设[H;]是群[G;]的子群,aG,则 (1)bHa当且仅当ba-1H (2)baH当且仅当a-1bH 定义14.13:设[H;]为群[G;]的子群, 取G中一个固定元素g,用g与H中的每个元素进行乘法运算, 将其结果组成一个集合, 记为gH,即:gH={gh|hH}称它为H的左陪集,同理定义Hg={hg|hH}为H的右陪集。
例:[E;+]是群[Z;+]的子群,求它的所有右陪集。这里E表示偶数全体。 例:三次对称群S3={e,1, 2, 3, 4, 5}的所有非平凡子群是: H1={e, 1}; H2={e, 2}; H3={e, 3}; H4={e, 4, 5}。其中H4就是三次交代群A3。现在考察H1的陪集。
e H1=1H1=H1; 2H1=5H1={2, 5} 3H1=4H1={3, 4};H1e =H11=H H12=H14={2, 4};H13=H15={3, 5} 显然2H1H12, 5H1H15, 3H1H13, 4H1H14 这说明左、右陪集一般不等。
引理14.1:如果HG是子群,那么任一gG所构成的陪集|gH|=|H|, |Hg|=|H|。 分析:证明基数相等的一种方法是证明两个集合之间存在双射. 证明:定义映射:HHg, (h)=hg 利用群消去律证明是一对一的. 而满射是显然的,因为对任意的hgHg, 有(h)=hg.
引理14.2:H为G的子群,g1,g2G,两个右陪集Hg1与Hg2,则: 或Hg1=Hg2,或Hg1∩Hg2=。 证明:利用等价类的性质. 例:设[H;]是群[G;]的子群,则 (1)若baH,则bH=aH (2)若bHa,则Hb=Ha 由等价类的概念和性质即得.
三、拉格朗日定理 定理:G是群,H是G的子群,则H在G中的左陪集数与右陪集数相等. 证明:设S和T分别为G的关于H的所有右和左陪集的集合。现在要证明的是|S|=|T|。考虑证明存在S→T的双射。 定义: S→T, (Ha)=a-1H。 (1) 是映射。关键是说明当Ha=Hb时, (Ha)=a-1H,(Hb)=b-1H,有 a-1H=b-1H (2) 是一对一的。对任意的Ha,Hb,若(Ha)=(Hb) 即a-1H=b-1H,是否有Ha=Hb. (3)满射
作业 P294 25,27,28 补充:设H1,H2是G的子群,证明H1H2是G的子群当且仅当H1H2=H2H1,其中H1H2={h1h2|h1H1并且h2H2}, H2H1={h2h1|h1H1并且h2H2} 下次介绍拉格朗日定理,正规子群,商群,群同态基本定理。