Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2006/paper-2/8/i/solution

In a group of order six, element orders divide six. If there were no element of order three or six, every nonidentity element would have order two, making the group abelian by the preceding argument. Choose and . Then is a subgroup of order four: its elements are distinct, it is closed because commute and square to , and each element is its own inverse. This contradicts Lagrange's theorem, since four does not divide six. Hence an element of order three or six exists.

New to topics? Read the docs here!