[H1,为三次对称群[s3,上的子群, “~”为模H1同余关系 4 3 5 但σ2·3与σ4°σ5不是模H同余的 该等价关系关于运算●是不相容的 事实上主要是因为叫H1,不是正规子群❖ [H1 ,•]为三次对称群[S3 ,•]上的子群, ❖ H1={e,1 }, ❖ “~”为模H1同余关系 ❖ 则2~ 4 , ❖ 3~ 5 , ❖ 但2 •3与4 •5不是模H1同余的 ❖ 该等价关系关于运算•是不相容的 ❖ 事实上主要是因为[H1 ,•]不是正规子群