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

I have to prove that as $m \mid 2n$ then there is a subgroup of $D_n$ with order $m$. How can i do that ?

share|cite|improve this question

Hint: $D_n$ is generated by a reflection $s$ of order 2 and a rotation $r$ of order $n$. See what kind of subgroup orders you can get from forming subgroups generated by powers of $r$, either including or excluding $s$.

share|cite|improve this answer

Thanks. As $m \mid n$ then $\langle r^k \rangle$ is such a group as $mk = n$. Further we have the case $m = 2m'$ and $m' \mid n$. If $m'k = n$ then $\langle r^k, s \rangle$ is a group with order $m$ because it consists of the elements $r^{lk}$ with $l \in \{0,\cdots,m'-1\}$ and $sr^{lk}$ for those $l$. Thus there are $2 m' = m$ elements in this subgroup.

share|cite|improve this answer

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.