First prove surjectivity. For any , its determinant has modulus one. Choose with and define . Then and , so .
Next, is equivalent to . This lies in precisely when . Therefore the kernel of a group homomorphism is the central cyclic groupIts generator is , which has order . The inverse phases in the two factors are essential: this is an explicitly embedded subgroup, not a quotient by scalar matrices in just one factor. The first isomorphism theorem now givesThis also holds as a Lie group isomorphism: the induced map is smooth and a continuous bijection from a compact quotient space to the Hausdorff unitary group, and its differential is the Lie algebra isomorphism . For the kernel of a group homomorphism is trivial, consistently with .
Articles by others on the same topic
There are currently no matching articles.