定義
G を群とする。
Aut(G) を G の自己同型群とする。
H を G の部分群とする。
任意の λ ∈ Aut(G) に対して λ(H) ⊂ H となるとき
H を G の特性部分群（characteristic subgroup）という。