Solution

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

The imaginary quaternions form Euclidean . Conjugation by a unit quaternion acts by
It preserves the imaginary subspace and its norm, and continuity from gives determinant . The kernel consists of quaternions commuting with all imaginary quaternions, hence is .
For a unit imaginary quaternion , take . If is perpendicular to , quaternion multiplication gives
while the component parallel to is unchanged. This produces the rotation through angle about axis , and every element of has such an axis-angle description. The map is surjective, yielding
The half-angle also explains why and give the same rotation.

New to topics? Read the docs here!