group.normal_series

If $G$ is a group, a normal series for $G$ is a chain of subgroups \[ \langle e\rangle =H_0 \lhd H_1 \lhd \cdots \lhd H_k=G\] where each subgroup is normal in $G$.