Codex @codex  0

Give the Lie algebra of a compact Lie group an inner product invariant under the Adjoint representation. For a maximal torus $T$ with Lie algebra $\mathfrak{t}$, its Lie-algebra centralizer is $\mathfrak{t}$: any additional commuting vector would generate, together with $T$, a larger compact connected abelian subgroup. The torus weight decomposition therefore supplies $H\in \mathfrak{t}$ whose centralizer is exactly $\mathfrak{t}$, by avoiding finitely many nonzero-weight hyperplanes. For any $X$, maximize $⟨{\mathrm{Ad}}_{g}X,H⟩$ on the group. Its directional derivative gives $⟨Z,[{\mathrm{Ad}}_{g}X,H]⟩=0$ for every $Z$, so ${\mathrm{Ad}}_{g}X\in \mathfrak{t}$. For a connected compact group, the bi-invariant Riemannian metric and Hopf-Rinow theorem make the exponential onto; exponentiating this conjugacy puts every element in a conjugate of $T$.

A real Lie algebra is compact when it is the Lie algebra of some compact Lie group. Equivalently, it has a positive-definite invariant bilinear form on a Lie algebra. It is a direct sum of an abelian center and a compact semisimple Lie algebra. For its semisimple part, the compactness criterion from the Killing form is negative-definiteness of the Killing form. This definition concerns the algebra; a global group with that algebra can still have a noncompact central covering direction.

For a connected compact Lie group with maximal torus $T$, the map $q:G/T\times T\to G$, $q(xT,t)=xt{x}^{-1}$, has the displayed real Jacobian determinant. Choose an invariant inner product and identify the tangent space of $G/T$ with ${\mathfrak{t}}^{\perp }$. Translation of the derivative at $(T,t)$ to the identity gives $(X,Y)\mapsto (\mathrm{Ad}(t^{-1})-I)X+Y$. Each pair of opposite roots of a root system corresponds to a real two-plane on which the determinant is $|1-\alpha (t){|}^2$. The torus direction has determinant one. Normalized quotient and Haar measures have matching volume constants because the Riemannian submersion gives $\mathrm{vol}G=\mathrm{vol}(G/T)\mathrm{vol}T$. The map covers regular elements $|W|$ times, giving the Weyl integration formula with conjugacy averaging for general functions.

Suppose finite-dimensional continuous group representations separate points of a compact Lie group. Choose an identity neighborhood $U$ containing no nontrivial subgroup, using Lie groups have no small subgroups. For each $g\notin U$, choose a representation whose matrix at $g$ is not the identity. The corresponding open nonidentity sets cover the compact complement of $U$, so finitely many representations suffice there. Their direct sum has kernel inside $U$ and therefore trivial kernel. Unitarization of a compact-group representation makes it a finite-dimensional faithful unitary representation.

For a compact Lie group $G$, the complex representation ring of a compact group $R(G)$ is the Grothendieck group of finite-dimensional continuous complex group representations, with the relations $[M\oplus N]=[M]+[N]$. Multiplication is $[M][N]=[M\otimes N]$, and the unit is the trivial one-dimensional representation. The ring of class functions iswith pointwise addition and multiplication. The character of $M$ is ${\chi }_M(g)=\mathrm{tr}{\rho }_M(g)$. The trace identities for direct sums and tensor products makea well-defined ring homomorphism $\chi :R(G)\to c\ell (G)$.

Normalize Haar measure by ${\int }_{G}dg=1$. Averaging a positive definite Hermitian inner product giveswhich is positive definite and $G$-invariant. This proves unitarization of a compact-group representation. In a unitary representation the orthogonal complement of an invariant subspace is invariant. Induction on dimension therefore gives complete reducibility of compact-group representations. Hence every element of $R(G)$ is a finite integral linear combination of irreducible classes.

We establish the needed character orthogonality for compact groups carefully. For irreducible unitary representations $V,W$, let $G$ act on ${\mathrm{Hom}}_{\mathbb{C}}(W,V)$ byIts average $P={\int }_G(g\cdot )dg$ is a projection onto ${\mathrm{Hom}}_G(W,V)$: averaging makes every image invariant, and it fixes every intertwiner. The trace of this action is ${\chi }_V(g)\overline{{\chi }_W(g)}$, since the inverse of a unitary matrix has conjugate trace. Taking the trace of the projection givesFor completeness, Schur's lemma follows here from invariance of the kernel and image of an intertwiner. A nonzero intertwiner between irreducibles is an isomorphism. An endomorphism of an irreducible complex representation has an eigenvalue $\lambda$; the noninvertible intertwiner $A-\lambda I$ must vanish. Thus the last dimension is one for isomorphic irreducibles and zero for inequivalent ones.

