Why does a filtration of a group consist of normal subgroups, and not any subgroups?
Morally, you're going to want to quotient by the objects in the filtration. That's why you need them to be normal. In many categories, notably in any abelian category, you can take the quotient of any object by any subobject, so you only need to say that the objects in a filtration are subojects.
The broad rational is that you want to be able to decompose a group into simple building blocks. Recall that a group is simple if it admits no quotient groups. The big theorem here, which I'll state imprecisely but hopefully clearly, is that every finite group can be written as an extension of simple groups. Building a filtration of a group is a way of writing a group in terms of its simple building blocks. For an example, look at this filtration of $D_{28}$ the symmetry group of a regular $28$-gon.
$$ 0 \to \mathbf{Z}_7 \to \mathbf{Z}_{28} \to D_{28} $$
The subsequent quotients are $\mathbf{Z}_7$, $\mathbf{Z}_4$, and $\mathbf{Z}_2$ You can build $D_{28}$ out of these these groups by taking extensions:
- First take $\mathbf{Z}_7$ and $\mathbf{Z}_4$ and take their cross product $\mathbf{Z}_7 \times \mathbf{Z}_4$. This is $\mathbf{Z}_{28}$.
- Next take that $\mathbf{Z}_{28}$ and the $\mathbf{Z}_2$ and take their semi-direct product $\mathbf{Z}_{28} \rtimes \mathbf{Z}_2$, and this is $D_{28}$.
I have to say that I'm a working group theorist (in geometric group theory) and I don't agree with Wikipedia's definition here. If $G$ is a group and someone says "filtration of $G$", I would expect that to mean a sequence $\{G_n\}$ of subgroups (not necessarily normal) with $G_1\leq G_2 \leq \cdots$ such that $\bigcup_n G_n=G$. What Wikipedia calls a filtration I would call a "descending sequence of normal subgroups". There may be other subfields of group theory where Wikipedia's definition is standard, but at the very least some context ought to be added to Wikipedia's statement