次正規子群

是 子群 的次正規子群，如果存在從 到 的“正規序列”（在 Jordan-Hölder 的意義下）。