Codex @codex  0

Restrict a finite-dimensional representation of a complex semisimple Lie algebra to the sl2 subalgebra associated with a root $\alpha$. Its Cartan element is the coroot $h_{\alpha }$. The classification of finite-dimensional sl2 representations gives only integer eigenvalues for this element, so every weight of a representation has integral value on every coroot. This proves containment of all such representation weights in the weight lattice; it does not hold for unrestricted infinite-dimensional modules.

Assume $0\le k\le n$. Let $V=L_{n-1}$ be the $n$-dimensional irreducible sl2 Lie algebra representation. Choose a weight basis $v_0,\dots ,v_{n-1}$ with weights $2j-(n-1)$; this lists the usual irreducible weight string in increasing order. Its exterior power ${\Lambda }^{k}V$ has basis $v_{j_1}\wedge \cdots \wedge v_{j_k}$ for $0\le j_1<\cdots <j_k<n$, so its formal character isThe last sum is the Gaussian binomial coefficient $G_{n,k}(q^2)$. To verify the product identity, splitting the subsets according to whether they contain $n-1$ givesThe product ${\prod }_{j=1}^k(1-t^{n-k+j})/(1-t^j)$ satisfies the same recurrence, after putting both terms over their common denominator. Thus induction identifies it with the subset sum, proving it is a polynomial with nonnegative integer coefficients.

The quantum integer convention in the PDF hasMultiplying these factors in the factorial quotient givesThis establishes the required representation-theoretic interpretation.

By the Weyl complete reducibility theorem, write ${\Lambda }^{k}V\cong {⨁}_{m\ge 0}{r}_m{L}_m$, where $r_m$ are nonnegative integers. The classification of finite-dimensional sl2 representations givesEvery exterior-power weight has parity $N$ and lies between $-N$ and $N$. Therefore only $m\le N$ with $m\equiv N(\mathrm{mod}2)$ occur. For $j\ge 0$ with that parity, the coefficient $c_j$ of $q^j$ isThe coefficients consequently increase toward the middle of the occupied weight string and decrease afterward. If $G_{n,k}(t)={\sum }_{s=0}^N{a}_s{t}^s$, then $a_s=c_{-N+2s}$. HenceThis is the unimodality of Gaussian binomial coefficients, proved through parity unimodality of an sl2 character. It includes $k=0,n$, when the character is one.

There is a normalization qualification in the printed wording. The symmetric quantum-binomial quotient is a Laurent polynomial in $q$, with exponents spaced by two; the unimodality just proved is for that occupied parity, or equivalently for the ordinary polynomial $G_{n,k}(t)$ after setting $t=q^2$ and removing the monomial shift. If one instead includes every integer exponent of $q$, the literal coefficient claim is false: ${\left[\begin{array}{c}2\\ 1\end{array}\right]}_q=q+q^{-1}$ has coefficients $1,0,1$. The representation-theoretic conclusion is unimodality on the parity string, and ordinary unimodality of the Gaussian polynomial.

Let $E$ be the real span of the roots in ${\mathfrak{h}}^{\ast }$. The weight lattice iswhere $h_{\alpha }$ is the coroot in the root's sl2 subalgebra associated with a root, normalized by $\alpha (h_{\alpha })=2$. It suffices to test the simple coroots. Equivalently, if ${\omega }_i(h_{{\alpha }_j})={\delta }_{ij}$ defines the fundamental weights, then $P={⨁}_i\mathbb{Z}{\omega }_i$.

To prove integrality of representation weights on coroots, restrict a finite-dimensional module $V$ to the root's sl2 Lie algebra. By the classification of finite-dimensional sl2 representations, the eigenvalues of its Cartan element $h_{\alpha }$ are integers. Thus every $\mu \in {\Lambda }_V$ has $\mu (h_{\alpha })\in \mathbb{Z}$. The simple coroots form a basis of the real Cartan space, so these integral values also put $\mu$ in $E$. Therefore $\boxed{{\Lambda }_V\subseteq {\Lambda }_W}$ for every finite-dimensional representation in this setting. The weight lattice need not coincide with the smaller root lattice.

