Let $G$ be a group. A subnormal series is an ascending sequence of subgroups \(\{e\} = N_0\subseteq N_1\subseteq \cdots\subseteq N_{k-1} \subseteq N_k = G\) such that $N_i$ is normal in $N_{i+1}$ for all $0\leq i\leq k$.