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.

List all subgroups of the symmetry group of the regular $n$-gon.

If $n$ is prime, there are only $n+1$ subgroups: subgroup of all rotations and $n$ subgroups with $2$ elements (one reflection and rotation by zero degrees).

But if $n$ is composite, there are additional subgroups in the group of rotations, namely rotations by angle $\frac{\pi}{k},\ k|n$. Also there are subgroups containing rotations and reflections, number of which I can't found. I know that $s_\alpha s_\beta=r_{2(\alpha-\beta)}$, where $s_\alpha$ is a reflection by the line inlcined at an angle $\alpha$ to the horizontal axis. So if a subgroup contains $r_\alpha$ and $s_\beta$, it contains their product $s_{\beta - \frac{\alpha}{2}}$.

What is the best way to count all subgroups for each $n$?

Update: I have found an group-theoretic answer at http://ysharifi.wordpress.com/2011/02/17/subgroups-of-dihedral-groups-1/

Later I will post the answer below.

share|improve this question
    
Do it for a few small values of $n$, then look it up in the Online Encyclopedia of Integer Sequences. –  Gerry Myerson Feb 12 '12 at 10:37
add comment

2 Answers 2

The dihedral group of order $2n$ is generated by rotation $x$ through an angle $\frac{2\pi}{n}$ and a "flip" or reflection $y$. (These satisfy the relations $x^n=y^2=1$ and $yx^i=x^{-i}y$). The subgroup generated by $x$ is isomorphic to $(\mathbb{Z}/n\mathbb{Z},+)$, which has a cyclic subgroup or order $d$ for each positive divisor $d$ of $n$. Likewise, corresponding to each of these cyclic subgroups is a dihedral subgroup of order $2d$, the symmetry group of the $d$-gon. These subgroups can also be represented by the generators: $$ \left<x^{n/d}\right> \cong C_d \cong \left(\mathbb{Z}/d\mathbb{Z},+\right) $$ $$ \left<x^{n/d},~y\right> \cong D_d $$ Thus, up to isomorphism, there are $2\tau(n)$ subgroups of $D_n$. However, the union of each coset $y\left<x^{n/d}\right>x^i=\{yx^{i+jk}|0\leq k<d\}$ with $\left<x^{n/d}\right>$ , for $0\leq i<k=n/d$, is isomorphic to $D_d$, forming a distinct dihedral subgroup of $D_n$ within each isomorphism class (this is Yaghoub Sharifi's Lemma 3 in @sergey-filkin's link). Since for each $d|n$ there are $n/d$ such cosets, we get $\sum_{d|n}\frac{n}d=\sum_{d|n}d=\sigma(n)$ different dihedral subgroups and $\tau(n)$ different cyclic subgroups of $D_n$, or $\tau(n)+\sigma(n)$ total subgroups of $D_n$.

share|improve this answer
add comment

A formula is given at http://oeis.org/A007503.

share|improve this answer
    
It's only for even $n$. –  Sergey Filkin Feb 12 '12 at 11:44
1  
I don't know what you mean. The symmetry group of the regular $n$-gon is $D_{2n}$, which has $2n$ elements. $2n$ is even, whether $n$ is or isn't. The formula at the OEIS, which is the same as the formula at the link in your update, holds for all $n$, whether even or odd. If you don't think so, try it for $n=3$. –  Gerry Myerson Feb 12 '12 at 11:58
    
thank you for help, I haven't look carefully at the definition of $D_{n}$. Now it's clear. –  Sergey Filkin Feb 12 '12 at 12:20
add comment

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.