generated at
自己同型
automorphism
Gから群Gへの同型自己同型という