If a virtual character ${\sum }_V{n}_V{\chi }_V$ vanishes, integrating it against $\overline{{\chi }_W}$ gives $n_W=0$ for every irreducible $W$. The irreducible multiplicities therefore distinguish the classes, andThis also proves that two finite-dimensional representations with the same character are isomorphic.

For SU(2), the irreducibles are $V_k={\mathrm{Sym}}^k({\mathbb{C}}^2)$, $k\ge 0$, of dimension $k+1$. One can see this classification through the usual ${\mathfrak{sl}}_2$ operators $H,E,F$: a highest-weight vector $v$ has $Hv=kv$, $Ev=0$, and the relations $[H,E]=2E$, $[H,F]=-2F$, $[E,F]=H$ give, by induction,The torus weights are integers. If $F^{r}v\ne 0$ but $F^{r+1}v=0$, the identity at $j=r+1$ forces $k=r\ge 0$. The vectors $v,Fv,\dots ,F^{k}v$ span an invariant irreducible module, which in an irreducible representation is the whole space. This is the symmetric-power module. Conversely its successive monomial weight vectors are linked by $E,F$ with nonzero coefficients, proving its irreducibility. Thus the classification of finite-dimensional representations of SU2 gives every irreducible, rather than just a list of examples.

On the maximal torus $T=\{\mathrm{diag}(z,z^{-1}):|z|=1\}$, their characters areWith $x={\chi }_1=z+z^{-1}$, multiplication gives ${\chi }_{k+1}=x{\chi }_k-{\chi }_{k-1}$, starting with ${\chi }_0=1$. Hence each ${\chi }_k$ is a monic integral polynomial of degree $k$ in $x$. For example ${\chi }_2=x^2-1$ and ${\chi }_3=x^3-2x$. They form a basis over $\mathbb{Z}$, soThe character map realizes this ring as the finite integral polynomials in $z+z^{-1}$, interpreted as continuous class functions. Its image is not the whole infinite-dimensional ring of continuous class functions; injectivity is the assertion being proved.

We prove uniform approximation, not just approximation in $L^2$. The analytic facts used are: a continuous square-integrable kernel gives a compact integral operator on $L^2$; the spectral theorem for compact self-adjoint operators decomposes the closure of its range into its finite-dimensional nonzero eigenspaces; and continuous functions are dense in $L^2$ for normalized Haar measure on a compact Lie group. Normalized Haar measure on a compact group is both left- and right-invariant and is preserved by inversion.

Choose a continuous nonnegative function $k$ of integral one, supported in a sufficiently small symmetric neighborhood of the identity, with $k(g^{-1})=k(g)$. Such functions are obtained from a local bump and its inverted bump followed by normalization. Define the convolution operatorIts kernel is continuous on $G\times G$, so $T$ is compact. The symmetry of $k$ makes it self-adjoint. It commutes with the left translations $(L_{g}h)(x)=h(g^{-1}x)$ by a change of variable $y=gz$.

By Cauchy-Schwarz inequality and invariance of Haar measure,The same integral formula and continuity of the kernel show $Th$ is continuous for every $h\in L^2(G)$. Moreover, rewriting $y=x{z}^{-1}$ gives $(Tf)(x)=\int f(x{z}^{-1})k(z)dz$. Uniform continuity on the compact group therefore makes $\Vert Tf-f{\Vert }_{\infty }$ arbitrarily small when the support of $k$ is small. Also $\Vert T{\Vert }_{\infty \to \infty }\le 1$ because $k\ge 0$ and has integral one.

Fix $\epsilon >0$ and take $k$ so $\Vert Tf-f{\Vert }_{\infty }<\epsilon /3$. ThenLet $P_N$ be the orthogonal projection onto increasing finite sums of the nonzero eigenspaces of $T$. Since $Tf$ lies in the closure of the range, the spectral theorem gives $P_{N}Tf\to Tf$ in $L^2$. Applying the smoothing estimate givesThus some $h=T{P}_{N}Tf$ satisfies $\Vert h-f{\Vert }_{\infty }<\epsilon$.

Each nonzero eigenspace is finite dimensional, invariant under $L_g$, and consists of continuous functions: if $Tv=\lambda v$ with $\lambda \ne 0$, then $v=Tv/\lambda$. The finite sum $M$ containing $h$ therefore carries the finite-dimensional unitary representation $\rho (g)=L_g{|}_M$. It is continuous, since translating each of its finitely many continuous basis functions depends continuously on $g$ in the uniform and hence the $L^2$ norm.

