G を群とする。
H を G の正規部分群とする。
Aut(H) を H の自己同型群とする。
G の各元 σ に対して φ(σ) ∈ Aut(H) を
φ(σ)(x) = σxσ^(-1) により定義する。
φ：G → Aut(H) は準同型である。
よって、H は G-集合（過去スレpart5の77）と見なされる。