18.26 (2014)

Suppose that a finite group $G$ has a normal series $1 \lhd G_1 \lhd G_2 \lhd G$ such that the groups $G_1$ and $G_2/G_1$ are elementary abelian $p$-groups, $G/G_2 \cong A_5 \times A_5$ (where $A_5$ is the alternating group of degree 5), $G_1$ and $G_2/G_1$ are minimal normal subgroups of $G$ and $G/G_1$, respectively. Is it true that $\text{form}(G)$ (see 18.25) has finitely many subformations?