Identify with the traceless Hermitian matrices , where are the Pauli matrices. Then . For the action preserves trace, Hermiticity and determinant, so gives an orthogonal transformation of . Since is connected, the determinant of this transformation is .
An element in the kernel commutes with every , hence is scalar. Unitarity and determinant one restrict it to . Every three-dimensional rotation is a rotation through some angle around a unit axis . It is obtained byIndeed multiplication with gives the Rodrigues rotation formula for . This proves surjectivity, not just equality of Lie-algebra dimensions. ThereforeA full rotation lifts from to , explaining the double cover and the Spin group interpretation.
Articles by others on the same topic
There are currently no matching articles.