Schreier Refinement Theorem

Any two subnormal series admit equivalent refinements with isomorphic factors

Schreier Refinement Theorem

Schreier Refinement Theorem. Let $G$ be a group . Consider two finite subnormal series (normal series)

G = G_0 \triangleright G_1 \triangleright \cdots \triangleright G_n, \qquad G = H_0 \triangleright H_1 \triangleright \cdots \triangleright H_m,

where each inclusion is normal in the previous term. Then there exist refinements of these series (obtained by inserting additional intermediate subgroups) such that the refined series have the same length and their successive factor groups are pairwise isomorphic up to a permutation. Each factor group is a quotient group of the form $A/B$ with $B \trianglelefteq A$ .

Schreier refinement is the main structural comparison tool for normal series. It is the standard input for the Jordan–Hölder theorem .