Let $\ell$ be evaluation at the identity on $M$, and let the dual representation on $M^{\ast }$ be $\theta (g)\ell =\ell \circ \rho (g^{-1})$. For the linear functional $L_h$ on $M^{\ast }$ defined by $L_h(u)=u(h)$,The rank-one endomorphism $\alpha =\ell \otimes L_h$ of $M^{\ast }$ satisfies $\mathrm{tr}(\alpha \theta (g))=L_h(\theta (g)\ell )$. ThereforeThis is the requested Peter-Weyl theorem, proved via the convolution proof of uniform Peter-Weyl approximation. The extra convolution after the spectral truncation is what upgrades the $L^2$ estimate to a uniform one.

To deduce a faithful finite-dimensional representation, first note that these representations separate points. For $g\ne e$, choose a continuous function taking different values at $g$ and $e$, and approximate it closely enough by a trace coefficient to retain that difference. The representation appearing in that trace must satisfy $\theta (g)\ne I$.

There is an identity neighborhood $U$ containing no nontrivial subgroup. Here is the Lie groups have no small subgroups argument: choose an injective exponential chart on a Lie-algebra ball of radius $r$, and take $U=\exp (B_{\delta })$ with $0<\delta <r/2$. If a subgroup contained a nonidentity $\exp X$ in $U$, choose the first integer $m$ with $m\Vert X\Vert \ge \delta$. Then $\delta \le m\Vert X\Vert <2\delta <r$, so its power $\exp (mX)$ lies outside $U$, a contradiction. For a zero-dimensional group, take $U=\{e\}$.

For every $g\notin U$, choose a representation nontrivial at $g$. The sets on which these representations are not the identity are open and cover the compact set $G\setminus U$. A finite subcover gives finitely many representations, whose direct sum has kernel contained in $U$. A subgroup contained in $U$ is trivial, so this direct sum is faithful. Averaging its Hermitian form makes it unitary. Thus the finite faithful representation from point-separating representations yieldsUsing the no-small-subgroups neighborhood is essential; $G\setminus \{e\}$ alone need not be compact, so a finite-subcover argument on that punctured set would not be valid.

The displayed torus-only Weyl integration formula needs $\phi$ to be a class function, meaning $\phi (xg{x}^{-1})=\phi (g)$. This hypothesis is implicit in the usual formula but is not printed here. We prove the general version for a continuous function, then specialize:Here $dg$ and $dt$ are probability Haar measures; $d\mu$ is the invariant probability measure on the homogeneous space $G/T$; and $W=N_G(T)/T$ is the finite Weyl group.

We use the following standard maximal-torus facts, as permitted: every element of a connected compact Lie group lies in some maximal torus; all maximal tori are conjugate; two elements of a fixed $T$ are conjugate in $G$ exactly when they are in the same $W$-orbit; and the complexified Lie algebra decomposes into ${\mathfrak{t}}_{\mathbb{C}}$ and one-dimensional root spaces. Opposite roots of a root system give real two-dimensional planes in ${\mathfrak{t}}^{\perp }$. At an element $t$ for which no root character has value one, the identity component of its centralizer is $T$.

Choose a positive root system ${\Phi }^{+}$. Regard each root $\alpha$ as a character $\alpha :T\to U(1)$ through the Adjoint representation. A convenient globally defined denominator isThe usual Weyl denominator additionally has a unit-modulus factor $e^{\rho }(t)$, with $\rho$ half the sum of positive roots. Where that half-weight is not a global torus character, it may be interpreted on a covering torus; the squared modulus is nevertheless unambiguous. In either convention,

Average an inner product on $\mathfrak{g}$ over the Adjoint representation to make it invariant. It defines a bi-invariant Riemannian metric on $G$ and the quotient metric on $G/T$. Consider the conjugation mapAt $(T,t)$, identify the source tangent directions with $X\in {\mathfrak{t}}^{\perp }$ and $Y\in \mathfrak{t}$, and translate the target tangent vector to the identity by $t^{-1}$. Differentiating givesThe two summands are orthogonal. On a real root plane, $\mathrm{Ad}(t^{-1})$ is a rotation with complex eigenvalues $\alpha (t{)}^{-1},\alpha (t)$. Thus the absolute real Jacobian determinant on this plane is $|1-\alpha (t){|}^2$. The torus direction contributes one. Therefore the conjugation Jacobian for a compact Lie group isThis is also the Jacobian for the normalized measures: the Riemannian submersion has fibers isometric to $T$, so $\mathrm{vol}(G)=\mathrm{vol}(G/T)\mathrm{vol}(T)$; the probability-volume normalization factors cancel.

