Definition
The subgroup is called the **unitary group.
The set of unitary matrices with determinant 1 are called the special unitary group.
Importance
Unitary matrices preserve the Hermetian inner product.
Additionally, is isomorphic to the torus .
Lie group structure
We can write each entry of the matrix multiplication
Thus, this is a continuous function, and we can consider the inverse image of the closed set where
Since the set above is closed (it consists of one “point” in or one matrix depending on how you choose to look at it), so thus the inverse image, which is is also closed.
Note that so it is clearly closed as well.
Therefore, by the closed subgroup theorem, and is a Lie group.
Lie algebra
Let and be the Lie algebra for and , respectively.
and