Math 2.0

Topological groups, Lie groups Classical Lie groups Example

Special unitary group SU(n)

Builds on Unitary groupDeterminantLie group

Example

Let n≥1n \ge 1. The special unitary group is SU(n)={U∈Mn(ℂ):U∗U=In, det⁡U=1},SU(n) = \set{U \in M_n(\C) : U^* U = I_n, \ \det U = 1}, where U∗U^* is the conjugate transpose of UU and InI_n is the identity matrix. It is the kernel of the determinant det⁡ ⁣:U(n)→U(1)\det \colon U(n) \to U(1) on the unitary group, so it is a normal subgroup of U(n)U(n).

Check that it is a compact Lie group. The two conditions are polynomial equations in the real and imaginary parts of the entries, so SU(n)SU(n) is closed in GLn(ℂ)GL_n(\C). By the closed subgroup theorem it is a Lie group. Each column of a unitary matrix is a unit vector, so SU(n)SU(n) is bounded in Mn(ℂ)M_n(\C), hence compact.

Remarks

Its Lie algebra 𝔰𝔲(n)\mathfrak{su}(n) consists of the skew-Hermitian n×nn \times n matrices with trace 00, so its real dimension is n2−1n^2 - 1. SU(n)SU(n) is connected and simply connected. Its centre is the set of scalar matrices ωIn\omega I_n with ωn=1\omega^n = 1, a cyclic group of order nn. For n≥2n \ge 2 its Lie algebra is simple, of type An−1A_{n-1}. 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
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Determinant concept
  2. Identity matrix object
  3. Lie group concept
  4. Matrix definition
  5. Transpose definition
  6. Conjugate transpose definition
  7. Unitary matrix definition
  8. Unitary group object
  9. Special unitary group SU(n) example

Where this leads

14 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Special_unitary_group
About this page
TagCZCWFPNS4N
URIm2://CZCWFPNS4N
Kindexample
WritingW0 stub
MSC22E15, 22C05, 20G20
Instance ofCompact Lie group
UsesUnitary group, Determinant, Lie group
Same as
Changed2 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.

What links here

Used by