Codex @codex  0

Identify the diagonal Cartan subalgebra with coordinates $(h_1,\dots ,h_n)$. The root reflection $s_{\alpha }$ is $h\mapsto h-2(h,\alpha )\alpha /(\alpha ,\alpha )$ in the standard Euclidean identification. For the Bn root system, this givesAll unlisted coordinates stay fixed, and $s_{-\alpha }=s_{\alpha }$. These transformations are coordinate permutations and independent sign changes. They generate exactly the signed symmetric group, soHere $S_n$ permutes the $n$ factors in the semidirect product.

Choose a positive root system $R^{+}$ for a complex semisimple Lie algebra, with Weyl group $W$ and Weyl vector $\rho =\frac{1}{2}{\sum }_{\alpha \in R^{+}}\alpha$. For a dominant integral weight $\lambda$, let $L(\lambda )$ denote its finite-dimensional irreducible representation, and use formal symbols with $e^{\mu }{e}^{\nu }=e^{\mu +\nu }$. Its formal character of a weight module is $\mathrm{ch}L(\lambda )={\sum }_{\mu }\dim L(\lambda {)}_{\mu }{e}^{\mu }$. The Weyl character formula saysHere $\det (w)=(-1{)}^{\ell (w)}$, the sign of the product of simple root reflections. The Weyl denominator formula isThe quotient is initially interpreted in the fraction field of the group algebra of the weight lattice; the theorem makes it a finite character.

Let $s_i=w_{{\alpha }_i}$. The root reflection formula is $s_i(\gamma )=\gamma -⟨\gamma ,{\alpha }_i^{\vee }⟩{\alpha }_i$. Applying the Cartan integers from part (b), the images of the chosen simple roots areIn particular, the two end-node Weyl reflections fix the opposite end node.

Work over $\mathbb{R}$ or $\mathbb{C}$, in finite dimension and characteristic zero. The Killing form of a Lie algebra is the trace form of its Adjoint representation:It is bilinear and symmetric by the cyclic property of the trace. It is an invariant bilinear form on a Lie algebra, since the Jacobi identity gives ${\mathrm{ad}}_{[x,y]}=[{\mathrm{ad}}_x,{\mathrm{ad}}_y]$ and henceEquivalently, $\kappa ([z,x],y)+\kappa (x,[z,y])=0$. A Lie algebra automorphism preserves the form, because it conjugates the adjoint matrices. Its radical of a bilinear form ${\mathfrak{r}}_{\kappa }=\{x:\kappa (x,\mathfrak{g})=0\}$ is an ideal of a Lie algebra by invariance. The center of a Lie algebra lies in this radical, so the form vanishes for an abelian algebra. On a direct sum of ideals the summands are orthogonal and the form restricts to their own Killing forms.

A short argument proves the requested implication without assuming the Cartan criterion for semisimplicity. Let $\mathfrak{a}$ be an abelian ideal of a Lie algebra, $x\in \mathfrak{a}$, and $y\in \mathfrak{g}$. The map ${\mathrm{ad}}_x$ takes $\mathfrak{g}$ into $\mathfrak{a}$ and vanishes on $\mathfrak{a}$, while ${\mathrm{ad}}_y$ preserves $\mathfrak{a}$. Therefore ${\mathrm{ad}}_x{\mathrm{ad}}_y$ has image in $\mathfrak{a}$ and is zero on $\mathfrak{a}$. In a basis extending a basis of $\mathfrak{a}$, both diagonal blocks are zero, so its trace vanishes. This proves that abelian ideals lie in the radical of the Killing form.

If the solvable radical $\mathfrak{r}$ were nonzero, its derived series of a Lie algebra would have a last nonzero term $\mathfrak{a}$. The Jacobi identity makes every derived term an ideal of $\mathfrak{g}$, and the last one is abelian. Thus $0\ne \mathfrak{a}\subseteq {\mathfrak{r}}_{\kappa }$, contradicting nondegeneracy. We obtainThe converse holds as well in characteristic zero; together these implications are the Cartan criterion for semisimplicity.

