Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In relation to my previous question, I am curious about what exactly are the normal subgroups of a dihedral group $D_n$ of order $2n$.

It is easy to see that cyclic subgroups of $D_n$ is normal. But I suspect that case analysis is needed to decide whether dihedral subgroups of $D_n$ is normal.

A little bit of Internet search suggests the use of semidirect product $(\mathbb Z/n\mathbb Z) \rtimes (\mathbb Z/2\mathbb Z) \cong D_n$, but I do not know the condition for subgroups of a semidirect product to be normal.

I would be grateful if you could suggest a way to enumerate the normal subgroups of $D_n$ that does not resort to too much of case analysis.

share|improve this question

1 Answer 1

up vote 2 down vote accepted

Here is a nice answer: http://in.answers.yahoo.com/question/index?qid=20091014113730AA7KJDt. The dihedral group is generated by a rotation $R$ and a reflection $F$ subject to the relations $R^n=F^2=1$ and $(RF)^2=1$. For $n$ odd the normal subgroups are given by $\{1\}$ and $\langle R^d \rangle$ for all divisors $d\mid n$. If $n$ is even, there are two more normal subgroups, i.e., $\langle R^2,F \rangle$ and $\langle R^2,RF \rangle$.

share|improve this answer

Your Answer

 
discard

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.