Solution

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

Observe that , and . Thus , while , and . The multiplication table, with the left factor labeling the row, is
It proves closure of the set. Associativity is inherited from matrix multiplication, is the identity element, and every element is its own inverse element. Therefore this set is a group. The table is symmetric, so it is an Abelian group; its three nonidentity elements have order two, identifying it as the Klein four-group .

New to topics? Read the docs here!