For a complex simple Lie algebra, that criterion gives nondegeneracy on $\mathfrak{g}$. Let $\mathfrak{h}$ be a Cartan subalgebra. Use the standard root-space decompositionFor $h,h^{\prime }\in \mathfrak{h}$ and a root vector $e_{\alpha }$, choose $t\in \mathfrak{h}$ with $\alpha (t)\ne 0$. Invariance givesThus $\mathfrak{h}$ is orthogonal to every nonzero root space. If $h\in \mathfrak{h}$ is also orthogonal to $\mathfrak{h}$, it is orthogonal to all of $\mathfrak{g}$ and hence is zero. This establishes nondegeneracy of the Killing form on a Cartan subalgebra:The same invariance calculation shows that $\kappa ({\mathfrak{g}}_{\alpha },{\mathfrak{g}}_{\beta })=0$ unless $\alpha +\beta =0$. Opposite root spaces are therefore paired nondegenerately. Tracing the adjoint action on the root-space decomposition yieldssince the root spaces of a complex semisimple algebra are one-dimensional and its adjoint action on $\mathfrak{h}$ is zero.

The relevant Euclidean subspace of a Cartan subalgebra iswhere the $h_{{\alpha }_i}$ are the simple coroots, normalized by ${\alpha }_i(h_{{\alpha }_i})=2$. The standard Euclidean property is that $\kappa$ is real and positive definite on this space. The displayed trace formula explains it: $\kappa (h,h)$ is a sum of real squares, and the roots span ${\mathfrak{h}}^{\ast }$, so all squares vanish only for $h=0$. Via the nondegenerate form, the roots can consequently be regarded as vectors in a real Euclidean normed vector space. The induced dual inner product makes root reflections orthogonal and allows root lengths and angles to be encoded by Cartan integers and the Dynkin diagram.

This positivity is on a specified real subspace; the complex Killing form is a bilinear form, not a positive Hermitian inner product. On a compact real form the Killing form is instead negative definite. For example the Killing form of the special linear Lie algebra gives $\kappa (X,Y)=4\mathrm{tr}(XY)$ for ${\mathfrak{sl}}_2$, so $\kappa (L_0,L_0)=8$ but $\kappa (i{L}_0,i{L}_0)=-8$.

Use the wiki's Cartan matrix conventionLabel the long simple root first when the lengths differ. The matrix of an irreducible rank-two root system has the form $A=\left(\begin{array}{cc}2& -a\\ -b& 2\end{array}\right)$, where $a,b$ are positive integers. Integrality and the signs follow from the Cartan integers for distinct simple roots, and irreducibility rules out a zero off-diagonal pair. Its positive-definite symmetrization gives $ab<4$, equivalently $ab=4{\cos }^2\theta <4$. Moreover $a/b=\Vert {\alpha }_1{\Vert }^2/\Vert {\alpha }_2{\Vert }^2\ge 1$. Thus $(a,b)=(1,1),(2,1),(3,1)$, giving the entire classification of rank-two root systems relevant to a simple algebra:These correspond to ${\mathfrak{sl}}_3(\mathbb{C})$, ${\mathfrak{so}}_5(\mathbb{C})\cong {\mathfrak{sp}}_4(\mathbb{C})$, and the exceptional algebra ${\mathfrak{g}}_2$. Here $B_2=C_2$ denotes the Isomorphism between so5 and sp4, not an additional case. The disconnected $A_1\times A_1$ system corresponds to a semisimple but nonsimple algebra and is excluded.

The Dynkin diagrams, with nodes in the same order as the matrices, areThe second and third diagrams have two and three bonds respectively, with the arrowhead pointing to the short root ${\alpha }_2$. In the last diagram $\equiv$ draws the three bonds and $>$ their arrowhead.

To enumerate roots, use the standard root string theorem: for $\beta \ne \pm \alpha$, the roots $\beta +n\alpha$ are consecutive from $\beta -p\alpha$ through $\beta +q\alpha$, with $p-q=⟨\beta ,{\alpha }^{\vee }⟩$. Also use the standard results that the root system is reduced, every root is conjugate under the Weyl group to a simple root, and each root space has dimension one.

Write $m=a\in \{1,2,3\}$. Since a difference of simple roots is not a root, the ${\alpha }_2$-string starting at ${\alpha }_1$ has $p=0$ and $q=m$. It produces ${\alpha }_1,{\alpha }_1+{\alpha }_2,\dots ,{\alpha }_1+m{\alpha }_2$. The ${\alpha }_1$-string starting at ${\alpha }_2$ has $q=1$. In type $G_2$, the further string through $\beta ={\alpha }_1+3{\alpha }_2$ hasand $\beta -{\alpha }_1=3{\alpha }_2$ is not a root, so it also produces $2{\alpha }_1+3{\alpha }_2$. The resulting positive roots areAll roots are these and their negatives. To check completeness, the simple root reflections act on coordinates byEach listed set together with its negatives is stable under both reflections. It contains the simple roots and consists of roots already forced by strings. Since every root lies in a Weyl orbit of a simple root, no other roots can occur. This proves the lists for the A2 root system, B2 root system, and G2 root system. The root-space decomposition then gives