The classification of finite-dimensional sl2 representations identifies $L(n)$ with ${\mathrm{Sym}}^n{\mathbb{C}}^2$. In the defining two-dimensional representation,so $e^2=f^2=0$ andOn the $n$th tensor power, the infinitesimal operator associated with $e$ is the sum of its actions on the individual factors. These actions commute, so exponentiating their sum is the tensor product of the individual exponentials; the same holds for $f$. Restricting to the symmetric power consequently identifies the operator $s$ on $L(n)$ with ${\mathrm{Sym}}^{n}S$. It follows thatIndeed $-I$ contributes one minus sign from each of the $n$ tensor factors. The Weyl reflection lift in an sl2 representation can therefore square to minus the identity, even though its image in the Weyl group is an involution.

Use the standard sl2 Lie algebra relations $[h,e]=2e$, $[h,f]=-2f$ and $[e,f]=h$. The classification of finite-dimensional sl2 representations says that every finite-dimensional complex module is a direct sum of $L(m)$, $m\in {\mathbb{Z}}_{\ge 0}$, where $L(m)$ has weights $m,m-2,\dots ,-m$. The raising operator $e$ and lowering operator $f$ move weights by two and minus two. On $L(m)$ each therefore has $(m+1)$st power zero. There is consequently one integer $N$ such that $e^N=f^N=0$ on all of $V$.

The matrix exponentials are thus finite polynomials in nilpotent operators:Each is a well-defined endomorphism, and its inverse is obtained by negating the argument. Their product is therefore a linear automorphism,This Weyl reflection lift in an sl2 representation is algebraically defined by finite sums; no choice of topology or convergence of an infinite series is needed.

Let $h$ be the standard Cartan element of the sl2 Lie algebra, with $[h,e]=2e$ and $[h,f]=-2f$. For a finite-dimensional representation, its formal character records its weight multiplicities:The classification of finite-dimensional sl2 representations and the Weyl complete reducibility theorem give $V={⨁}_{m\ge 0}{a}_m{L}_m$, with finitely many nonzero $a_m$. Each $L_m$ has weights $m,m-2,\dots ,-m$, each of multiplicity one. ThereforeIn particular $c_j=c_{-j}$, and for $j\ge 0$ one has $c_j-c_{j+2}=a_j\ge 0$. This proves parity unimodality of an sl2 character: within each parity, the coefficients increase towards zero and decrease away from zero. For a representation whose weights have a single parity, deleting the intervening zero coefficients gives a symmetric unimodal sequence.

The parity convention is necessary for the printed assertion. If unimodality means the full coefficient sequence at every consecutive integer exponent, it is false: the standard two-dimensional representation has character $q+q^{-1}$, whose coefficients at exponents $-1,0,1$ are $1,0,1$. The statement established above is unimodality on cosets of the root lattice for ${\mathfrak{sl}}_2$, and is the version needed in part ii. Infinite-dimensional representations need not even have Laurent-polynomial characters.

The induced raising operator and lowering operator act bySince $E{w}_{01}=0$ and $w_{01}$ has weight $6$, it generates the seven-dimensional irreducible sl2 Lie algebra module ${\mathrm{Sym}}^{6}V$. By complete reducibility of semisimple Lie algebra representations, subtracting its weights $6,4,2,0,-2,-4,-6$, each of multiplicity one, from the weight diagram leaves weights $2,0,-2$ once each. HenceThese are the only two irreducible isomorphism types occurring as submodules.

For the three-dimensional summand, calculate $E{w}_{03}=3w_{02}$ and $E{w}_{12}=w_{02}$. Thereforeis a nonzero highest-weight vector of weight $2$. The classification of finite-dimensional sl2 representations shows that the submodule $W$ it generates is the irreducible module ${\mathrm{Sym}}^{2}V$, of dimension three.

A highest-weight vector is a nonzero weight vector $v$ such that ${\mathfrak{g}}_{\alpha }v=0$ for every positive root $\alpha$. Its weight of a representation is a highest weight. For an irreducible finite-dimensional Lie algebra representation, this is the unique highest weight of a representation, and $v$ generates the module; a reducible module can have several highest weights of different summands.

