自己同型群
automorphism group$ {\rm Aut}(X)
對象$ Xの自己同型射全ての集まり$ {\rm Aut}(X):=\{f:X\to X|f;f^{-1}={\rm id}_X\}は、集合を成すならば、射の合成を演算として群を成す 閉じてゐる$ (f;g);(f;g)^{-1}={\rm id}_X
單位律$ {\rm id}_X\in{\rm Aut}(X),$ {\rm id}_X;f=f;{\rm id}_X=f 可逆律$ f\in{\rm Aut}(X)ならば$ f^{-1}\in{\rm Aut}(X) 群$ (G,~,e)について、共軛の集合$ {\rm Inn}(G):=\{-^a:G\to G|a\in G,g^a:=a^{-1}ga\}は寫像の合成を演算として群を成す。$ -^b\circ-^a(g)=(g^a)^bを$ g^{ab}と書く 閉じてゐる$ g^{ab}=b^{-1}(a^{-1}ga)b\in G
結合律$ (g^{ab})^c=c^{-1}(b^{-1}a^{-1}gab)c=c^{-1}b^{-1}(a^{-1}ga)bc=(g^a)^{bc} 可逆律$ (-^a)^{-1}(g)=aga^{-1}=(a^{-1})^{-1}ga^{-1}=g^{a^{-1}} 故に共軛は自己同型寫像である$ {\rm Inn}(G)\subseteq{\rm Aut}(G) $ aによる共軛$ g^a=a^{-1}gaは自己同型寫像である$ (-^a)^{-1}\circ-^a(g)=g $ \because$ (-^a)^{-1}(a^{-1}ga)=g=a(a^{-1}ga)a^{-1}
外部自己同型群$ {\rm Out}(G):={\rm Aut}(G)/{\rm Inn}(G)