= Solution
A <composition series> is a subnormal chain whose nontrivial successive quotients are simple. The <Jordan–Hölder theorem> asserts that any two <composition series> of a <finite group> have the same length and the same multiset of simple factors, up to <isomorphism>. Existence follows by successively choosing maximal proper <normal subgroups> until the identity is reached.
For uniqueness, induct on the <group> order. Let $A,B$ be the penultimate terms of two series. If $A=B$, apply induction to that <subgroup> and add the common top factor. If $A\ne B$, their normality and maximality give $AB=G$. Put $C=A\cap B$. The <isomorphism> theorems give
$$
A/C\cong G/B,\qquad B/C\cong G/A.
$$
Both are simple. Take any <composition series> of $C$. Appending $A$ to it gives a series for $A$, so induction identifies the factors of the original series inside $A$ with the factors of $C$ together with $G/B$. Similarly the factors inside $B$ are those of $C$ together with $G/A$. Adding the respective top factors produces the same multiset in both cases. This proves uniqueness, including multiplicities and length.
A <normal subgroup> $K$ of order two is central because its <automorphism group> is trivial. By Jordan–Hölder, a <composition series> through $K$ leaves the simple quotient $G/K\cong A_5$. The image of $Z(G)$ in this quotient is central and hence trivial, since $A_5$ is nonabelian simple. Thus
$$
\boxed{Z(G)=K.}
$$
The <symmetric group> $S_5$ has trivial <group center>: <conjugation> of each <transposition> by a central <permutation> must preserve its two-element support, forcing the <permutation> to fix every point. Since its <Jordan–Hölder factors> are $A_5$ and $C_2$, a <normal subgroup> of order two would equal that trivial <group center>, a contradiction.
Identify $C_2=\{1,-1\}$ and put $D=1\times A_5$ in $C_2\times S_5$. Its three maximal <normal subgroups> are
$$
M_1=C_2\times A_5,\quad M_2=1\times S_5,\quad
M_3=\{(\operatorname{sgn}\sigma,\sigma):\sigma\in S_5\}.
$$
They are the three <kernels> of nonzero maps from the <abelianization> $C_2^2$ to $C_2$. There is no quotient $A_5$: a central $C_2$ must map trivially, while $S_5$ has no quotient $A_5$. The latter follows from its <normal subgroups> $1,A_5,S_5$, which can themselves be obtained by intersecting with the simple <subgroup> $A_5$ and using its trivial <centralizer>. The complete list of <composition series> is
$$
\boxed{\begin{aligned}
1&<C_2\times1<M_1<C_2\times S_5,\\
1&<D<M_1<C_2\times S_5,\\
1&<D<M_2<C_2\times S_5,\\
1&<D<M_3<C_2\times S_5.
\end{aligned}}
$$
Within $M_1$ the two direct factors are the only maximal <normal subgroups>; within each of $M_2,M_3\cong S_5$ the only such <subgroup> is its copy of $A_5$. Hence \b[there are exactly four series].
For $S_5\times S_5$, put $D=A_5\times A_5$, $X=A_5\times1$, $Y=1\times A_5$ and
$$
M_L=A_5\times S_5,\quad M_R=S_5\times A_5,\quad
M_D=\{(\sigma,\rho):\operatorname{sgn}\sigma=\operatorname{sgn}\rho\}.
$$
Again these are exactly the maximal <normal subgroups>: they are the three cyclic quotient <kernels>, and there is no simple quotient $A_5$ of the whole product. All series are
$$
\boxed{1<T<D<M<S_5\times S_5\quad(T=X\text{ or }Y,\ M=M_L,M_R,M_D),}
$$
together with
$$
\boxed{1<Y<1\times S_5<M_L<S_5\times S_5,\qquad
1<X<S_5\times1<M_R<S_5\times S_5.}
$$
To verify exhaustiveness, $M_L$ has maximal <normal subgroups> $D$ and $1\times S_5$, and $M_R$ has $D$ and $S_5\times1$. A quotient $A_5$ of a direct product can receive a nontrivial image from only one simple factor, since the images commute and $A_5$ has trivial <group center>. The remaining maximal-normal possibility is $M_D$. Its derived <subgroup> is $D$, because both alternating factors are perfect. A hypothetical quotient $A_5$ would project one alternating factor isomorphically and kill the other, but <conjugation> by an odd diagonal element induces an <outer automorphism> on that surviving factor, impossible inside $A_5$. Odd <conjugation> is outer because otherwise an odd <permutation> times an even one would centralize $A_5$; a <permutation> commuting with every <three-cycle> fixes every three-element support and is the identity. Thus $D$ is the only maximal <normal subgroup> of $M_D$. Finally the only maximal <normal subgroups> of $D$ are $X,Y$: <normal subgroups> of a product of two centerless <simple groups> are products of the factors, as follows by commutating with each factor. This proves \b[exactly eight series] and the classification of <composition chains in products with S5>.
For $SL_2(5)$, commuting with both elementary upper and lower <transvections> forces a central <matrix> to be scalar. A scalar $\lambda I$ has <determinant> $\lambda^2$, so
$$
\boxed{Z(SL_2(5))=\{I,-I\}.}
$$
If $g^2=I$, characteristic five makes $g$ diagonalizable with eigenvalues in $\{1,-1\}$. <Determinant> one rules out one of each, so the unique nonidentity <involution> is $-I$. An index-two <subgroup> would have order $60$ and, by the <Cauchy theorem for groups>, contain that <involution> and hence the <group center>. Its image in $PSL_2(5)$ would have index two. The simplicity and identification $PSL_2(5)\cong A_5$ are established by the independent <matrix> argument in Solution 4; a <simple group> has no proper index-two <subgroup>. Therefore \b[$SL_2(5)$ has no <subgroup> of index two].
Back to article page
