定義
G を群とする。
H ≠ 1 を G の正規部分群とする。
H に含まれる G の正規部分群は H と単位群だけであるとき H を G の極小正規部分群という。