陪集例三次对称群S3={e,1,2,3,4,5}所有非平.pptVIP

陪集 例：三次对称群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 =H1?1=H H1?2=H1?4={?2, ?4};H1?3=H1?5={?3, ?5} 显然?2H1?H1?2, ?5H1?H1?5, ?3H1?H1?3, ?4H1?H1?4 这说明左、右陪集一般不等。 引理13.1：如果H?G是子群,那么任一g?G所构成的陪集|gH|=|H|, |Hg|=|H|。 分析:证明基数相等的一种方法是证明两个集合之间存在双射. 证明:定义映射?:H?Hg, ?(h)=h?g 利用群消去律证明是一对一的. 而满射是显然的,因为对任意的h?g?Hg, 有?(h)=h?g. 引理13.2：H为G的子群,g1,g2?G,两个右陪集Hg1与Hg2,则: 或Hg1=Hg2,或Hg1∩Hg2=?。 证明:利用等价类的性质. 例：设[H;?]是群[G;?]的子群，则 (1)若b?aH，则bH=aH (2)若b?Ha，则Hb=Ha 由等价类的概念和性质即得. 三、拉格朗日定理 定理:G是群,H是G的子