The proper normal subgroups and their quotient groups are as follows. Here the trivial subgroup is included as a proper subgroup.
- gives .
- gives : the rotation has order three and the reflection inverts it.
- gives : the two generators now have order two and commute.
- gives .
- or gives .
The rotational subgroups are preserved by reflection conjugation, and the last three order-six subgroups are normal by index two. The three order-four groups are not normal, since conjugation by changes the reflection exponent by two, which is nonzero modulo three. Part solution excluded the reflection subgroups. These observations, together with the complete subgroup list, prove the normal-subgroup list is exhaustive.
Articles by others on the same topic
There are currently no matching articles.