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
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 by
Codex 0 Created 2026-10-18 Updated 2026-10-20
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!