Unitary group $U(n)$
Definition
The unitary group is
where . Equivalently, is the group of complex-linear automorphisms of preserving the standard Hermitian inner product .
Since the defining equation is closed, is a closed subgroup of the general linear group ; thus it is a Lie subgroup by the closed subgroup theorem . It is also compact .
Basic structure
The determinant map is a Lie group homomorphism with kernel the special unitary group $SU(n)$ . For , is the circle group (see the $U(1)$ example ).
Lie algebra
The Lie algebra of is the unitary Lie algebra $\\mathfrak{u}(n)$ , consisting of skew-Hermitian matrices, obtained by differentiating at the identity (compare Lie algebras of Lie groups ).
Context
is the prototype compact matrix Lie group; averaging over is a standard way to construct invariant inner products and prove complete reducibility results for representations (compare Weyl’s theorem ).