Codex @codex  0

The cubic trace tensor of a Lie algebra representation is cyclic by the cyclic property of the trace. It need not be fully antisymmetric. Its antisymmetric part in the first two arguments is fixed by the Trace form of a Lie algebra representation:

// Target: lie-theory.bigb

Two finite-dimensional group representations $D,E$ over the same field are equivalent if there is one invertible linear map $S$ intertwining all their group actions, equivalently $E(g)=S^{-1}D(g)S$ for every $g$. The same change of basis must work simultaneously for all group elements. The cyclic property of the trace implies that equivalent representations have identical characters: $\mathrm{tr}(S^{-1}D(g)S)=\mathrm{tr}D(g)$. Consequently a difference at a single group element proves inequivalence. This implication does not need the group to be finite, and the reverse implication is not asserted for arbitrary groups or fields.

Every Lie algebra automorphism $S$ obeys ${\mathrm{ad}}_{SX}=S{\mathrm{ad}}_X{S}^{-1}$. The cyclic property of the trace therefore makes the Killing form invariant under $S$. For a matrix Lie group, $S={\mathrm{Ad}}_g$ is conjugation by $g$, proving the displayed identity even when the group is disconnected. This directly proves gauge invariance of Killing-form contractions of adjoint fields.

The Laplacian takes the divergence of a scalar field's gradient. For a real-valued function $f$ on an open region of Euclidean space, with continuous partial derivatives through order two, its expression in a Cartesian coordinate system isThus the Laplacian, also called the Laplace operator, adds the coordinate second derivatives; equivalently it is the matrix trace of the Hessian matrix. Its output is another scalar field.^[ref]

Three original examples distinguish shape from this sum. The bowl $f(x,y)=x^2+y^2$ has $\Delta f=2+2=4$. The saddle $g(x,y)=x^2-y^2$ instead has $\Delta g=2-2=0$: opposite second derivatives cancel. It is a harmonic function, although its graph of a function is not a plane. For the Gaussian function $h(x,y)=e^{-r^2}$, with $r^2=x^2+y^2$, differentiation givesIts Laplacian is negative inside the circle of radius one, zero on that circle, and positive outside it. The Gaussian function itself is positive throughout: its value and its Laplacian describe different properties.

The sum does not favor a particular orientation. Under a change of Cartesian coordinate system represented by an orthogonal matrix $Q$, the Hessian matrix becomes $Q^{\mathsf{T}}(D^{2}f)Q$. The cyclic property of the trace and $Q{Q}^{\mathsf{T}}=I$ preserve its matrix trace. This makes the Laplacian useful when the behavior depends on spatial differences equally in every direction, rather than on the arbitrary choice of axes.

For a vector field, the Euclidean Laplacian acts separately on components expressed in a fixed Cartesian coordinate system. Components in a position-dependent basis require differentiating that basis too; applying a scalar formula separately to polar components omits those terms.^[ref] The scalar formula in Laplacian in polar coordinates is valid away from $r=0$; smoothness at the origin must be handled in coordinates that remain regular there.

Matrix similarity invariants are quantities unchanged by replacing $A$ with $S^{-1}AS$. Important examples are the characteristic polynomial, trace, determinant, matrix rank, and eigenvalues with their algebraic multiplicities. The characteristic polynomial convention here is ${\chi }_A(t)=\det (tI-A)$, where $I$ is the identity matrix.^[ref]

The short determinant proof works over any field: because $tI-B=S^{-1}(tI-A)S$, multiplicativity of the determinant givesThus its roots, the eigenvalues, retain their algebraic multiplicities in any field extension where the polynomial splits. Also $\det B=\det A$. The cyclic property of the trace gives $\mathrm{tr}(S^{-1}AS)=\mathrm{tr}(AS{S}^{-1})=\mathrm{tr}A$; equivalently, the trace is determined by the coefficient of $t^{n-1}$ in the characteristic polynomial for an $n$-by-$n$ matrix.^[ref]

For the two matrices in the opening example,Their entries differ, yet these quantities agree. Agreement is a useful necessary test for matrix similarity; it is not sufficient in general, as same eigenvalues do not imply similarity illustrates.

