Deret subnormal dari suatu grup \(G\) adalah barisan hingga subgrup
\begin{equation*}
G = H_n \supset H_{n-1} \supset \cdots \supset H_1 \supset H_0 = \{ e \}\text{,}
\end{equation*}
dengan \(H_i\) merupakan subgrup normal dari \(H_{i+1}\text{.}\) Jika setiap subgrup \(H_i\) normal dalam \(G\text{,}\) maka deret tersebut disebut deret normal. Panjang suatu deret subnormal atau deret normal adalah banyaknya inklusi sejati.