I was assigned to show that every Sylow 2-subgroups in $S_4$ is isomorphic to $D_4$.
So I figured, since $|S_4|=24=2^3\cdot 3$, every Sylow 2-subgroup has either the form:
$\langle (a_{1}a_{2}),(a_{3}a_{4}a_{5}a_{6})\rangle$
(where $a_{i}\in\left\{ 1234 \right\}$ all distinct in a permutation).
To my big surprise, I found out that it is not true that for every choice of $\sigma=(a_1a_2)$ and $\tau=(a_3a_4a_5a_6)$, the group $\langle\sigma, \tau\rangle$ forms a Sylow 2-subgroup...
For example, $\langle(12),(1234)\rangle=\langle(23),(1234)\rangle=S_4$, where, on the other hand, $\langle(13),(1234)\rangle$ does form a subgroup of $S_4$, isomorphic to $D_4$ (it is of order 8 and all relations hold).
First of all, I am curious about why does it matter which $\sigma$ do I choose (does it also matter which $\tau$ do I choose?), does it have anything to do with the reflection symmetry? because when looking at a square with vertices numbered 1,2,3,4:
enter image description here

there's a big difference between $(12)$ and $(13)$, and between $(12)(34)$ and $(13)(24)$
Does it have anything to do with that?

This leads me to my second, less important question: considering all the above, how can I wisely choose $\sigma$ and $\tau$? or do I have to try all possible $\sigma$'s and $\tau$'s?

  • 1
    $\begingroup$ how sure are you about your statement every Sylow 2-subgroup has either the form $A$ or $B$ $\endgroup$
    – user87543
    Commented Jun 21, 2014 at 10:32
  • $\begingroup$ Umm... Now that you asked? not quite. :) but... if the statement in the title is true, then it has to be generated by two elements of order 2 and 4, so what other options are there...? $\endgroup$ Commented Jun 21, 2014 at 10:38
  • $\begingroup$ @Praphulla Koushik: I don't see what you are aiming at. By the Sylow-theorems, because $|S_4|=2^3\cdot 3$, the number of Sylow $2$-subgroups of $S_4$ is a divisor of $3$. As $S_4$ has no normal subgroup of order $8$, there are precisely $3$ Sylow $2$-subgroups. As we have $3$ distinct subgroups of $S_4$ isomorphic to $D_4$, these are all Sylow $2$-subgroups of $S_4$, and they all have an element of order $4$. $\endgroup$
    – Servaes
    Commented Jun 21, 2014 at 10:45
  • $\begingroup$ Are you referring to the possibility of $\left \langle (a_1a_2),(a_3a_4)(a_5a_6) \right \rangle$? because in this case, multiplying $\sigma\tau$ (for some choices of $a_i$'s) generates an order 4 element, which is what I need. But now I'm confused... isn't isomorphic groups means that they are basically the same thing with different "names"? $\endgroup$ Commented Jun 21, 2014 at 10:49
  • 1
    $\begingroup$ It is worth noting that $\langle(a_1\ a_2),(a_3\ a_4\ a_5\ a_6)\rangle=S_4$ whenever $a_i\in\{1,2,3,4\}$ are distinct in each generator. So after your argument in the comments, you only need to consider subgroups of the form $\langle(a_1\ a_2)(a_3\ a_4),(a_5\ a_6\ a_7\ a_8)\rangle$. With some effort you will find three distinct such subgroups, and hence these are all Sylow $2$-subgroups, and they are all isomorphic to $D_4$. $\endgroup$
    – Servaes
    Commented Jun 21, 2014 at 10:52

2 Answers 2


By the Sylow counting theorems, the number $n_2$ of Sylow 2-subgroups is congruent to 1 mod 2 and divides $24/2^3=3$. Thus, $n_2$ equals 1 or 3. If $n_2$ equals 1, then $D_4$ is the unique Sylow-2 subgroup in $S_4$, which means it is also normal in $S_4$, but this is not the case. For it can be seen that $D_4$ is not closed under conjugates: it contains $(1234)$ but not $(1324)$, for example, or it contains $(13)$ but not $(12)$. Thus $n_2=3$. One of the subgroups in $S_4$ of order 8 is $D_4 = \langle (13), (1234) \rangle$. By the Sylow theorems, all subgroups of order 8 are conjugate. Hence the other two subgroups of order 8 can be obtained by relabeling the points in $D_4$ (i.e. taking conjugates of $D_4$). For example, conjugation by $(23)$ gives the subgroup $\langle (12), (1324) \rangle$, and conjugation by $(34)$ gives the subgroup $\langle (14), (1243) \rangle$.

Regarding your question on how to choose $\sigma$, it is known that the $n$-cycle $(1,2,\ldots,n)$ and the transposition $(i,j)$ together generate all of $S_n$ iff $i-j$ and $n$ are relatively prime.


It suffices you find one Sylow subgroup that is isomorphic to $D_4$. Then, since all Sylow subgroups are conjugate, they are all isomorphic. Now consider $\langle r=(1234),s=(13)\rangle$. Then $srs^{-1}=srs=(13)(1234)(13)=(3214)=(1234)^{-1}=r^{-1}$, $|r|=4,|s|=2$.


You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .