Let GG be a . A subnormal series of GG is a finite chain

{e}=G0G1Gn=G\{e\}=G_0 \lhd G_1 \lhd \cdots \lhd G_n = G

in which Gi1G_{i-1} is a of GiG_i for 1in1\le i\le n.

Examples
  • The chain {e}G\{e\}\lhd G is a subnormal series for every group GG.
  • In S4S_4, the chain {e}V4A4S4\{e\}\lhd V_4\lhd A_4\lhd S_4 is a subnormal series.
  • The chain {e}<(12)<S3\{e\}<\langle(12)\rangle<S_3 is not subnormal because (12)\langle(12)\rangle is not normal in S3S_3.
Remarks

Important examples include the and the . A is a subnormal series with simple successive factors.