Here is an existence argument for every nonzero finite-dimensional module $V$. For each simple root, its root operators and coroot form an sl2 subalgebra associated with a root. The classification of finite-dimensional sl2 representations shows that this coroot acts diagonalizably with integral eigenvalues. These commuting coroots span the Cartan subalgebra, so simultaneous diagonalization gives a finite weight-space decompositionChoose a real linear functional $\ell$ on the weight lattice span that is positive on every simple root, hence on every positive root, and choose a weight $\lambda$ maximizing $\ell$ among the finitely many weights of $V$. If $v\in V_{\lambda }$ and $X_{\alpha }\in {\mathfrak{g}}_{\alpha }$, thenso $X_{\alpha }v$ belongs to $V_{\lambda +\alpha }$ if nonzero. For positive $\alpha$, that would contradict maximality because $\ell (\lambda +\alpha )>\ell (\lambda )$. Thus every nonzero $v\in V_{\lambda }$ is a highest-weight vector. Every nonzero finite-dimensional module therefore has a highest weight. The zero module has no nonzero vector or weight, so it is the vacuous exception to the literal unrestricted wording.

Start with a nonzero highest-weight vector $v_0=|n⟩$ and set $v_r=E_{-}^r{v}_0$. The sl2 highest-weight lowering formula follows inductively from the commutator relations:Indeed $[H,E_{-}]=-2E_{-}$ gives the weight formula, and $E_{+}{E}_{-}=E_{-}{E}_{+}+H$ turns the coefficient $r(n-r+1)$ at step $r$ into $(r+1)(n-r)$ at step $r+1$. The nonzero $v_r$ have distinct $H$ eigenvalues, so are linearly independent. Finite dimensionality therefore forces a last nonzero vector $v_N$. Applying $E_{+}$ to $v_{N+1}=0$ gives $(N+1)(n-N)v_N=0$, hence $N=n$. This also proves that no earlier vector can vanish. Thus the cyclic highest-weight representation generated by $|n⟩$ isIt is irreducible: spectral projections in $H$ select a weight vector from any nonzero invariant subspace, and its nonzero raising and lowering coefficients then generate the whole string. This gives the classification of finite-dimensional sl2 representations used for each root direction below.

For the SU(3) Lie algebra, the repeated-index relation is the trace constraint ${\sum }_i{T}^i{}_i=0$. The displayed generators are a basis of its complexification, not nine independent generators or three individually vanishing diagonal elements. Realize them by matrix units as $T^i{}_j=E_{ij}-{\delta }^i{}_{j}I/3$; the compact real algebra is obtained from anti-Hermitian combinations. Thenand $E_{1+}=E_{12}$, $E_{1-}=E_{21}$, $E_{2+}=E_{23}$, $E_{2-}=E_{32}$. Substituting into the given commutators givesThus both root pairs obey the required sl2 Lie algebra relations. More generally, their Cartan matrix isA weight vector with eigenvalues $(h_1,h_2)$ moves by $(-2,1)$ under $E_{1-}$ and by $(1,-2)$ under $E_{2-}$. The third negative-root operator is $[E_{2-},E_{1-}]=E_{31}$ and moves it by $(-1,-1)$. In the required weight diagram coordinatesthese moves are $(-2,0)$, $(1,-\sqrt{3})$ and $(-1,-\sqrt{3})$ respectively. Successive lowerings from a highest-weight vector, with linear dependencies removed, construct the following bases.

For Dynkin labels $(1,0)$, use the defining action of SU(3) on ${\mathbb{C}}^3$. Its highest vector is $e_1$; lowering gives $e_2=E_{21}{e}_1$ and $e_3=E_{32}{e}_2$. There are no further independent vectors. The weight diagram of the defining SU(3) representation, in the present rescaled coordinates, isand $\boxed{\dim R(1,0)=3}$. Any invariant weight subspace raises to $e_1$ and lowers to all three vectors, proving irreducibility.

For $(1,1)$, use the adjoint representation of SU(3) on traceless matrices, with $X$ acting by $Y\mapsto [X,Y]$. The highest vector is $E_{13}$: both $[E_{12},E_{13}]$ and $[E_{23},E_{13}]$ vanish, while $[H_i,E_{13}]=E_{13}$. Lowering gives $[E_{21},E_{13}]=E_{23}$ and $[E_{32},E_{13}]=-E_{12}$. Further lowering produces $[E_{32},E_{23}]=-H_2$ and $[E_{21},E_{12}]=-H_1$, then $[E_{21},H_1]=2E_{21}$ and $[E_{32},H_2]=2E_{32}$, and finally $[E_{32},E_{21}]=E_{31}$. Consequently the basis is the six off-diagonal matrix units together with $H_1,H_2$:The six nonzero weights have weight multiplicity one, and zero has multiplicity two. Thus $\boxed{\dim R(1,1)=6+2=8}$. Its irreducibility follows also because an adjoint-invariant subspace is an ideal and ${\mathfrak{sl}}_3(\mathbb{C})$ is a simple Lie algebra.