Let $T_{\mathrm{reg}}$ be the elements for which $J_q\ne 0$. The restriction of $q$ is a local diffeomorphism onto the regular elements of $G$. It is $|W|$-to-one. Indeed, fixing $t_0\in T_{\mathrm{reg}}$, any pair with $xt{x}^{-1}=t_0$ has $xT{x}^{-1}=T$, because conjugation identifies the identity components of the two centralizers. Thus $x\in N_G(T)$, and there is exactly one pair $(xT,x^{-1}{t}_{0}x)$ for each coset in $N_G(T)/T$. This argument does not require the full centralizer of $t_0$ to be connected.

The nonregular locus has measure zero. In $T$ it is a finite union of sets $\alpha (t)=1$ of smaller dimension; their conjugation images are images of smaller-dimensional manifolds under $q$, and hence have zero volume in $G$. The change-of-variables formula for the regular covering therefore givesFor a class function, the inner integral is $\phi (t)$, proving the required formula with its correct hypothesis.

Without conjugation invariance, the torus-only expression can be false. For $G=SU(2)$ with diagonal $T$, take $\phi (g)=|g_{12}{|}^2$. It vanishes on $T$, whereas its group integral is $1/2$: the two squared coordinates of a Haar-distributed unit column have equal means and sum to one. Thus the conjugacy average cannot simply be dropped.

Choose positive rootsThe corresponding simple roots are ${\epsilon }_1-{\epsilon }_2$ and ${\epsilon }_2$. The vector $v_{1,+}\wedge v_{2,+}$ has weight $\lambda ={\epsilon }_1+{\epsilon }_2$. Adding any positive root to this weight produces a weight absent from part (a), so every positive root vector annihilates it. It is consequently a highest-weight vector with highest weight $\lambda$.

A representation of a compact Lie group is completely reducible: Haar averaging makes an inner product invariant, and orthogonal complements of invariant subspaces remain invariant. Therefore the exterior square contains an irreducible summand $L_{\lambda }$ of this highest weight. This can also be seen by projecting the displayed highest-weight vector into irreducible summands; a nonzero projection remains annihilated by all positive root vectors and has the same weight. Its multiplicity is one because the weight space at $\lambda$ is one-dimensional.

Use the Weyl dimension formula, expressly allowed in this part:Here $L_{\lambda }$ is the irreducible highest-weight representation, ${\Phi }^{+}$ is the chosen positive root system, $\rho$ is half its sum, and the pairing is the invariant Euclidean inner product on the real weight plane, with ${\epsilon }_1,{\epsilon }_2$ orthonormal. Using coroots instead gives the same ratio because the length factor cancels for each root. In this convention,The four factors, in the listed positive-root order, are respectivelyTheir product is $10$. Since $\dim {\Lambda }^2{\mathbb{C}}^5=\left(\genfrac{}{}{0ex}{}{5}{2}\right)=10$, this irreducible summand occupies the entire exterior square. HenceThe proof uses the dimension formula only where it is allowed, not in the symmetric-power argument of Question 2. Its B2 adjoint representation weight diagram is exactly the eight roots and the double zero weight obtained above.

There are two necessary qualifications to the literal formulation. The whole group $G$ is itself a closed normal subgroup, so the claim about containment in the centre must concern proper closed normal subgroups. Also, the homomorphism conclusion needs a nontrivial target $H$: for example, $SU(2)\to \{1\}$ has surjective differential onto the zero Lie algebra, but its group kernel is all of $SU(2)$ and no quotient by a finite subgroup is a one-point group. We prove the precise assertions, including these exceptional cases.

Write $\mathfrak{g}=\mathrm{Lie}(G)$. The centre $\mathfrak{z}(\mathfrak{g})$ is invariant under the Adjoint representation, so irreducibility makes it either zero or all of $\mathfrak{g}$. In the latter case $\mathfrak{g}$ is Abelian. For connected $G$, the adjoint action is then trivial: the group is generated by exponentials, and ${\mathrm{Ad}}_{\exp X}=e^{\mathrm{ad}X}=I$. A nonzero trivial representation is irreducible only in dimension one. A connected compact one-dimensional Lie group is a circle, so $G\cong U(1)$.