The relation also preserves repeated application. Adjacent factors $S{S}^{-1}$ cancel to giveFor the opening example, matrix powers therefore have the explicit formAt $k=2$, this is $\left(\begin{array}{cc}4& -21\\ 0& 25\end{array}\right)$. Acting on $y=(1,1{)}^T$ gives $(-17,25{)}^T$, which reconstructs as $S(-17,25{)}^T=(8,25{)}^T=A^{2}x$. More generally $q(B)=S^{-1}q(A)S$ for every polynomial $q$, so the minimal polynomial is also unchanged. Multiplication by invertible matrices preserves matrix rank, giving another invariant without finding eigenvalues.

For an $n$-by-$n$ square matrix $A=(a_{ij})$ over a field, its matrix trace is the sum of its diagonal entries:For example, $A=\left(\begin{array}{cc}2& 1\\ 1& 1\end{array}\right)$ has trace $2+1=3$. Adding corresponding diagonal entries immediately proves linearity:Thus matrix trace is a linear functional on the vector space of $n$-by-$n$ matrices.^[ref]

The surprising point is that the sum is intrinsic to a linear operator, even though individual diagonal entries depend on the basis. The cyclic property of the trace gives, for any invertible matrix $P$,Hence matrix similarity preserves trace. For the example above, choose the change-of-basis matrix $P=\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)$. ThenThe diagonal entries have changed but their sum has not. This makes trace useful for extracting a feature of the underlying linear operator without finding a preferred basis.

Over the complex numbers, or over the real numbers after allowing complex eigenvalues, the trace equals their sum with algebraic multiplicity:No diagonalizable matrix hypothesis is needed.^[ref] To see why, use triangularization over an algebraically closed field: an upper triangular matrix similar to $A$ has the eigenvalues on its diagonal, counted with algebraic multiplicity, because its characteristic polynomial is ${\prod }_i(z-{\lambda }_i)$. Similarity preserves trace, so summing that diagonal proves the formula.

For instance,There is only one independent eigenvector, since $(J-2I)(x,y{)}^T=(y,0{)}^T$, so $J$ is not a diagonalizable matrix. Nevertheless its repeated eigenvalue contributes twice. For our earlier $A$, the characteristic polynomial is $z^2-3z+1$, its eigenvalues are $(3+\sqrt{5})/2$ and $(3-\sqrt{5})/2$, and their sum is $3$. An inexpensive diagonal sum therefore gives spectral information before solving the characteristic polynomial.

The trace of a real matrix does not give that linear map's volume factor: that factor is the absolute value of its determinant. For example, $2I_2$ has trace $4$ and area factor $4$, but $2I_3$ has trace $6$ and volume factor $8$. Their occasional numerical agreement in two dimensions is a coincidence. The connection between trace and local volume change gives a geometric interpretation near the identity matrix, and describes the volume rate of a flow map generated by a linear system of differential equations.

Let $X={\Phi }^{†}\Phi$. Under the global transformation of the chiral matrix scalar model,The phase and $U_L^{†}{U}_L$ cancel, and $U_R^{†}{U}_R=1$. The cyclic property of the trace impliesTherefore each of the three terms in the scalar potential is invariant separately. Since $\theta ,U_L,U_R$ are constant, ${\partial }_{\mu }{\Phi }^{\prime }=e^{i\theta }{U}_L({\partial }_{\mu }\Phi )U_R^{†}$, giving invariance of the kinetic matrix trace by the same argument. Henceis a global symmetry group of the Lagrangian density. Its action has a finite central kernel, which does not affect its Lie algebra or the broken-generator counting below. For special parameter choices the symmetry can be larger; the displayed group is a symmetry for the stated potential without such extra assumptions.

For any column vector $v$ and positive semidefinite input $\varrho$, the Kraus representation givesThus the output is positive semidefinite. The cyclic property of the trace and completeness of the Kraus operators giveMore strongly, tensoring with an arbitrary ancilla replaces $A_k$ by $A_k\otimes I$, so the same argument proves complete positivity rather than only positivity on single-system density matrices.

If $\mathcal{F}$ has Kraus operators $B_j$, the composition of quantum channels hasThis is again a trace-preserving Kraus representation. The composition of completely positive maps is completely positive even without the trace-preserving assumption; in the general case, the product Kraus operators still establish complete positivity.

The cyclic property of the trace gives $\mathrm{tr}(AB)=\mathrm{tr}(BA)$, which is C1. The linearity of trace and matrix multiplication gives C2 and C3. Finally symmetry of $A$ giveswith equality exactly when every entry is zero. Thus C4 also holds. This is the Frobenius inner product restricted to the real vector space of symmetric matrices.