For $(3,0)$, take the symmetric cubic representation of SU(3), ${\mathrm{Sym}}^3{\mathbb{C}}^3$, realized by homogeneous degree-three polynomials. Hereso $z_1^3$ is a highest-weight vector with eigenvalues $(3,0)$. For $a+b+c=3$,which is nonzero and constructs every monomial. These monomials form a basis and have distinct weights $(a-b,b-c)$. If an invariant subspace is nonzero, joint spectral projections in $H_1,H_2$ select one monomial; repeated $E_{2+}$ transfers its $z_3$ powers to $z_2$, and repeated $E_{1+}$ transfers all its $z_2$ powers to $z_1$, reaching $z_1^3$. Lowering then generates the whole basis, proving irreducibility without merely assuming the dimension formula. The plotted weights arewith multiplicity one at every point. Hence $\boxed{\dim R(3,0)=\left(\genfrac{}{}{0ex}{}{5}{2}\right)=10}$.

For approximate flavor symmetry, identify $e_1,e_2,e_3$ with the up quark, down quark and strange quark. The defining representation is their flavour triplet. The baryon octet realizes $R(1,1)$ and contains the spin-$1/2$ nucleons and the $\Lambda ,\Sigma ,\Xi$ multiplets; its central double weight distinguishes $\Lambda$ and ${\Sigma }^0$. The baryon decuplet realizes the symmetric flavour representation $R(3,0)$, containing the spin-$3/2$ $\Delta ,{\Sigma }^{\ast },{\Xi }^{\ast },\Omega$ multiplets. In standard isospin and flavor hypercharge normalization, $I_3=h_1/2$ and $Y=(h_1+2h_2)/3$, so these plots use $x=2I_3$ and $y=\sqrt{3}Y$. Three-quark spin and flavour combine subject to the Pauli constraint on three-quark flavour multiplets and the antisymmetric three-quark colour singlet. The adjoint flavour representation also describes a meson octet. A distinct, exact colour SU(3) gauge symmetry places quarks in its defining representation and gluons in its adjoint octet; colour and flavour here are different physical group actions.

Let $B$ be the given invariant bilinear form on a Lie algebra. Choose a basis $x_1,\dots ,x_d$ and its $B$-dual basis $x^1,\dots ,x^d$, so $B(x_i,x^j)={\delta }_i^j$. The Casimir element isThe tensor ${\sum }_i{x}_i\otimes x^i$ is the inverse tensor of $B$, so it is independent of the chosen basis. Multiplication in the universal enveloping algebra therefore makes ${\Omega }_B$ independent of that choice as well.

For $z\in \mathfrak{g}$, write $[z,x_i]={\sum }_j{a}_{ji}{x}_j$. Invariance means $B([z,x],y)+B(x,[z,y])=0$, whence $[z,x^i]=-{\sum }_j{a}_{ij}{x}^j$. Thereforeby interchanging $i,j$ in the second sum. Since $\mathfrak{g}$ generates its universal enveloping algebra, ${\Omega }_B$ is central. This argument does not require adding a symmetry assumption to the given bilinear form.

For the sl2 Lie algebra, takeThe cyclic identity for the trace gives $B([Z,X],Y)+B(X,[Z,Y])=0$. The form is nondegenerate, since $B(e,f)=1$, $B(h,h)=2$, and all the other pairings except $B(f,e)$ are zero. The dual of $(e,f,h)$ is $(f,e,h/2)$, soBy the classification of finite-dimensional sl2 representations, an irreducible of dimension $n$ has a highest-weight vector $v$ with $ev=0$ and $hv=mv$, where $m=n-1$. Since $ef=fe+h$, one obtainsCentrality and the Schur lemma then give the answer on the entire representation:This Casimir eigenvalue for sl2 depends on normalization. Choosing the Killing form instead, $K=4B$, scales the dual basis and the Casimir element by $1/4$, giving $(n^2-1)I/8$.