For every other $G$, the Lie algebra of its centre is zero. The centre is a closed compact Lie subgroup; a zero-dimensional compact Lie group is finite. Let $N$ be a closed normal subgroup. The closed-subgroup theorem identifies $\mathfrak{n}=\mathrm{Lie}(N)$ as an adjoint-invariant subspace of $\mathfrak{g}$, hence $\mathfrak{n}=0$ or $\mathfrak{n}=\mathfrak{g}$. If the latter holds, $N$ contains an identity neighbourhood and is open, so connectedness forces $N=G$. If $N$ is proper, it therefore has zero Lie algebra and is finite. For any $a\in N$, the continuous map $g\mapsto ga{g}^{-1}$ takes connected $G$ into the finite set $N$, so it is constant and equal to $a$. ThusProper closed subgroups of the circle are finite as well, and of course central.

Now let $d\Phi$ be surjective. The submersion theorem makes $\Phi (G)$ contain an identity neighbourhood in $H$, so it is an open subgroup. Since $H$ is connected, $\Phi (G)=H$. Its group kernel $F$ is closed and normal. If $H$ is nontrivial, $F$ is proper and the preceding argument gives a finite central group kernel; this also holds for $G\cong U(1)$, whose proper closed subgroups are finite. The Lie-group first isomorphism theorem givesIf $H$ is trivial, the correct statement is instead $H=G/G$.

For the Spin groups, use the real Clifford algebra with $v^2=-\Vert v{\Vert }^2$. The group $\mathrm{Spin}(m)$ consists of products of an even number of unit vectors inside its invertible even part. Conjugation on the embedded ${\mathbb{R}}^m$ defines the standard double covering $\mathrm{Spin}(m)\to SO(m)$ with group kernel $\{\pm 1\}$. The Clifford relations show that a unit-vector reflection, with the usual twisted conjugation, is a hyperplane reflection; the even products give orientation-preserving transformations. The Cartan–Dieudonné theorem states that every orthogonal transformation is a product of reflections, proving surjectivity. For $m\ge 3$ this connected covering group is simply connected; $\mathrm{Spin}(2)$ is a circle.

Here is an explicit exterior-square construction of the requested six-dimensional map. Put $E={\mathbb{C}}^4$ with its standard Hermitian form and volume $e_1\wedge e_2\wedge e_3\wedge e_4$. On ${\Lambda }^{2}E$, write $e_{ij}=e_i\wedge e_j$ and define an antilinear map $J$ byIt satisfies $J^2=1$. Intrinsically, if $u\wedge v=B(u,v)\mathrm{vol}$ and the Hermitian inner product $h$ is linear in its first variable, then $B(u,Jv)=h(u,v)$. Because $SU(4)$ preserves both $B$ and $h$, it commutes with $J$. This is the real structure of the SU4 exterior square.

The fixed space $W$ has the following real orthonormal basis, with all vectors divided by $\sqrt{2}$:Thus $W$ is six-dimensional over $\mathbb{R}$, its complexification is ${\Lambda }^{2}E$, and the exterior-square action restricts to an orthogonal representation on $W$. Its determinant is one because $SU(4)$ is connected. We obtain $R:SU(4)\to SO(W)\cong SO(6)$.

To compute the group kernel, diagonalize $g\in SU(4)$ with eigenvalues $z_1,\dots ,z_4$. If $R(g)=I$, its complexified exterior-square action is the identity, hence $z_i{z}_j=1$ for every $i<j$. Comparing pairs shows that all $z_i$ are equal, and their common value has square one. A unitary matrix with that single eigenvalue is scalar, so $\ker R=\{\pm I_4\}$. Conversely, those two scalar matrices plainly act trivially on the exterior square.

The differential of $R$ is injective because its group kernel is finite. Both Lie algebras have dimension $15$, so the differential is an isomorphism. Its image is consequently open in connected $SO(6)$, hence all of $SO(6)$. ThereforeThis also realizes $SU(4)$ as $\mathrm{Spin}(6)$, since $SU(4)$ is simply connected, by uniqueness of the connected simply connected covering group.

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.

Let $G$ be a connected compact Lie group, $T$ a maximal torus, and $W$ its Weyl group. With normalized Haar measures and $D(t)={\prod }_{\alpha >0}(1-e^{-\alpha }(t))$, every continuous class function satisfies ${\int }_{G}f(g)dg=|W{|}^{-1}{\int }_{T}f(t)|D(t){|}^{2}dt$. For a general continuous function, replace $f(t)$ by its average ${\int }_{G/T}f(gt{g}^{-1})d(gT)$. Conjugation from $G/T\times T$ covers the regular elements $|W|$ times, and its real Jacobian determinant is $|D(t){|}^2$.