五、商群 设[H;是群[G;*的子群,对任意ab∈G,a 和b关于模H同余当且仅当a*b1∈H,记为 a=b(mod H) [a]={xx∈G,且Xa(modH)}={xx∈G,且x*a1 ∈H},Ha=[a]={h*ah∈H 设“~”为.S上的等价关系,“”为S上的二 元运算。 若对任意ab,c,deS,当ab,C~d时,必有 a*C~b*d,则称等价关系~与运算*是相容的, 称~为代数系统[s;的相容等价关系。五、商群 设[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;]的相容等价关系