置換

同型写像と群 f(e)=f(e･e)=f(e)･f(e)(群と同型写像) f(e)･f(e)=f(e)(推移律) ある要素に作用させると、もとの要素になる形(規則)は単位元。同型写像は単位元を保存する。 f(e)=f(e･e')=f(e)･...