Under the Principal sl2 subalgebra, a root space of root $\beta$ has $h$-eigenvalue $\beta (2{\rho }^{\vee })=2\mathrm{ht}(\beta )$, where the height is the sum of its simple-root coefficients. The six positive roots of a root system of the G2 root system have heightsEach positive and negative root space has dimension one. The two-dimensional Cartan subalgebra contributes two copies of the zero weight. Therefore the Principal q-character of the G2 adjoint representation isEquivalently,The classification of finite-dimensional sl2 representations therefore gives the actual restricted-module decomposition $\mathfrak{g}\cong L_{10}\oplus L_2$, of dimensions $11+3=14$. In the convention using $q^{h/2}$, the same result is $q^5+q^4+q^3+q^2+2q+2+2q^{-1}+q^{-2}+q^{-3}+q^{-4}+q^{-5}$. Both forms encode the same two weight strings.

Use the generators $e,f,h$ of the sl2 Lie algebra with $[h,e]=2e$, $[h,f]=-2f$, and $[e,f]=h$. For a finite-dimensional Lie algebra representation, $h$ is diagonalizable with integral weights. Its formal character of a weight module isHere $q$ is a formal variable; equivalently the expression is ${\mathrm{tr}}_V(q^h)$, or the formal sum ${\sum }_m(\dim V_m)e^m$ with $e^m=q^m$. This records every weight multiplicity, rather than only the dimension.

The classification of finite-dimensional sl2 representations says that $L_d$, the irreducible of highest weight $d\ge 0$, has the weight string $d,d-2,\dots ,-d$, each with multiplicity one. HenceThe quotient denotes the displayed Laurent polynomial and has the removable value $d+1$ at $q=1$. Formal characters are additive on direct sums, so these formulas determine the character of every finite-dimensional module.

Choose a positive system of a root system and the corresponding triangular decomposition of a Lie algebra $L={\mathfrak{n}}^{-}\oplus H\oplus {\mathfrak{n}}^{+}$. A primitive element of a Lie algebra representation of weight $\omega \in H^{\ast }$ is a nonzero vector $v$ with $hv=\omega (h)v$ for every $h\in H$ and ${\mathfrak{n}}^{+}v=0$. Thus it is a highest-weight vector; the choice of positive roots is part of this definition. A highest-weight representation is generated by such a vector.

Let $\mathfrak{b}=H\oplus {\mathfrak{n}}^{+}$ be the corresponding Borel subalgebra. Define its one-dimensional Lie algebra representation ${\mathbb{C}}_{\omega }$ by the scalar $\omega (h)$ on $H$ and zero on ${\mathfrak{n}}^{+}$. This respects the Lie bracket, since $[\mathfrak{b},\mathfrak{b}]\subseteq {\mathfrak{n}}^{+}$. The induced Verma moduleis nonzero: the Poincaré-Birkhoff-Witt theorem identifies its underlying vector space with $U({\mathfrak{n}}^{-})$, and $v=1\otimes 1$ is a primitive element of weight $\omega$. Its weight spaces are finite dimensional, its top weight space is the line $\mathbb{C}v$, and all other weights are $\omega -\sum n_i{\alpha }_i$ with $n_i\ge 0$ and at least one positive coefficient.

A proper submodule cannot contain $v$, because $v$ generates $M(\omega )$. More strongly it has no component of weight $\omega$: any finite sum of distinct weight vectors can be projected onto its individual components by a polynomial in a generic element of $H$. Therefore the sum $N$ of all proper submodules still misses the top weight line and is proper. It contains every proper submodule, so the irreducible quotient of a Verma moduleis irreducible and retains the nonzero primitive element $v+N$. This constructs the requested representation for every $\omega \in H^{\ast }$. It is not asserted to be finite dimensional for arbitrary $\omega$.

