Use the A5 root system with simple roots for , in the hyperplane . The Dynkin diagram is the five-node chain
Its Cartan matrix is
Deleting the final node leaves the A4 root system, with simple roots . Concretely, the Lie algebra homomorphism sends to and preserves the Lie bracket. This realizes the required Lie subalgebra and fixes the embedding used below.
For the A5 root system, take simple roots , , in the hyperplane . Their squared lengths are two, adjacent simple roots have inner product , and all other pairs are orthogonal. Hence the An Dynkin diagram is the five-node single-edge chain
Its Cartan matrix is
The complex Lie algebra is ; the corresponding compact special unitary group is , whose Lie algebra is its compact real form.
For the standard A4 root system inside the A5 root system, let delete the fifth Dynkin label. Put for . These are precisely the five weights of the defining fundamental representation:
Since , the six projected weights of are . The first five form the dual representation , with highest weight ; the last is a singlet. Thus
For , split the fifteen weights in b into the ten pairs with and the five pairs . The former project to , the complete weight decomposition of , with highest weight . The latter project to , the complete weight decomposition of . Therefore
This restriction of a representation can also be checked without a table: , so its dual representation is , while its exterior square is . The dimensions match and .
SU(6) 2026-10-25
The special unitary group on has dimension . Its complexified Lie algebra is , with the A5 root system. Its defining representation and exterior square have dimensions and .