This is a problem of a masters exam for which I am preparing.
Find the smallest positive integer $n$ such that $\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z} \times\mathbb{Z}/2\mathbb{Z}$ is isomorphic to a subgroup of $S_{n}$.
The structure of $\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z} \times\mathbb{Z}/2\mathbb{Z}$ is easy to see.
But the problem arises on how can I be sure that a particular group of permutations like $S_{4}$ or $S_{5} $ has a subgroup of element 8 or not.
Then only I can think of its structure.
So, my question is how I can be sure whether $S_{n} $ has a subgroup of specific order or not?
Best Answer
$S_n$ needs to have three distinct commuting elements of order $2$, the product of no two of which is equal to the other. What are the elements of order $2$? In their disjoint cycle decomposition there are only transpositions. If two of the elements have transpositions that contain one index the same but not the other, then they do not commute. Thus we need all the transpositions in the cycle decomposition to either be identical or disjoint. For any two elements, we also need the symmetric difference of the two sets of transpositions (which is the product of the two elements) not to be equal to the third. Thus, we need each element to have a transposition in the cycle decomposition that the other two do not have. Thus we need at least three disjoint transpositions in the group, hence at least $6$ indices.
This gives a necessary condition; we need at least $S_6$. I'm sure you can find a subgroup of $S_6$ using this description that is isomorphic to the required group.
It's not enough for it to have a subgroup with $8$ elements. $S_4$ has a subgroup with eight elements. But it is not isomorphic to the group you seek.