Apply the cyclic property of the trace and $B{B}^{-1}=I$:This proves similarity invariance of trace without requiring $A$ or $B$ to be symmetric.

For an invertible matrix $P$ whose columns give the new basis in old coordinates, the new matrix is $B=P^{-1}AP$. Multiplicativity of the determinant givessince $\det (P^{-1})\det P=1$.

To justify the cyclic property of the trace directly, for two square matrices $R,S$,Apply it with $R=P^{-1}A$ and $S=P$:Thus both the determinant and trace are invariant under change of basis.

Use the Minkowski metric $g^{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ and Feynman slash notation $/p={\gamma }^{\mu }{p}_{\mu }$. The Pauli matrices satisfy ${\sigma }_j{\sigma }_k+{\sigma }_k{\sigma }_j=2{\delta }_{jk}{I}_2$. In the Dirac representation of the gamma matrices, direct block multiplication givesandThus the spatial anticommutators are $-2{\delta }_{jk}{I}_4$, proving the Clifford relationsSince partial derivatives commute, their symmetric product selects the symmetric part of the gamma matrices. Multiplying the Dirac equation by $i{\gamma }^{\mu }{\partial }_{\mu }+m$ givesHence every spinor component satisfies the Klein-Gordon equation with the same mass.

For parity, let $x_P=(t,-\mathbf{x})$ and ${\psi }_P(x)={\gamma }^0\psi (x_P)$. The chain rule gives ${\partial }_0\psi (x_P)=({\partial }_0\psi )(x_P)$ and ${\partial }_j\psi (x_P)=-({\partial }_j\psi )(x_P)$. Combining these signs with ${\gamma }^j{\gamma }^0=-{\gamma }^0{\gamma }^j$ provesThis establishes parity symmetry in quantum field theory for the free Dirac equation, rather than merely asserting its covariance.

A positive-energy plane wave $\psi =u(p)e^{-ip\cdot x}$ solves $(/p-m)u=0$. Write $u=(\chi ,\eta {)}^T$. The two block equations areThe second gives $\eta =(\mathbf{\sigma }\cdot \mathbf{p})\chi /(E_p+m)$. In the first, $(\mathbf{\sigma }\cdot \mathbf{p}{)}^2={\mathbf{p}}^2{I}_2$ and $E_p^2-{\mathbf{p}}^2=m^2$ make the remaining coefficient zero. There are two independent two-component choices ${\chi }_s$, soFor a massive Dirac spinor, choose ${\chi }_s$ as the two rest-frame spin states along a fixed axis, for example ${\sigma }_3{\chi }_s=\pm {\chi }_s$. The label $s$ distinguishes these canonical spin states after boosting; it is not automatically a helicity label.

Now $p\cdot x_P=p_P\cdot x$ and ${\gamma }^0{u}_s(p)=u_s(p_P)$ for the same fixed ${\chi }_s$. ThereforeThe parity action on canonical massive spin states leaves the canonical spin label unchanged while reversing the momentum. Spin is an axial vector under parity; its orientation is unchanged. Consequently helicity, the projection of spin along momentum, reverses. If $s$ had instead been chosen to denote helicity, the transformed label would have the opposite sign.

The Dirac adjoint is $\bar{\psi }={\psi }^{†}{\gamma }^0$, with ${\gamma }^{0†}={\gamma }^0$. ThusThe chirality matrix has ${\gamma }^5=i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3=\left(\begin{array}{cc}0& I_2\\ I_2& 0\end{array}\right)$ in this representation, so $({\gamma }^5{)}^2=I_4$ and it anticommutes with every ${\gamma }^{\mu }$. In particular ${\gamma }^0{\gamma }^5{\gamma }^0=-{\gamma }^5$. The parity transformation of a Dirac bilinear therefore yieldsThe first bilinear is a scalar under parity, whereas the second is a pseudoscalar.

For the requested gamma matrix trace identities, use the cyclic property of the trace. Conjugation of a product of $n$ gamma matrices by ${\gamma }^5$ multiplies it by $(-1{)}^n$, but leaves its trace unchanged. All odd products therefore have zero trace. Taking the trace of the Clifford algebra relation and using $\mathrm{Tr}{I}_4=4$ gives $\mathrm{Tr}({\gamma }^{\alpha }{\gamma }^{\beta })=4g^{\alpha \beta }$. For four factors, move the first gamma matrix successively past the next three using the anticommutators. If $A=\mathrm{Tr}({\gamma }^{\alpha }{\gamma }^{\beta }{\gamma }^{\rho }{\gamma }^{\delta })$, this givesThus $A=4(g^{\alpha \beta }{g}^{\rho \delta }-g^{\alpha \rho }{g}^{\beta \delta }+g^{\alpha \delta }{g}^{\beta \rho })$. Contracting with the relevant four-vectors proves all four answers:

At fixed nonzero four-momentum, take the finite physical supermultiplet and write $P_F=(-1{)}^F$ for fermion parity. Each supercharge is odd, so $P_F{Q}_{\alpha }=-Q_{\alpha }{P}_F$ and the same holds for its adjoint. By the cyclic property of the trace,Consequently $\mathrm{Tr}[P_F\{Q_{\alpha },Q_{\alpha }^{†}\}]=0$. Sum the two spinor components of the $\mathcal{N}=1$ Super-Poincaré algebra. Since ${\mathrm{Tr}}_{2\times 2}{\sigma }^i=0$, their sum is $4H$. On a fixed-energy representation, $H=EI$, yieldingFor a nonzero physical one-particle momentum, $E>0$, including the massless case. Hence the bosonic and fermionic physical state counts agree:Equivalently a nonzero normalized supercharge and its adjoint define an odd involution pairing the two subspaces. This is supertrace pairing at positive energy; it counts spin polarizations, not merely distinct names of particles.

The phrase “every supermultiplet” requires this positive-energy qualification. A zero-energy supersymmetric vacuum with all supercharges acting as zero is a one-dimensional bosonic representation with no fermionic partner. It is a counterexample to the unrestricted statement, because division by $E$ is then impossible. It does not contradict the requested equality for particle supermultiplets.

For a positive operator $A$, the spectral theorem writes $A={\sum }_j{a}_j|j⟩⟨j|$ with $a_j\ge 0$. Hence its unique positive square root of an operator is $\sqrt{A}={\sum }_j\sqrt{a_j}|j⟩⟨j|$. Conjugating this spectral decomposition shows $\sqrt{UA{U}^{†}}=U\sqrt{A}{U}^{†}$ for a unitary operator $U$.

Let $\Delta ={\rho }_1-{\rho }_2$ and ${\rho }_i^{\prime }=U{\rho }_i{U}^{†}$. Then ${\Delta }^{\prime }=U\Delta U^{†}$ and $({\Delta }^{\prime }{)}^{†}{\Delta }^{\prime }=U{\Delta }^{†}\Delta U^{†}$. The square-root covariance and the cyclic property of the trace giveFor the quantum fidelity, covariance first gives $({\rho }_1^{\prime }{)}^{1/2}=U{\rho }_1^{1/2}{U}^{†}$. ThereforeApply the same square-root identity and the cyclic property of the trace to obtainThus unitary invariance of trace distance and fidelity givesThe same $U$ acts on both quantum states: these quantities depend on the relative distinguishability of the quantum states, not on a choice of basis.

The matrix trace is the sum of diagonal entries, $\mathrm{tr}A={\sum }_{i=1}^n{A}_{ii}$. For any two square matrices,Apply this cyclic property of the trace with $B=T$ and $C=A{T}^{-1}$:Thus matrix similarity preserves the matrix trace; no assumption that either matrix is diagonalizable is needed.

For $X\in L$, define the Adjoint representation of a Lie algebra by ${\mathrm{ad}}_X(Y)=[X,Y]$. The Jacobi identity gives, for every $Z$,Thus $\mathrm{ad}$ preserves brackets and is a Lie algebra representation. Its Killing form isUsing the representation identity and the cyclic property of the trace,The Killing form is also symmetric by cyclicity.

In a basis $T_a$, write $[T_a,T_b]=c_{ab}{}^d{T}_d$. The lowered structure constants satisfyThe first expression is antisymmetric in $a,b$ and the second in $b,c$. These transpositions generate all permutations, so $c_{abc}$ is totally antisymmetric.

An invariant subspace of $L$ under its Adjoint representation of a Lie algebra is exactly an ideal of a Lie algebra: $[L,I]\subseteq I$. A simple Lie algebra has no nonzero proper ideal, proving the adjoint representation is irreducible.

Put $D_X=d(X)$. The same trace calculation proves invariance of the Trace form of a Lie algebra representation:Because the $D_X$ are anti-Hermitian, $H$ is a real symmetric bilinear form. The Killing form of a simple compact Lie algebra is negative definite. Define a real linear map $T$ by $H(X,Y)=\kappa (TX,Y)$. Invariance of both forms implies that $T$ commutes with every ${\mathrm{ad}}_Z$, while symmetry makes $T$ self-adjoint for the positive inner product $-\kappa$. By the spectral theorem, its real eigenspaces are invariant under the Adjoint representation of a Lie algebra. Irreducibility forces a single eigenvalue, so $T=\mu I$ and $H=\mu \kappa$. This also avoids the extra care needed when applying the complex form of the Schur lemma to a real vector space.

The kernel of $d$ is an ideal of a Lie algebra. It cannot be all of $L$: a trivial representation of dimension greater than one is reducible. Simplicity therefore makes $d$ faithful. For every nonzero $X$,Hence the positive trace index for a compact simple Lie algebra givesin the adapted basis.

For the cubic trace tensor of a Lie algebra representation, the identityexpands toSet $Y=T_d$, $X=T_a$, $Z=T_b$, $W=T_c$. Cyclicity of $B$ converts $B_{\ell bc}$ to $B_{bc\ell }$ and $B_{a\ell c}$ to $B_{ca\ell }$. Thus the invariance identity for a cubic trace tensor is

For the final contraction, it is important to keep the specified index-raising convention. In the adapted basis write $C_{ab}{}^c=c_{ab}{}^c$. Then $c_{abc}=-C_{ab}{}^c$, while raising the last two indices with ${\kappa }^{ab}=-{\delta }^{ab}$ gives $c_a{}^{mn}=-C_{am}{}^n$. Total antisymmetry and the definition of the Killing form implyOnly the antisymmetric part of $B$ in $m,n$ contributes, soConsequently the Killing-normalized contraction of a cubic trace tensor isThe negative sign printed in the last requested identity is incompatible with raising indices by the inverse Killing form. The opposite sign is obtained if one instead defines the lowered structure constants using the positive Euclidean metric, a different convention from the one specified.

For a concrete check, take the two-dimensional representation of $\mathfrak{su}(2)$ with $T_a=-i{\sigma }_a/(2\sqrt{2})$, where the ${\sigma }_a$ are Pauli matrices. ThenTheir contraction is $+{\delta }_{ab}/8$, confirming the positive sign with $\mu =1/4$ and providing a counterexample to the printed sign.

For a finite-dimensional Lie algebra, the Killing form is defined using the Adjoint representation on the algebra itself, rather than the given Lie algebra representation $d$:The Jacobi identity gives ${\mathrm{ad}}_{[X,Y]}=[{\mathrm{ad}}_X,{\mathrm{ad}}_Y]$. Using the cyclic property of the trace,The same trace identity makes the Killing form symmetric. For a basis $(t_a)$, the lowered structure constants of a Lie algebra are $c_{abc}=\kappa ([t_a,t_b],t_c)$. Antisymmetry of the Lie bracket gives $c_{abc}=-c_{bac}$, while invariance gives $c_{abc}=\kappa (t_a,[t_b,t_c])=-c_{acb}$. The two adjacent transpositions generate every permutation, proving the antisymmetry of Killing-lowered structure constants: $c_{abc}$ is totally antisymmetric, even if the Killing form is degenerate.

A semisimple Lie algebra has no nonzero solvable ideal; equivalently, its solvable radical is zero, or, in characteristic zero, its Killing form is nondegenerate. A real compact Lie algebra is the algebra of some compact Lie group, equivalently an algebra admitting a positive-definite invariant bilinear form on a Lie algebra. For a real semisimple Lie algebra the compactness criterion from the Killing form says precisely that $\kappa$ is negative-definite. A compact algebra with a nonzero abelian center has a degenerate Killing form, so the semisimplicity qualification matters.

For a semisimple Lie algebra, let ${\kappa }^{ab}$ denote the inverse matrix of ${\kappa }_{ab}=\kappa (t_a,t_b)$. Its Casimir operator in $d$ isThis contraction is independent of the chosen basis. To prove centrality directly, put $[X,t_b]=A^a{}_b{t}_a$. Invariance gives $A^{\mathsf{T}}\kappa +\kappa A=0$, hence $A{\kappa }^{-1}+{\kappa }^{-1}{A}^{\mathsf{T}}=0$. The Lie algebra representation property and the product rule for a commutator now giveIndeed, the coefficient of $d(t_c)d(t_b)$ in this expression is $(A{\kappa }^{-1}+{\kappa }^{-1}{A}^{\mathsf{T}}{)}^{cb}$. Thus $[d(X),C]=0$ for every $X$. No irreducibility of $d$ is required.

The matrix units obey $E_{ij}{E}_{pq}={\delta }_{jp}{E}_{iq}$. Consequently the general linear Lie algebra $\mathcal{M}={\mathfrak{gl}}_n(\mathbb{R})$ hasFor its Killing form, write $L_X(Z)=XZ$ and $R_X(Z)=ZX$, so that ${\mathrm{ad}}_X=L_X-R_X$. Left multiplication acts identically on each of the $n$ columns, and right multiplication identically on each of the $n$ rows. Thus $\mathrm{Tr}(L_X{L}_Y)=\mathrm{Tr}(R_X{R}_Y)=n\mathrm{tr}(XY)$. The diagonal coefficient of $L_X{R}_Y$ on $E_{ij}$ is $X_{ii}{Y}_{jj}$, giving $\mathrm{Tr}(L_X{R}_Y)=\mathrm{tr}X\mathrm{tr}Y$; the other mixed trace is identical. This proves the Killing form of the general linear Lie algebra:The scalar matrices form a nonzero central abelian ideal, so $\mathcal{M}$ is not semisimple for any $n\ge 1$. More explicitly, the radical of the Killing form is $\mathbb{R}I$, since vanishing against every $Y$ forces $nX-(\mathrm{tr}X)I=0$ by nondegeneracy of the trace pairing. For $n\ge 2$, take $H=E_{11}-E_{22}$. Then $\kappa (H,H)=4n>0$, whereas a positive-definite invariant inner product would make every adjoint map skew and hence give $\kappa (X,X)\le 0$. Therefore $\mathcal{M}$ is not compact when $n\ge 2$. For the allowed exceptional value $n=1$, the abstract abelian algebra $\mathbb{R}$ is a compact Lie algebra, being isomorphic to the algebra of $U(1)$; the particular matrix group $G{L}_1(\mathbb{R})$ is nevertheless noncompact. This distinguishes compactness of an algebra from that of a chosen group realizing it.

For the final algebra, the printed basis specifies strictly upper triangular matrices. If $i<j$ and $p<q$, the first term in $[E_{ij},E_{pq}]$ can be nonzero only when $i<j=p<q$, and then $E_{iq}$ is strictly upper triangular; the second can be nonzero only when $p<q=i<j$, and then $E_{pj}$ is strictly upper triangular. Bilinearity proves closure under the Lie bracket. To compute its own Killing form, grade $E_{ij}$ by the positive integer $j-i$. Bracketing with any basis element increases that degree whenever the result is nonzero. In a basis ordered by degree, all adjoint maps are strictly triangular, as are their products. Every such product has zero trace, so the Killing form of a nilpotent Lie algebra vanishes here. Therefore the subspace denoted by a prime in the PDF isThis is the defined radical of the Killing form, not the derived algebra; for $n=1$ both $\mathcal{L}$ and this radical are zero.

For a finite-dimensional Lie algebra, write $A_X=\mathrm{ad}X$ for its Adjoint representation. The Killing form is the symmetric bilinear formThe Jacobi identity gives $A_{[X,Y]}=[A_X,A_Y]$. Using the cyclic property of the trace,Thus it is an invariant bilinear form on a Lie algebra. If $[T_a,T_b]=f_{ab}{}^c{T}_c$, the adjoint matrix has entries $(A_{T_a}{)}^c{}_b=f_{ab}{}^c$. Its trace product yields the structure constants of a Lie algebra formulaA semisimple Lie algebra has zero solvable radical, equivalently no nonzero solvable ideal. In characteristic zero, the Cartan criterion for semisimplicity characterizes it by nondegeneracy of its Killing form. A real compact Lie algebra is the Lie algebra of a compact Lie group, equivalently one admitting a positive-definite invariant inner product. For a real semisimple algebra, the compactness criterion from the Killing form says compactness is equivalent to negative-definiteness of $\kappa$. An abelian compact-type algebra has zero Killing form, so this last characterization specifically concerns the semisimple case.

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.