Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/iii/paper-64/5/a/solution

Identify with the quaternions, and use the identification of unit quaternions with proved in the root Solution. The action
preserves the Euclidean norm by multiplicativity of quaternion norms. It is a homomorphism : its domain is connected, so the orthogonal image has determinant .
An element in the kernel fixes , giving . Fixing every other means commutes with all quaternions, so is real; since it has unit norm, . Hence the kernel is the diagonal subgroup .
The differential acts as for imaginary quaternions . If it vanishes, gives , and commutation with all makes real and imaginary, hence zero. The differential is injective, and both Lie algebras have dimension six. The image is therefore an open subgroup of connected , hence all of . Thus
where acts diagonally, not separately on the two factors.

New to topics? Read the docs here!