Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Why $S_4$ is not isomorphic to $D_{12}$? where $S_4$ is symmetric group and $D_{12}$ is dihedral group of order $12$.here number of element are same $S_4$ has $4!=24$ elements and $D_{12}$ has also $2n$ means $12(2)=24$ elements. but i can't find that property which holds in one of this group but another doesn't has that property.please help me thanks in advance.

share|cite|improve this question
If I'm not mistaken, $S_4$ has no element of order $12$ in it, whereas $D_{12}$ has. – k.stm Jan 29 '13 at 11:07
how can i justify this thing? – Siddhant Trivedi Jan 29 '13 at 11:23
up vote 4 down vote accepted

Can an element in $S_4$ have order 12? Can you think of an element in $D_{12}$ or order 12? What can you conclude?

share|cite|improve this answer
ya i got this hint from my teacher but how can i conclude that thing bcz there are 24 permutation and in $D_{12}$ there are 12 rotation and many daigonals so what is the short justification? – Siddhant Trivedi Jan 29 '13 at 11:16
Is there another property which holds in $S_4$ but not in $D_{12}$? – Siddhant Trivedi Jan 29 '13 at 11:18
Can u give me an element of $D_{12}$ which has order 12? – Siddhant Trivedi Jan 29 '13 at 11:27
... do you know the definition of $D_n$? – Martin Brandenburg Jan 29 '13 at 11:28
i like both the answers... – Siddhant Trivedi Feb 9 '13 at 15:10

If you already know some basic stuff about the symmetric and dihedral groups (or else you can try to prove them: it's fun) , you can try the following approach:

For $\,2<n\in\Bbb N\,$ :

$$\begin{align*}(1)&\text{ If}\;\;D_n=\langle\,a\,,\,b\;;\;a^2=b^n=1\;,\;aba=b^{n-1}=b^{-1}\rangle,\;\text{then for even}\,\,n\;\;Z(D_n)=\{1\,,\,b^{n/2}\}\\{}\\(2)&Z(S_n)=\{1\}\end{align*}$$

From the above it follows at once that $\,S_4\ncong D_{12}\,$

share|cite|improve this answer
can u tell me which property is break here? – Siddhant Trivedi Jan 29 '13 at 12:33
The groups don't have isomorphic centers...what else? – DonAntonio Jan 29 '13 at 15:04
i like both the answers... – Siddhant Trivedi Feb 9 '13 at 15:11

For even $n$, the abelianization of $D_n = \langle r,s : r^n = s^2 = (rs)^2 = 1 \rangle$ is $\langle r,s : rs=sr, r^2=s^2 = 1 \rangle = \mathbb{Z}/2 \times \mathbb{Z}/2$, but the abelianization of $S_m$ is always $\mathbb{Z}/2$ for $m>1$.

share|cite|improve this answer
if u explain me i will try to understand this definition. – Siddhant Trivedi Jan 29 '13 at 11:37
Can i say that $S_4$ is not Abelian but $D_{12}$ is abelian? – Siddhant Trivedi Jan 29 '13 at 12:39
$D_{12}$ is not abelian. – Martin Brandenburg Jan 29 '13 at 14:55

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.