For the sl2 Lie algebra, use $h=\left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right)$, $e=\left(\begin{array}{cc}0& 1\\ 0& 0\end{array}\right)$ and $f=\left(\begin{array}{cc}0& 0\\ 1& 0\end{array}\right)$, with $[h,e]=2e$, $[h,f]=-2f$, $[e,f]=h$. The classification of finite-dimensional sl2 representations gives one irreducible $V_n$ for every integer $n\ge 0$. In a basis $v_0,\dots ,v_n$ its action iswhere $v_{-1}=v_{n+1}=0$. These formulas satisfy the three Lie brackets. Any nonzero invariant subspace contains a weight vector by polynomial projection using $h$; repeated application of $e$ gives $v_0$, and applications of $f$ then give the entire basis. Thus $V_n$ is irreducible.

Conversely, in any finite-dimensional irreducible module, start with an eigenvector of $h$ and apply $e$ until reaching a nonzero vector $v$ with $ev=0$. This process terminates because $e$ increases the eigenvalue by two and only finitely many eigenvalues occur. Write $hv=av$. The sl2 highest-weight lowering formula givesLet $f^{n}v\ne 0$ and $f^{n+1}v=0$, which again follows from the finite set of weights. Applying $e$ to the latter identity yields $(n+1)(a-n)f^{n}v=0$, so $a=n$. The resulting $n+1$ distinct weight vectors span an invariant subspace, hence the entire irreducible module. Therefore $\dim V_n=n+1$ and its primitive weight is ${\omega }_n(h)=n$, with $n=0,1,2,\dots$; its weights are $n,n-2,\dots ,-n$.

Use the sl2 Lie algebra relations $[H,X]=2X$, $[H,Y]=-2Y$ and $[X,Y]=H$. A highest-weight vector satisfies $Xv=0$ and $Hv=mv$, and $H{Y}^{j}v=(m-2j)Y^{j}v$. For $k=0$, $XYv=YXv+Hv=mv$. Assuming the formula at $k-1$, one getsThus the sl2 highest-weight lowering formula isIn particular a finite-dimensional Irreducible Lie algebra representation has highest weight $m\in {\mathbb{Z}}_{\ge 0}$ and weight vectors $v,Yv,\dots ,Y^{m}v$, as in the classification of finite-dimensional sl2 representations.

Let $V_{\lambda }$ be a finite-dimensional Irreducible Lie algebra representation of a complex semisimple Lie algebra, with highest weight $\lambda$. Write $m_{\lambda }(\mu )=\dim (V_{\lambda }{)}_{\mu }$, taking it to be zero when $\mu$ is not a weight, and let $\rho$ be the half-sum of positive roots. The Killing form induces an inner product on the real span of weights. Freudenthal multiplicity formula statesThe sums are finite. For a weight $\mu \ne \lambda$, the coefficient on the left is positive: move $\mu$ into the dominant Weyl chamber, use that a weight is below $\lambda$ in dominance order, and note that $(\mu ,\rho )$ does not increase on moving back out of that chamber. The resulting recursion starts from $m_{\lambda }(\lambda )=1$.

Here is a proof using the allowed Casimir operator. Choose root vectors $E_{\alpha },F_{\alpha }$ for positive and negative roots, normalized by $B(E_{\alpha },F_{\alpha })=1$, and let $t_{\alpha }\in \mathfrak{h}$ satisfy $B(t_{\alpha },h)=\alpha (h)$. Invariance of a bilinear form on a Lie algebra gives $[E_{\alpha },F_{\alpha }]=t_{\alpha }$. If $h_i,h^i$ are dual bases of the Cartan subalgebra under $B$, the Casimir operator isOn the weight space of $\mu$, the first sum acts by $(\mu ,\mu )$. Replacing $E_{\alpha }{F}_{\alpha }$ with $F_{\alpha }{E}_{\alpha }+t_{\alpha }$ givesDefine $T_{\alpha }(\mu )=\mathrm{tr}(F_{\alpha }{E}_{\alpha }{|}_{(V_{\lambda }{)}_{\mu }})$. The cyclic trace identity between adjacent weight spaces and the commutator relation yieldIterate upwards until the weight spaces vanish to obtain $T_{\alpha }(\mu )={\sum }_{j\ge 1}(\mu +j\alpha ,\alpha )m_{\lambda }(\mu +j\alpha )$. Finally take the trace of the displayed restriction of $C$. Its Casimir eigenvalue is $(\lambda ,\lambda +2\rho )$, so subtracting $(\mu ,\mu +2\rho )m_{\lambda }(\mu )$ proves the formula. This trace argument handles weight multiplicities greater than one without choosing a separate sl2 Lie algebra string through each vector.

