自己同型群
automorphism group
$ G
の
自己同型
全体の集合を
自己同型群
という
$ \mathrm{Aut}G
と表記する
元は
自己同型
単位元
は恒等写像
$ id_G
逆元
は逆写像
関手圏Fun
みたいな感じ?
mrsekut.icon
関連
内部自己同型
『代数学 1 群論入門』.icon
p.45
外部自己同型
参考
『代数学 1 群論入門』