Two unit quaternions act on Euclidean four-space by . This norm-preserving action maps onto the SO(4) group. Its kernel is precisely and : a kernel pair must have equal entries commuting with every quaternion. The two simply connected SU(2) factors therefore form the universal spin cover.
New to topics? Read the docs here!