The special unitary Lie algebra su(n)\mathfrak{su}(n) is the real Lie algebra of the SU(n)SU(n). Concretely,

su(n)={XMn(C)X+X=0, tr(X)=0},\mathfrak{su}(n)=\{X\in M_n(\mathbb C)\mid X^\ast+X=0,\ \mathrm{tr}(X)=0\},

where X=XTX^\ast=\overline{X}^{\,T} is the Hermitian adjoint. The Lie bracket is

[X,Y]=XYYX.[X,Y]=XY-YX.
Basic structure and context
  • As a real vector space, dimRsu(n)=n21\dim_\mathbb{R}\mathfrak{su}(n)=n^2-1.
  • Its center is trivial. In particular, for n2n\ge2, su(n)\mathfrak{su}(n) is a real .
  • The inclusion su(n)gl(n,C)\mathfrak{su}(n)\subset\mathfrak{gl}(n,\mathbb C) is the differential at the identity of SU(n)GL(n,C)SU(n)\subset GL(n,\mathbb C).

su(n)\mathfrak{su}(n) is the compact real form of sl(n,C)\mathfrak{sl}(n,\mathbb C), and its representation theory is a cornerstone of highest-weight methods.

Equivalent characterizations

Equivalently, su(n)\mathfrak{su}(n) is the trace-zero, codimension-one ideal in the u(n)\mathfrak u(n).