The set S consists of ordered pairs of complex numbers (z1,z2) and a binary operation ∘ on S is defined by (z1,z2)∘(w1,w2)=(z1w1−z2w2∗,z1w2+z2w1∗). Show that the operation ∘ is associative and determine whether it is commutative. Evaluate (z,0)∘(w,0), (z,0)∘(0,w), (0,z)∘(w,0) and (0,z)∘(0,w).
The set S1 is the subset of S consisting of A, B, …, H, where A=(1,0), B=(0,1), C=(i,0), D=(0,i), E=(−1,0), F=(0,−1), G=(−i,0) and H=(0,−i). Show that S1 is closed under ∘ and that it has an identity element. Determine the inverse and order of each element of S1. Show that S1 is a group under ∘. [You are not required to compute the multiplication table in full.]
Show that {A,B,E,F} is a subgroup of S1 and determine whether it is isomorphic to the group generated by the 2×2 matrix (0−110) under matrix multiplication.