Solution

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

The intersection contains the identity element. If , then belongs to both and , so it belongs to their intersection. The subgroup test proves that is a subgroup of , with the inherited operation. Explicitly, closure and inverses come from this test, and associativity is inherited from .
Label the vertices of the equilateral triangle counterclockwise. For the dihedral group of order six, let be the counterclockwise rotation by , and let be reflection in the line through vertex 1 and the opposite side's midpoint. Choose
Then rotates by . The three Euclidean reflections fix vertices respectively. Products act on a vertex from right to left. The relations and give
where exponents of are reduced modulo three and those of modulo two. This constructs the entire Cayley table:
For example whereas , so the group is nonabelian.
A subgroup of order two is generated by its unique nonidentity element, which must have order two. The rotations have order three, and each reflection has order two. Thus there are exactly
None is a normal subgroup. Conjugation by sends the reflection to , cycling the three reflections. For example . Each of the other two subgroups fails the same conjugation test.
Finally, take two distinct such subgroups. For instance their union is , but lies outside it. Thus it is not closed under the inherited group operation and is not a group. The distinctness is necessary: the union of a subgroup with itself is that subgroup.

New to topics? Read the docs here!