A normal series of a group G is a finite sequence (A_0, ..., A_r) of normal subgroups such that I = A_0 ⊲A_1 ⊲...⊲A_r = G.

composition series | invariant series | normal factor | normal subgroup