generated at
自己同型群
automorphism group
G自己同型全体の集合を自己同型群という
\mathrm{Aut}Gと表記する
単位元は恒等写像id_G
逆元は逆写像

関手圏Funみたいな感じ?mrsekut





関連
『代数学 1 群論入門』 p.45

参考