= Solution
{c}
The complete classification up to <group isomorphism> is
$$
\boxed{\begin{array}{c|l}
|G|&G\\\hline
1&C_1\\
2&C_2\\
3&C_3\\
4&C_4,\ C_2\times C_2\\
5&C_5\\
6&C_6,\ S_3
\end{array}}
$$
Here $C_1$ is the <trivial group>. The <prime number> cases follow from <6/a/i>. For four elements, an element of <order of a group element> four generates $C_4$. If there is none, <Lagrange's theorem> makes every nonidentity element have <order of a group element> two. Then <6/a/iv> produces a four-element <subgroup>, which must be all of $G$, giving the <Klein four-group>.
For six elements, an element of <order of a group element> six gives $C_6$. Suppose there is none. If there were no element of <order of a group element> three either, all nonidentity elements would have <order of a group element> two. Part <6/a/iv> would then produce a <subgroup> of <cardinality> four, contradicting <Lagrange's theorem>. Thus choose $a$ of <order of a group element> three. There is also an <involution> $b$: otherwise the five nonidentity elements could be paired into distinct pairs $\{g,g^{-1}\}$, impossible for an odd number of elements.
The <subgroup> $H=\langle a\rangle$ has <index of a subgroup> two, so it is a <normal subgroup>. Indeed, for $g\notin H$, both $gH$ and $Hg$ are the complement of $H$, and for $g\in H$ both equal $H$. Consequently $bab^{-1}$ is either $a$ or $a^{-1}$. The first possibility makes $a,b$ commute, and $ab$ then has <order of a group element> six: $(ab)^k=e$ forces $a^k=b^{-k}\in\langle a\rangle\cap\langle b\rangle=\{e\}$, so both $3$ and $2$ divide $k$. This contradicts our assumption. Therefore
$$
bab^{-1}=a^{-1}.
$$
Every element is uniquely $a^i$ or $a^ib$, with $0\leq i<3$, and the relation $ba=a^{-1}b$ determines all their products. Sending $a$ to $(123)$ and $b$ to $(12)$ gives a <group isomorphism> with the <symmetric group> $S_3$. This completes the classification of <groups of order at most six>.
Of these <groups>, \b[exactly $C_1,C_2,C_3,C_4,C_2\times C_2,S_3$ embed in $S_4$]. Concrete <subgroups> are
$$
\{e\},\quad\langle(12)\rangle,\quad\langle(123)\rangle,\quad
\langle(1234)\rangle,\quad
\{e,(12)(34),(13)(24),(14)(23)\},\quad
\{\sigma\in S_4:\sigma(4)=4\}.
$$
There is no $C_5$ <subgroup>, since $5$ does not divide $24$. There is no $C_6$ <subgroup> either: the <order of a group element> in a <symmetric group> is the <least common multiple> of the lengths in its <disjoint cycle decomposition>, and on four letters the only possibilities are $1,2,3,4$.
Back to article page
