置換

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