5
$\begingroup$

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.

  • 0
    Do it for a few small values of $n$, then look it up in the Online Encyclopedia of Integer Sequences.2012-02-12

2 Answers 2

4

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 \cong C_d \cong \left(\mathbb{Z}/d\mathbb{Z},+\right) $ $ \left \cong D_d $ Thus, up to isomorphism, there are $2\tau(n)$ subgroups of $D_n$. However, the union of each coset $y\leftx^i=\{yx^{i+jk}|0\leq k with $\left$ , for $0\leq i, 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$.

2

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

  • 0
    thank you for help, I haven't look carefully at the definition of $D_{n}$. Now it's clear.2012-02-12