bG,a和b关于模H同余当且仅当ab-1H,记为ab(mod.pptVIP

五 、商群 设[H;?]是群[G;?]的子群，对任意a,b?G，a和b关于模H同余当且仅当a?b-1?H，记为a?b(mod H)。 [a]={x|x?G,且x?a(mod H)}= {x|x?G,且 x?a-1 ?H}, Ha=[a]={h?a|h?H} 设“~”为S上的等价关系，“*” 为S上的二元运算。 若对任意a,b,c,d?S ，当a~b,c~d时，必有a?c~b?d，则称等价关系~与运算? 是相容的，称~为代数系统[S;?]的相容等价关系。 [H1 ,?]为三次对称群[S3 ,?]上的子群, H1={e,?1}, “~”为模H1同余关系 则?2~ ?4, ?3~ ?5, 但?2??3与?4??5不是模H1同余的 该等价关系关于运算?是不相容的 事实上主要是因为[H1 ,?]不是正规子群 引理(一)：[H;?]是群[G;?]的正规子群，定义关系~如下：对任意a,b?G，a~b当且仅当a?b-1?H。则“~”关于?为相容等价关系。 分析:关键是证明对任意a,b,c,d?G,若a~b, c~d,必成立a?c~b?d. 就是要证明 (a?c)?(b?d)-1?H 应利用a?b-1?H和c?d-1?H 特别还要用到正规子群这个条件 定义13.16:把“~”下的等价类全体构成的集合，即子群H的所有右陪集全体构成的集合，称为商集，记为G/H。 在相容条件下，我们定义