For the restriction to a sl2 subalgebra associated with a root, normalize its Cartan element to be $h_{\alpha }={\alpha }^{\vee }$. On a root vector of root $\beta$, its eigenvalue is $⟨\beta ,{\alpha }^{\vee }⟩$. The classification of finite-dimensional sl2 representations says that $R(\Lambda )$ has weights $\Lambda ,\Lambda -2,\dots ,-\Lambda$ and dimension $\Lambda +1$. A root string of $\Lambda +1$ nonparallel roots therefore supplies one such irreducible module: the raising and lowering brackets connect its consecutive root spaces.

For clarity, the positive-side strings for each simple-root direction are listed below. Brackets denote the whole consecutive string; a single listed root is a string of length one. In every row also include each negative string in reverse order, and separately the triple formed by the root ${\alpha }_i$, its negative, and $h_{{\alpha }_i}$.The root's own triple is always $R(2)$. The one-dimensional subspace of $\mathfrak{h}$ annihilated by ${\alpha }_i$ commutes with this subalgebra and gives $R(0)$. Each singleton root in the table, and its negative, contributes another $R(0)$. Reading the other string lengths now gives the adjoint branching to root sl2 subalgebras in rank two:Their dimensions are respectively $8,10,10,14,14$. The last row agrees with G2 adjoint branching to a short-root sl2 subalgebra. All labels in the table are highest weights, rather than dimensions.

A finite root system in a real Euclidean vector space $E$ is a finite spanning set $\Phi \subset E\setminus \{0\}$ such that, for every $\alpha \in \Phi$, the root reflectionpreserves $\Phi$, and the Cartan integer $2(\beta ,\alpha )/(\alpha ,\alpha )$ is an integer for all $\alpha ,\beta \in \Phi$. It is reduced when the only scalar multiples of $\alpha$ in $\Phi$ are $\alpha$ and $-\alpha$. Its Weyl group is the subgroup of the orthogonal group generated by the reflections $s_{\alpha }$. A base of a root system $\Delta$ is a basis of $E$ such that every root is an integer combination of elements of $\Delta$ whose nonzero coefficients all have the same sign.

The coroot of $\alpha$ isLet $C$ be the Weyl chamber determined by $\Delta$:The roots $\alpha$ and ${\alpha }^{\vee }$ are positive scalar multiples, so their reflecting hyperplanes and their positive half-spaces are identical. The same chamber $C$ therefore defines positivity in the coroot system ${\Phi }^{\vee }$. Its walls correspond exactly to the rays ${\mathbb{R}}_{>0}{\alpha }^{\vee }$ for $\alpha \in \Delta$. Hence its simple roots arewhich is therefore a base of ${\Phi }^{\vee }$.

For a root reflection on the weight lattice, $s_{\alpha }\lambda =\lambda -m\alpha$ with $m=\lambda (H_{\alpha })\in \mathbb{Z}$. A finite anti-invariant element of the group ring of a weight lattice is a sum of terms $a_{\lambda }[e(\lambda )-e(s_{\alpha }\lambda )]$; fixed weights have zero coefficient. Each pair is divisible by $1-e(\alpha )$, because $1-t^m$ is divisible by $1-t$ in $\mathbb{Z}[t,t^{-1}]$ for every integer $m$. Thus the quotient has finite support.

The formal expression $({\sum }_{n\ge 0}e(n\alpha ))u$ is interpreted coefficientwise. Along each coset of $\mathbb{Z}\alpha$, only finitely many coefficients of $u$ are nonzero and their total is zero by reflection anti-invariance. Partial coefficient sums therefore vanish before and after that finite interval. The result has finite support, even though the individual summands $e(n\alpha )u$ do not eventually vanish.

// Target: lie-algebra.bigb

A root subsystem of a root system $\Phi$ is a subset that is itself a root system in its real span. In particular, if a subspace $F$ is spanned by roots, $\Phi \cap F$ is a full root subsystem: root reflections in its roots preserve both $\Phi$ and $F$. Reflection-generated subsystems need not contain every ambient root in their span. A pair is a simple root basis only when every subsystem root has integral coordinates of one sign in that pair; merely choosing two independent roots is insufficient.