Topological groups, Lie groups Classical Lie groups Example
Special unitary group SU(n)
Builds on Unitary groupDeterminantLie group
Example
Let . The special unitary group is where is the conjugate transpose of and is the identity matrix. It is the kernel of the determinant on the unitary group, so it is a normal subgroup of .
Check that it is a compact Lie group. The two conditions are polynomial equations in the real and imaginary parts of the entries, so is closed in . By the closed subgroup theorem it is a Lie group. Each column of a unitary matrix is a unit vector, so is bounded in , hence compact.
Remarks
Its Lie algebra consists of the skew-Hermitian matrices with trace , so its real dimension is .
is connected and simply connected.
Its centre is the set of scalar matrices with , a cyclic group of order .
For its Lie algebra is simple, of type .
In Mathlib this group is Matrix.specialUnitaryGroup.
Reading path
To understand this page from the ground up, read these 9 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Determinant concept
- Identity matrix object
- Lie group concept
- Matrix definition
- Transpose definition
- Conjugate transpose definition
- Unitary matrix definition
- Unitary group object
- Special unitary group SU(n) example
Where this leads
14 pages build on this one.
Further reading
About this page
| Tag | CZCWFPNS4N |
|---|---|
| URI | m2://CZCWFPNS4N |
| Kind | example |
| Writing | W0 stub |
| MSC | 22E15, 22C05, 20G20 |
| Instance of | Compact Lie group |
| Uses | Unitary group, Determinant, Lie group |
| Same as | |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.