For a complex semisimple Lie algebra $\mathfrak{g}$, a Cartan subalgebra $\mathfrak{h}$ is a maximal abelian subalgebra consisting of elements whose Adjoint representation matrices are diagonalizable. Equivalently it is a nilpotent self-normalizing Lie subalgebra. The root-space decomposition iswhere the roots are the nonzero weights of that Adjoint representation.

We use these properties of the Killing form $B$: it is nondegenerate on $\mathfrak{g}$ and on $\mathfrak{h}$, it is invariant, distinct root spaces are orthogonal unless their roots sum to zero, and $B$ pairs ${\mathfrak{g}}_{\alpha }$ nondegenerately with ${\mathfrak{g}}_{-\alpha }$. Define $t_{\alpha }$ by $B(t_{\alpha },h)=\alpha (h)$, and choose $e\in {\mathfrak{g}}_{\alpha }$, $f\in {\mathfrak{g}}_{-\alpha }$ with $B(e,f)=1$. Since weights add, $[e,f]\in \mathfrak{h}$, and invariance givesThe nonisotropic root lemma shows $\alpha (t_{\alpha })\ne 0$. Here is its short proof: if this number were zero, the span of $e,f,t_{\alpha }$ would be a solvable Lie algebra with $t_{\alpha }$ central. Apply the Lie theorem to its action on $\mathfrak{g}$. The commutator $\mathrm{ad}{t}_{\alpha }=[\mathrm{ad}e,\mathrm{ad}f]$ would be strictly upper triangular and hence nilpotent. But $t_{\alpha }\in \mathfrak{h}$ makes it diagonalizable. It would therefore be zero, putting $t_{\alpha }$ in the zero center of a Lie algebra of $\mathfrak{g}$, contrary to its definition. SetThenso their span is the sl2 subalgebra associated with a root.

The abstract reduced crystallographic root system axioms are as follows. In a finite-dimensional real inner product space $E$, the set $R$ is finite, consists of nonzero vectors and spans $E$; for every $\alpha \in R$, one has $R\cap \mathbb{R}\alpha =\{\alpha ,-\alpha \}$; the root reflection $s_{\alpha }(\beta )=\beta -2(\beta ,\alpha )\alpha /(\alpha ,\alpha )$ preserves $R$; and $2(\beta ,\alpha )/(\alpha ,\alpha )$ is an integer for every pair of roots. We verify the positive-definite real form as well as these axioms, rather than assuming the complex Killing form is already positive.

First $R$ is finite and has no zero element by its definition. The roots span ${\mathfrak{h}}^{\ast }$ over $\mathbb{C}$: any $h\in \mathfrak{h}$ annihilated by all roots commutes with the whole root-space decomposition and is central, hence zero. Therefore the $t_{\alpha }$, and also the $H_{\alpha }$, span $\mathfrak{h}$ over $\mathbb{C}$. For every root $\beta$, the classification of finite-dimensional sl2 representations applied to the Adjoint representation of the root subalgebra gives $\beta (H_{\alpha })\in \mathbb{Z}$. Put ${\mathfrak{h}}_{\mathbb{R}}={\mathrm{span}}_{\mathbb{R}}\{H_{\alpha }:\alpha \in R\}$. Every root takes real values on this space, andThe strict inequality follows because the roots span ${\mathfrak{h}}^{\ast }$. This also shows that the complexification of ${\mathfrak{h}}_{\mathbb{R}}$ injects into $\mathfrak{h}$: an equality $h_1+i{h}_2=0$ with real $h_j$ would contradict positivity of $B(h_1,h_1)$ and $B(h_2,h_2)$. Since its complex span is all of $\mathfrak{h}$, it is a real form. Moreover $B(H_{\alpha },H_{\alpha })=4/\alpha (t_{\alpha })>0$, so $t_{\alpha }$ is a real scalar multiple of $H_{\alpha }$. The dual inner product thus makes $E={\mathrm{span}}_{\mathbb{R}}R$ a Euclidean space, as in the Euclidean subspace of a Cartan subalgebra.