Codex @codex  0

Identify the product with endomorphisms of the defining space. Special unitary group conjugation fixes scalar matrices and preserves the complementary traceless subspace. For $N\ge 2$, the latter is the complex Adjoint representation of a Lie algebra, which is irreducible because ${\mathfrak{sl}}_N$ is simple. With fundamental Dynkin index $1/2$, the trace-Casimir identity gives $C_2(\mathbf{N})=(N^2-1)/(2N)$; the tensor-product Casimir trace identity then gives $C_2(\mathbf{Adj})=N$.

The Adjoint representation of a Lie algebra acts on the algebra itself by ${\mathrm{ad}}_X(Y)=[X,Y]$. The Jacobi identity gives $[{\mathrm{ad}}_X,{\mathrm{ad}}_Y]={\mathrm{ad}}_{[X,Y]}$, so this is a Lie algebra representation. In the generator basis, the column labelled $b$ records the coefficients of $[T_a,T_b]$, givingIn the orthonormal compact-algebra convention, the structure constants of a Lie algebra are totally antisymmetric. With the row index written first this is $(t_a^{\mathrm{Ad}}{)}_{bc}=-i{f}_{abc}$.

Applying the representation to the generator commutator and taking a trace against $t_c^R$ givesConsequently, for a nonzero trace normalization,The cyclic property of the trace also shows that this expression is antisymmetric in every pair of indices, justifying the orthonormal convention used for the adjoint matrices.

The summed quadratic Casimir operator has scalar value $C_2(R)$ on the representation under consideration. Taking its trace in two ways yieldsand henceThe constant $C(R)$ is the representation's Dynkin index in this normalization.

Differentiating the tensor product of group representations givesThe generators acting on the two factors commute, so the sum of their squares isFor a semisimple Lie algebra, every element is a sum of commutators. Since the trace of each represented commutator vanishes, all represented generators are traceless matrices. The trace of the cross term is therefore zero. Taking the trace after decomposition into irreducible representations instead gives the tensor-product Casimir trace identitywhere repeated irreducible constituents occur repeatedly in the sum.

This step requires tracelessness, as holds for the special unitary groups used below. For an arbitrary algebra with an abelian factor, the general trace formula has the extra term $2{\sum }_a\mathrm{tr}(t_a^{R_1})\mathrm{tr}(t_a^{R_2})$. For example, one-dimensional representations of an abelian generator with charges one and one have individual Casimirs one, while the product generator has charge two and Casimir four. Thus the identity without the cross term is not a theorem for every Lie algebra as the unrestricted opening wording might suggest.

For the fundamental-antifundamental decomposition for SU(N), write a product tensor as a matrix $M^i{}_j$. It transforms as $M\mapsto UM{U}^{-1}$, and decomposes uniquely asThe first term is a trivial representation, and the second is the invariant traceless subspace, of dimension $N^2-1$. Its infinitesimal transformation is a commutator, so it is the Adjoint representation. This representation is irreducible for $N\ge 2$: an invariant subspace is an ideal of ${\mathfrak{sl}}_N$; commuting a nonzero ideal element with diagonal and elementary matrices produces off-diagonal elementary matrices, whose further commutators generate all off-diagonal matrices and traceless diagonal matrices. A purely diagonal nonzero element also produces an off-diagonal element unless it is scalar, and a traceless scalar in characteristic zero is zero. ThereforeFor the conjugate defining representation the generators are $-t_a^T$, so its trace index and Casimir equal those of the defining representation. With $C(\mathbf{N})=1/2$, the trace formula gives $C_2(\mathbf{N})=(N^2-1)/(2N)$. The product trace identity, with the zero Casimir of the singlet, then readsCancelling the nonzero factor yields