Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2014/paper-2/9/ii/b/solution

Since , Lagrange's theorem permits proper subgroup orders only . The complete list is
To show completeness, an order-two subgroup must be generated by its unique nonidentity element, necessarily one of the five reflections. An order-five subgroup is cyclic, since its order is prime; its generator cannot be a reflection, and every nonidentity rotation generates the same rotation subgroup. There is only one order-one subgroup.
Thus there are seven proper subgroups when the trivial subgroup is included, or six nontrivial proper subgroups. These are the prime-sided case of the classification of subgroups of a dihedral group.

New to topics? Read the docs here!