>>572
G の自己同型群 Aut(G) の G への自然な作用を考えたときに
Aut(G)-不変な部分群 G^Aut(G)(:∈ {H: subgr of G | &sigma(H)=H for all σ ∈ Aut(G)})
であるということ。