--- abstract: 'We study Lie algebras generated by extremal elements (i.e., elements spanning inner ideals of $L$) over a field of characteristic distinct from 2. We prove that any Lie algebra generated by a finite number of extremal elements is finite dimensional. The minimal number of extremal generators for the Lie algebras of type $A_n$ $(n\ge1)$, $B_n$ $(n\ge3)$, $C_n$ $(n\ge2)$, $D_n$ $(n\ge4)$, $E_n$ $(n=6,7,8)$, $F_4$ and $G_2$ are shown to be $n+1$, $n+1$, $2n$, $n$, 5, 5, and 4 in the respective cases. These results are related to group theoretic ones for the corresponding Chevalley groups.' author: - 'Arjeh M. Cohen, Anja Steinbach, Rosane Ushirobira, David Wales' title: Lie algebras generated by extremal elements --- Introduction ============ Let $k$ be a field of characteristic not $2$, and $L$ a Lie algebra over $k$. We study the rôle of <span>*extremal*</span> elements in $L$, that is, those $x\in L$ with $[x,[x,L]]\subseteq kx$. Since an inner ideal of $L$ is by definition (@Ben) a linear subspace $I$ of $L$ such that $[I,[I,L]]\subseteq I$, this amounts to $kx$ being an inner ideal. By ${{\mathcal{E}}}$ or, if necessary to express dependence on $L$, by ${{\mathcal{E}}}(L)$, we shall denote the set of all nonzero extremal elements of $L$. We are mostly interested here in Lie algebras generated by extremal elements. The motivation stems from the fact that long root elements are extremal in Lie algebras of Chevalley type (i.e., those Lie algebras over $k$ that are given by the multiplication table of a Chevalley basis, coming from a simple Lie algebra in characteristic 0). They were used by Chernousov @Che in his proof of the Hasse principle for $E_8$. The associated root groups were studied in a more abstract group theoretic setting in @Tim2. Sandwiches, that is, elements $x\in L$ with $[x,[x,L]] = 0$ are extremal elements of a special kind; they are prominent in the classification of finite dimensional simple modular Lie algebras over algebraically closed fields of characteristics 5 and 7 and could well be useful in a similar way for other positive characteristics, cf. @PrStr. We shall be particularly concerned with Lie algebras which are generated by a finite set of extremal elements. In §\[finsec\], we show that in this case the Lie algebra has finite dimension. For this we use the work of Zel'manov and Kostrikin @ZK. It follows from their results that there is a universal Lie algebra ${{\mathcal{L}}}_r$ generated by a finite number of sandwich elements $x_1,\ldots,x_r\in {{\mathcal{L}}}_r$; it is nilpotent and of finite dimension. This leads to the question of a description of these universal Lie algebras. Some information about these for small values of $r$ is given. Using functions arising from the definition of extremal elements, we are able to define an associative bilinear form $f$ on $L$. In particular, if $x\in{{\mathcal{E}}}$ and $y\in L$, then $[x,[x,y]]$ is a multiple of $x$ and so we can set $[x,[x,y]]=f(x,y)x$. In §\[bilsec\], we discuss the connection of $f$ with the Killing form, and give some information about the radical of this form. In §\[mingensec\], we determine the minimal number of generators by extremal elements for the Lie algebras of Chevalley type. Exponentiation by $\operatorname{ad}_x$ for $x$ an extremal element gives an automorphism of $L$. The group generated by these automorphisms satisfies some conditions defined by Timmesfeld @Tim2, which we discuss in §\[rootgrpsec\]. We gratefully acknowledge some extremely useful discussions with Gabor Ivanyos as well as computer verifications of our results on ${{\mathcal{L}}}_5$ by Willem de Graaf. General properties of elements {#genprop} ============================== \[3\] Throughout the remainder of this paper, $k$ is a field of characteristic distinct from 2 and $L$ is a Lie algebra over $k$. By linearity of $[x,[x,y]]$ in $y$, an element $x$ of $L$ is extremal if and only if there is a linear functional $f_x: y\mapsto f_x(y)$ on $L$ such that, for all $y\in L$, we have $$\label{exte} [x,[x,y]]= f_x(y) x.$$ Note that $f_x(y)=0$ if $x$ and $y$ commute. We also write $f(x,y)$ instead of $f_x(y)$. \[3.1\] If $x, y\in {{\mathcal{E}}}$ then $f_x(y)=f_y(x)$. By , $[y,[x,[x,y]]] = f_x(y) [y,x]$, but by Jacobi, antisymmetry, and , $$[y,[x,[x,y]]] = -[x,[[x,y],y]] -[[x,y],[y,x]]=-[x,[y,[y,x]]]=-f_y(x)[x,y].$$ This shows that the lemma holds if $x$ and $y$ do not commute. Otherwise, $f_x(y) = 0 = f_y(x)$. We give some general identities and properties. At least the first two rewriting rules go back to Premet, see @Che. \[ide\]\[3.2\] Let $x \in {{\mathcal{E}}}$. Then, for all $y, z \in L$, $$\begin{aligned} \label{ide1}2[[x,y],[x,z]] &=& f_x([y,z])x + f_x(z)[x,y] - f_x(y)[x,z],\\ \label{ide2}2[x,[y,[x,z]]]&=& f_x([y,z])x - f_x(z)[x,y] - f_x(y)[x,z].\end{aligned}$$ Let $y, z \in L$. Then $$[[x,y],[x,z]] = -[[y,[x,z]],x] -[[[x,z],x],y] = [x,[y,[x,z]]] + f_x(z) [x,y].$$ Similarly, interchanging $y$ and $z$, $$[[x,y],[x,z]] = - [x,[z,[x,y]]] - f_x(y)[x,z].$$ Furthermore, $$[x,[z,[x,y]]] = -[x,[x,[y,z]]] - [x,[y,[z,x]]] = -f_x([y,z]) x + [x,[y,[x,z]]].$$ Hence $$[[x,y],[x,z]] = [x,[y,[x,z]]] + f_x(z)[x,y],$$ $$[[x,y],[x,z]] = f_x([y,z])x - [x,[y,[x,z]]] - f_x(y) [x,z].$$ <span>From</span> this the two equations follow. \[rel\]\[3.3\] Let $x,y\in {{\mathcal{E}}}$ and $z \in L$. Then $$\label{rela} 2[[x,y],[x,[y,z]]] = f_y(z)f_x(y)x + f_x([y,z])[x,y] - f_x(y)[x,[y,z]],$$ $$\begin{gathered} \label{relb} 2[[x,y],[[x,y],z]] = (f_x([y,z])-f_y([x,z]))[x,y]\\ +f_x(y)\left(f_x(z)y+f_y(z)x-[y,[x,z]]-[x,[y,z]]\right).\end{gathered}$$ Expression is the first identity of Lemma \[3.2\] with $[y,z]$ replacing $z$. Identity follows from two applications of and Jacobi: $$\begin{aligned} 2[[x,y],[[x,y],z]]&=&2[[y,x],[y,[x,z]]]+2[[x,y],[x,[y,z]]]\\ &=&f_x(z)f_x(y)y + f_y([x,z])[y,x]-f_x(y)[y,[x,z]]\\ &&\quad +f_y(z)f_x(y)x + f_x([y,z])[x,y]-f_x(y)[x,[y,z]]\\ &=& (f_x([y,z])-f_y([x,z]))[x,y]\\ &&\quad +f_x(y)\left( f_x(z)y+f_y(z)x-[y,[x,z]]-[x,[y,z]]\right).\end{aligned}$$ The lemmas above also make clear why we are assuming that the characteristic of $k$ is not $2$. \[3.4\] If $x,y\in {{\mathcal{E}}}$ with $f_x(y) = 0$ but $[x,y] \neq 0$, then $[x,y] \in {{\mathcal{E}}}$, with $f_{[x,y]}(z) = \frac{1}{2}(f_x([y,z])-f_y([x,z]))$ for $z\in L$. Immediate from Identity of Lemma \[rel\]. Let $x\in {{\mathcal{E}}}$. Because $\operatorname{ad}_x^3 =0$, the exponential of the derivation $s\operatorname{ad}_x$ for $s\in k$ is given by $$\exp(x,s) := 1+ s \operatorname{ad}_x+ \frac{s^2}{2}\operatorname{ad}_x^2.$$ This is an automorphism of $L$ in view of Identity of Lemma \[3.2\]. Denote by $G$ (or $G(L)$ if necessary) the group of automorphisms of $L$ generated by all $\exp(x,s)$ for $x\in {{\mathcal{E}}}$ and $s\in k$. We use these automorphisms to show that if a Lie algebra is generated (as a Lie algebra) by extremal elements, it is also linearly spanned by extremal elements. \[linspan\]\[3.5\] If $L$ is generated as a Lie algebra by extremal elements, then it is linearly spanned by the set ${{\mathcal{E}}}$ of all extremal elements. We use induction on the length of $z\in L$ as a bracketing of elements from ${{\mathcal{E}}}$ (that is, obtained by forming successive brackets of elements from ${{\mathcal{E}}}$). It readily reduces to the case where this length is 2, the case of length 1 being $z\in {{\mathcal{E}}}$. Suppose $z=[x,y]$ with $x,y \in {{\mathcal{E}}}$. Now let $m = \exp(x,1)y = y +[x,y]+\frac{1}{2}f_x(y)x$. As $\exp(x,1)$ is an automorphism, $m$ is extremal and so $[x,y]$ is in the linear span of the extremal elements $x,m,y$. We show how the map $f$ defined in the beginning of this section gives rise to a symmetric bilinear associative form. \[3.6\] Suppose that $L$ is generated by ${{\mathcal{E}}}$. There is a unique bilinear symmetric form $f: L\times L\to k$ such that, for each $x\in {{\mathcal{E}}}$, the linear form $f_x$ coincides with $y\mapsto f(x,y)$. This form is associative, in the sense that $f(x,[y,z]) = f([x,y],z)$ for all $x,y,z\in L$. Take $ \{ u_i \}_i$ to be a basis of $L$ consisting of elements from ${{\mathcal{E}}}$. Its existence is guaranteed by Lemma \[3.5\]. Notice that if $x$ is extremal, then $[\lambda x,[\lambda x,y]]=\lambda f(x,y)\lambda x$ and so $\lambda x$ is also extremal with $f(\lambda x,y)=\lambda f(x,y)$. Now suppose $x=\sum_i\lambda_i u_i$. Define $f_x$ by $\sum_i \lambda_if_{u_i}.$ Notice from above this is $\sum_i f_{\lambda_iu_i}$. Now suppose $\sum_i u_i=\sum_i v_i$ are two ways of writing an element $x$ of $L$ as a sum with $v_1,\ldots,v_m$, extremal elements. By Lemma \[3.1\], for $z\in {{\mathcal{E}}}$, we have $$f_x(z)=\sum_i f_{u_i} (z)= \sum_i f_z (u_i)=f_z(\sum_iu_i)=f_z(\sum_iv_i)= \sum_i f_z (v_i)=\sum_i f_{v_i} (z).$$ Since ${{\mathcal{E}}}$ spans $L$, we conclude $\sum_i f_{u_i}=\sum_i f_{v_i}$. Thus, $f_x$ is a well defined linear functional. It readily follows that $f(x,y)= f_x(y)$ defines a bilinear form. It is symmetric by Lemmas \[3.1\] and \[3.5\]. It remains to establish that $f$ is associative. Take $x,y,z\in {{\mathcal{E}}}$. Interchanging $x$ and $y$ in of Lemma \[3.3\], we obtain $$2[[x,y],[y,[x,z]]] = - f(x,z)f(x,y)y + f(y,[x,z])[x,y] + f(x,y)[y,[x,z]].$$ On the other hand, by Jacobi and Lemma \[ide\], $$\begin{aligned} 2[[x,y],[y,[x,z]]] &=& -2 [y,[[x,z],[x,y]]]-2[[x,z],[[x,y],y]]\\ &=& \left[ y, f(x,[y,z])x+f(x,z)[x,y]-f(x,y)[x,z] \right]\\ & & -2f(x,y)[[x,z],y]\\ &=& -f(x,[y,z])[x,y] -f(x,z)f(x,y)y +f(x,y)[y,[x,z]].\end{aligned}$$ Suppose now $[x,y]\neq 0$. Comparing the coefficients of $[x,y]$ in the two expressions for $2[[x,y],[y,[x,z]]]$, we find $-f(x,[y,z])=f(y,[x,z])$. But then, by symmetry of $f$, we have $f(x,[z,y])=-f(x,[y,z])=f(y,[x,z])=f([x,z],y)$, proving $f(x,[z,y])=f([x,z],y)$ whenever $[x,y] \neq 0$. Similarly, $f(x,[y,z]) = f([x,y],z)$, whenever $[x,z] \neq 0$ and $f(y,[x,z]) = f([y,x],z)$, whenever $[y,z] \neq 0$. Suppose that $[x,y] = 0$. We have to show $f(x, [z,y]) = f([x,z],y)$. If $[x,z] \neq 0$ and $[y,z] \neq 0$, then $f(x,[z,y]) = 0 = f([x,z],y)$ by the previous equations. Hence (up to symmetry) we are left with the case $[x,y] = 0$, $[x,z] = 0$. Then $f([x,z],y) = 0$, so we must show that $f(x,[z,y]) = 0$. By Jacobi, $[x,[y,z]] = 0$. Applying $\operatorname{ad}_x$ yields $f(x,[y,z]) = 0$ as needed. We conclude that $f(x,[z,y]) = f([x,z],y)$ for all $x,y,z\in {{\mathcal{E}}}$. Since ${{\mathcal{E}}}$ linearly spans $L$, this proves that $f$ is associative. \[zero\]\[3.8\] If $x,y\in {{\mathcal{E}}}$ with $f_x=0$ and $[x,y]\ne0$, then $[x,y] \in {{\mathcal{E}}}$ with $f_{[x,y]}=0$. By Corollary \[3.4\], we have $[x,y]\in {{\mathcal{E}}}$. Since $f$ is associative by Theorem \[3.6\], we find $f_{[x,y]}(z) = f([x,y], z) = f(x, [y,z]) = 0$ for $z\in L$. Some examples {#reisla} ============= We first discuss Lie algebras generated by two extremal elements. \[2gen\] Let $L$ be generated by two extremal elements $x,y\in {{\mathcal{E}}}$. Then one of the following three assertions holds. - $L=kx+ky$ is Abelian, ${{\mathcal{E}}}= L\setminus\{0\}$, and $f = 0$. - $L=kx+ky+kz$ with $z=[x,y]\ne0$, its center $Z(L)$ and commutator subalgebra $[L,L]$ coincide with $kz$ and $L/Z(L)$ is Abelian. Thus, $L$ is a Heisenberg algebra. Moreover ${{\mathcal{E}}}= L\setminus\{0\}$ and $f=0$. - $L\cong \got {{\mathfrak{sl}}}_2$ and ${{\mathcal{E}}}$ consists of all nilpotent elements of $L$. Thus, $${{\mathcal{E}}}\cup \{0\} = kx \cup ky \cup \bigcup_{\delta\in k \setminus\{0\}} k\left( \delta x + \delta^{-1} \lambda y + [x,y] \right),$$ where $\lambda=\frac{1}{2}f(x,y)\ne0$. Clearly, $x$, $y$ and $[x,y]$ linearly span $L$. The rest is straightforward. To see that there are real differences in the characteristic 2 case, let us take $k={{\mathbb{Z}}}/2{{\mathbb{Z}}}$ and look at the case where $L$ is generated by two elements $x,y$ with $[x,[x,y]]=x$. Then $L=kx+k[x,y]+ky$ is not isomorphic to ${{\mathfrak{sl}}}_2$, as it is simple whereas ${{\mathfrak{sl}}}_2$ is not. Next we deal with finite dimensional Lie algebras of Chevalley type. A long root element of such a Lie algebra is an element of the form $x_\alpha$ with $\alpha$ a long root, or the image of such an element under a Lie algebra automorphism. \[longchev\] Let $L$ be a Lie algebra of Chevalley type over $k$. Then ${{\mathcal{E}}}$ contains the long root elements of $L$. In particular, $L$ is generated by ${{\mathcal{E}}}$. Moreover, if $k$ has characteristic distinct from 2 and 3, every element of ${{\mathcal{E}}}$ is a long root element. Consider a Chevalley basis $B$ of $L$ with respect to a given Cartan subalgebra $H$ of $L$, write $\Phi$ for the corresponding root system, and $x_\beta$ for the element of $B$ associated with a given root $\beta\in\Phi$. Suppose that $\alpha$ is a long root in $\Phi$. Then, for $h\in H$, we have $[x_\alpha,[x_\alpha,h]] = \alpha(h) [x_\alpha,x_\alpha] = 0$. Moreover, for $\beta\in \Phi$, the sum $\beta + 2 \alpha$ is not a root in $\Phi$ unless $\beta = -\alpha$, so $[x_\alpha,[x_\alpha,x_\beta]] = 0$ unless $\beta = -\alpha$, in which case the result is a multiple of $x_\alpha$. To see that $L$ is generated by the long root elements, observe that $L$ is generated by the root elements of the basis $B$ and (by analysis of the Lie rank 2 case) that any short root element can be written as a sum of three long root elements, as is clear from the following computations in the Lie algebras of type $B_2$ and $G_2$, respectively. $$\begin{aligned} {\rm for}\ B_2:&\quad& \underbrace{\exp(x_{{\varepsilon}_1},1)x_{-({\varepsilon}_1-{\varepsilon}_2)}}_{\rm long} = \underbrace{x_{-({\varepsilon}_1-{\varepsilon}_2)}}_{\rm long} - \underbrace{x_{{\varepsilon}_2}}_{\rm short} + \underbrace{x_{{\varepsilon}_1+{\varepsilon}_2}}_{\rm long}\\ {\rm for}\ G_2:&\quad&\underbrace{\exp(x_\alpha,1)x_\beta}_{\rm long} +\underbrace{\exp(x_\alpha,-1)x_\beta}_{\rm long} = 2\underbrace{x_\beta}_{\rm long} - 2\underbrace{x_{2\alpha+\beta}}_{\rm short} \end{aligned}$$ As for the last assertion, let $e\in {{\mathcal{E}}}$. Under the given characteristic restriction for $k$, the proof of Lemma 2.1 of @Ben and the paragraph following Step 1 in the proof of Theorem 3.2 of @Ben show that there exists a Cartan subalgebra of $L$ with eigenspace $ke$. Thus $e$ is a root element. If the diagram of $L$ is not simply laced, short root elements of $L$ are easily seen not to be extremal. Hence $e$ is a long root element. We expect that, in characteristic 3, each extremal element is also a long root element. Such an assertion might follow from a classification of nilpotent elements in the Lie algebras of Chevalley type, but we have not been able to verify this completely. $L$ is finite dimensional in the finitely generated case {#fingen} ======================================================== \[finsec\] We use the work of Zel'manov and Kostrikin @ZK to show the following main result. \[main\] If $L$ is generated as a Lie algebra by a finite number of extremal elements, then $L$ is finite dimensional. Suppose that $L$ is generated by extremal elements $x_1, \dots, x_r$. Denote by $f$ the associated bilinear form. We first consider the case in which $f$ is identically zero. \[finite1\]\[4.2\] Suppose that $L$ is generated by elements $x_1, \dots, x_r$ with $(\operatorname{ad}_{x_i})^2 = 0$ for $i=1, \dots, r$. Then $L$ is finite dimensional and is nilpotent. Furthermore, there is a universal such Lie algebra, ${{\mathcal{L}}}_r$. Observe that each $x_i$ is in ${{\mathcal{E}}}$. By Corollary \[zero\] $(\operatorname{ad}_w)^2 = 0$ for any bracketing $w$ in $x_1, \dots, x_r$. (We consider also $x_i$ as a bracketing.) Since ${\operatorname{char}}k \neq 2$, this implies that $\operatorname{ad}_w \operatorname{ad}_u \operatorname{ad}_w = 0$ for any two of these bracketings, see of Lemma \[3.2\]. In the language of Zel'manov and Kostrikin @ZK, each $\operatorname{ad}_w$ is a crust of a thin sandwich, and by @ZK [Theorem 2] the associative algebra generated by $\operatorname{ad}_{x_1}, \dots, \operatorname{ad}_{x_r}$ is nilpotent. Hence all products of some fixed length, say $l$, of the $\operatorname{ad}_{x_i}$ are $0$. This yields that $L$ is a nilpotent Lie algebra with bracketings of length $l+1$ being $0$. In particular, $L$ is finite dimensional. To see that there is a universal such Lie algebra, let $F$ be the free Lie algebra generated by $r$ elements $f_1,f_2,\dots,f_r$. Now factor out by the ideal $J$ generated by all $[f_i,[f_i,u]]$ where $u$ is a bracketing in the $f_i$. Now $F/J$ is a universal Lie algebra spanned by $r$ extremal elements with $f$ identically $0$. This completes the proof of the lemma. We now show how this implies Theorem \[main\]. \[4.3\] Suppose that $L$ is generated by $r$ extremal elements where the values of $f$ need not all be $0$. Then the dimension of $L$ is at most $\dim {{\mathcal{L}}}_r$. In particular $L$ is finite dimensional. For a nonzero bracketing in $F$, its length is understood to be the total number of the $f_i$ which appear, counting multiplicities (e.g., the length of $[[f_1, f_2],[f_1,f_3]]$ is 4). Choose a basis $\{w_1 + J, \dots, w_t + J\}$ of $F/J$ and let $U$ be the linear span of $w_1, \dots, w_t$. Then $F = U + J$. Consider the surjective homomorphism ${\widetilde}{\phantom{a}}: F \to L$ determined by $f_i \mapsto x_i$. We claim that $\{{\widetilde}{w_1}, \dots, {\widetilde}{w_t}\}$ linearly spans $L$, i.e., ${\widetilde}{U} = L$. Any element of $J$ is a linear combination of terms $$\begin{aligned} \label{ffu} [u_s, [ \dots, [u_1, [f_i, [f_i, u]]] \dots ]]\end{aligned}$$ with $u, u_1, \dots, u_s$ bracketings in the $f_i$. Suppose that ${\widetilde}{U}$ is properly contained in $L$. Then there exists a nonzero bracketing $ g \in F$ of minimal length with ${\widetilde}{g} \not \in {\widetilde}{U}$. We may write $g$ as a linear combination of the $w_i$ and terms $T_i$ as in with all $w_i, T_i$ of the same length as $g$. (Note that in the free Lie algebra $F$, the linear span of the bracketings of a fixed length $\ell$ trivially intersects the linear span of all bracketings of lengths distinct from $\ell$.) Among these terms $T_i$ there is a term $T = [u_s, [ \dots, [u_1, [f_i, [f_i, u]]] \dots ]]$ as in with ${\widetilde}{T} \not\in {\widetilde}{U}$. Set $T_0 := [u_s, [ \dots, [u_1, f_i] \dots]]$. Then $f(x_i, {\widetilde}{u}){\widetilde}{T_0} = {\widetilde}{T} \not \in {\widetilde}{U}$. Hence $f(x_i, {\widetilde}{u}) \neq 0$ and ${\widetilde}{T_0} \not\in {\widetilde}{U}$ with $T_0$ a bracketing of shorter length than $g$, a contradiction with the choice of $g$. Combining these two lemmas proves Theorem \[main\]. \[4.4\] We have worked out the Lie algebra for up to five generators and summarize the dimensions below. Let ${{\mathcal{L}}}_r$ be the universal Lie algebra generated by $r$ extremal generators subject to $f$ being identically $0$. Also, let ${{\mathcal{R}}}_r$ be the free associative algebra over $k$ generated by $r$ elements $y_1,y_2,\dots ,y_r$ for which $y_i^2=0$ and $y_iwy_i=0$ where $w$ is any bracketing in the $y_i$s. Then ${{\mathcal{L}}}_r/Z({{\mathcal{L}}}_r)$, the image of ${{\mathcal{L}}}_r$ under $\operatorname{ad}$, is a quotient of ${{\mathcal{R}}}_r$ in view of of Lemma \[3.2\]. Our computations have found the values of the corresponding dimensions in the table below. Number of generators $\dim {{\mathcal{L}}}_r$ $\dim {{\mathcal{R}}}_r$ ---------------------- --------------------------- -------------------------- 1 1 2 2 3 5 3 8 19 4 28 193 5 537 ? By way of example, consider the case $r=2$. Put $A_1=\operatorname{ad}_{x_1}$ and $A_2=\operatorname{ad}_{x_2}$. Then a basis for ${{\mathcal{L}}}_2$ is $x_1,x_2,[x_1,x_2]$ of size 3. A basis for ${{\mathcal{R}}}_2$ is $I$, $A_1$, $A_2$, $A_1 A_2$, $A_2A_1$, of size 5, as can be seen immediately. This explains the corresponding entries for $r=2$ in the above table. We will explain in later sections how some of the other entries have been determined. For the remainder we refer to the algorithmic methods described in @Reut and @LR using Lyndon words, and to the computational algebra packages GAP @gap (including the FPSLA program by Gerdt & Kornyak), and <span>LiE</span> @Lie. Let ${\operatorname{Rad}}(f)$ denote the radical of $f$, that is, the set of all $y \in L$ for which $f(y,z)=0$ for all $z\in L$. If $L$ is simple, then $f$ is non-degenerate and there is no $x \in L$, $x \neq 0$, with $\operatorname{ad}_x^2 = 0$. (This means that $L$ is non-degenerate in the sense of @Ben.) We know that $f$ is non-trivial by Lemma \[4.2\]. (Otherwise $f$ is identically $0$ and $L$ is nilpotent.) Thus, ${\operatorname{Rad}}(f)$ is a proper ideal of $L$ and so, as $L$ is simple, ${\operatorname{Rad}}(f) = 0$. This means that $f$ is non-degenerate. Suppose $x \in L$ with $\operatorname{ad}_x^2 = 0$. Then $x$ is extremal and $[x,[x,y]] = 0$ for all $y \in L$. Hence $x \in {\operatorname{Rad}}(f)$. This means $x = 0$. By the above corollary and the proof of Theorem 3.2 in @Ben, for $p>5$, the only modular finite dimensional simple Lie algebras over an algebraically closed field of characteristic $p$ and generated by extremal elements, are quotients of those of Chevalley type. The 3 generator case {#3gensec} ==================== Suppose that $L$ is generated by three extremal elements $x$, $y$, $z$. We wish to determine the various possibilities for $L$. The identities of Lemmas \[ide\] and \[rel\], together with the identity $$\begin{gathered} 2[[x,[y,z]],[y,[x,z]]] = -\frac{1}{2} \left ( f_y(z)f_x([y,z])x+f_x([y,z])f_x(z)y+f_x([y,z])f_x(y)z \right)\\ - f_y(z)f_x(z)[x,y] + f_y(z)f_x(y)[x,z] - f_x(z)f_x(y)[y,z],\end{gathered}$$ show that $$x,y,z,[x,y],[x,z],[y,z],[x,[y,z]],[y,[x,z]]$$ linearly span $L$. In particular, $L$ is at most 8-dimensional. Hence, ${{\mathcal{L}}}_3$ is also of dimension at most $8$. It is readily checked though, that the above 8 bracketings provide a basis in the free case, so $\dim {{\mathcal{L}}}_3 = 8$. \[sl3ex\] The algebra ${{\mathfrak{sl}}}_3$ can be generated by $3$ elements. It can be realized as follows: $$x = \left( \begin{array}{ccc} 0&1&0\\ 0&0&0\\ 0&0&0 \end{array} \right), y = \left( \begin{array}{ccc} 0&0&0\cr 1&0&0\cr 0&0&0 \end{array} \right), z = \left( \begin{array}{ccc} 1&1&1\cr 1&1&1\cr -2&-2&-2 \end{array} \right).$$ In this example, we have $$f(x,y)=f(x,z)=f(y,z) =-2\quad\hbox{and}\quad f(x,[y,z])=0.$$ The actions of $\operatorname{ad}_ x$ and $\operatorname{ad}_ y$ on the linear generators of $L$ can be fully described by means of the identities in terms of the four parameters $ f(x,y)$, $ f(x,z)$, $ f(y,z)$, and $ f(x,[y,z])$. We can describe the four parameters pictorially by drawing a triangle with vertices $x$, $y$, $z$, and labeling the edge $\{x,y\}$ by the 'edge' parameter $f(x,y)$ and so on, and putting the 'central' parameter $f(x,[y,z])$ in the middle, with an indication of orientation (note that $f(x,[y,z])=f([x,y],z)=f(z,[x,y])$, so the value is invariant under cyclic permutations of the nodes). We shall reduce $f(x,[y,z])$ to zero by transforming the generators using elementary transformations. To begin reduction, consider the triple $x,y,\exp(x,s)z$, where $s\in k$. It has parameters: $$\begin{aligned} f(x,y)&=&f(x,y) \\ f(x,\exp(x,s)z)&=&f(x,z)\\ f(y,\exp(x,s)z)& =& f(y,z)-sf(x,[y,z])+\frac{1}{2}s^2f(x,y)f(x,z)\\ f(x,[y,\exp(x,s)z]) &=& f(x,[y,z])-sf(x,z)f(x,y).\end{aligned}$$ Clearly, this triple again consists of elements, and generates the same algebra as $x$, $y$ and $z$. If at least two of the three edges have nonzero labels (e.g., $f(x,z)$ and $f(x,y)$), then we can transform the central parameter to $0$ (by taking $s = f(x,[y,z])/(f(x,z)f(x,y))$). On the other hand, if at most one edge is nonzero, say $f(x,y)$, and the central parameter $f(x,[y,z])$ is also nonzero, then the above transformation shows that we can move to three generators $x$, $y$, $\exp(x,s)z$ with one more edge (namely $f(y,\exp(x,s)z)$ and, if applicable, $f(x,y)$) nonzero. Hence, we can reduce to the previous case (if necessary in two steps), and so we may assume that the central parameter is zero: $f(x,[y,z])=0$. Next, we scale $x$, $y$, $z$ to $\alp x$, $\beta y$, $\gam z$ for nonzero $\alp,\beta,\gam\in k$. This leaves $f(\alp x, \beta \gam[y, z])=0$ and changes the edge labels to $$\alp\beta f(x,y),\ \alp\gam f(x,z),\ \beta\gam f(y,z).$$ We claim that, at the cost of a field extension of $k$, all nonzero edge labels may be transformed into $-2$. If at least one of them is zero, this is obvious. Otherwise, take $$\alp = \sqrt{ \frac{-2f(y,z)}{f(x,y)f(x,z)} }, \enspace \beta = \sqrt{ \frac{-2f(x,z)}{f(x,y)f(y,z)} }, \enspace \gam = \sqrt{ \frac{-2f(x,y)}{f(x,z)f(y,z)} }.$$ Thus we are left with four essentially different cases, distinguished by the number of nonzero labeled edges in the triangle. Straightforward computation using GAP @gap leads to the following descriptions of the resulting four Lie algebras. \[3gen\] Suppose that $L$ is generated by three elements. Then after extending the field if necessary, $L$ is generated by three elements whose central parameter is zero, and whose nonzero edge parameters are $-2$. In particular, $L$ is a quotient of a Lie algebra $M$ generated by extremal elements $x$, $y$, $z$ with $f(x,[y,z]) = 0$ and $\dim M = 8$. Moreover, according as the number of nonzero edge parameters is $0$, $1$, $2$, $3$, the Lie algebra $M$ has the following form. - $f=0$ and $M \cong {{\mathcal{L}}}_3$. Thus, $M$ is nilpotent, with $[M,M]=k[x,y]+k[x,z]+k[y,z]+Z$ where $Z=k[x,[y,z]]+k[y,[x,z]]=[[M,M],M] $ is the center of $M$. - $f(x,y)=-2$, $f(x,z)=f(y,z)=0$, and $M = Z \oplus [M,M]$ where $Z=k(z-[x,[y,z]]-[y,[x,z]])$ is the center of $M$. The solvable radical of $M$ is $R =kz+k[x,z]+k[y,z]+k[x,[y,z]]+k[y,[x,z]]$. The subalgebra $S=kx+k[x,y]+ky$ is isomorphic to ${{\mathfrak{sl}}}_2$ and $M$ is the semi-direct product of $S$ and $R$. The $S$-modules $k[x,z]+k[y,[x,z]]$ and $k[y,z]+k[x,[y,z]]$ are irreducible. - $f(x,y)=f(x,z)=-2$, $f(y,z)=0$, and $M$ is the semi-direct product of $S=kx+k[x,y]+ky$, which is isomorphic to ${{\mathfrak{sl}}}_2$, and the solvable radical $R$ of $M$. Moreover, $R =k(y-\frac{1}{2}[y,[x,z]]) + k(z-\frac{1}{2}[y,[x,z]] ) + k([x,y]-[x,z]) + k[y,z] + k[x,[y,z]]$, $[R,R]=k(y+z-[y,[x,z]])+k[y,z]+k[x,[y,z]]$ and $[R,[R,R]] = k[y,z]+k[x,[y,z]]$. The center of $M$ is trivial and $[M,M] = M$. The subspace $k(y+z-[x,[y,z]]-[y,[x,z]])$ of $ [R,R]$ is centralized by $S$. - $f(x,y)=f(x,z)=f(y,z)=-2$ and $M \cong {{\mathfrak{sl}}}_3 $ as described in Example \[sl3ex\]. The algebra ${{\mathcal{R}}}_3$ can be determined easily. Again let $A_i=\operatorname{ad}_{x_i}$. Words Conditions Number ------------------- ------------------------ -------- $I$ identity 1 $A_i$ 3 $A_i A_j$ $i$, $j$ distinct 6 $A_i A_j A_k$ $i$, $j$, $k$ distinct 6 $A_i A_j A_k A_i$ $i$, $j$, $k$ distinct 3 Notice that in the last line as $A_i[A_j,A_k]A_i=0$, we get $A_iA_jA_kA_i=A_iA_kA_jA_i$ and so there are only $3$ of these. Notice these are the only possibilities as multiplying one of the words of length $4$ by any $A_l$ obviously gives $0$ on one side and gives $0$ on the other side after using the commutation rule just given. There is such an algebra, as we found using the $4$ generator Lie algebra ${{\mathcal{L}}}_4$ to be described in the next section. The 4 generator case {#4gensec} ==================== A <span>*monomial of length $s$*</span> is a bracketing of the form $$[x_1,[x_2, \dots [x_{s-1},x_s] \dots ]].$$ A monomial is <span>*reducible*</span> if it is a linear combination of monomials of strictly smaller length. Let $L$ be generated by a subset $D$. Then $L$ is the linear span of all monomials in elements of $D$. By induction on the length of a bracketing (with respect to $D$) and Jacobi. \[6.3\] Let $L$ be generated by the extremal elements $x, y, z, u$. Then $L$ is linearly spanned by the following $28$ monomials of length $\leq 5$: $$x, y, z, u,$$ $$[x,y], [x,z], [x,u], [y,z], [y,u], [z,u],$$ $$[x,[y,z]], [x,[y,u]], [x,[z,u]], [y,[x,z]], [y,[x,u]], [y,[z,u]], [z,[x,u]], [z,[y,u]],$$ $$[x,[y,[z,u]]], [x,[z,[y,u]]], [y,[x,[z,u]]], [y,[z,[x,u]]], [z,[x,[y,u]]], [z,[y,[x,u]]],$$ $$[x,[y,[z,[x,u]]]], [y,[x,[z,[y,u]]]], [z,[x,[y,[z,u]]]], [u,[x,[y,[z,u]]]].$$ Since $L$ is linearly spanned by the monomials in $x, y, z, u$, we have to show that each monomial may be written as a linear combination of the given 28 elements. All monomials of length 1 are on the list. There are $4\cdot 3$ monomials of length 2 with different factors. Since $[a,b] = -[b,a]$ for all $a, b \in L$, all of them may be expressed by the 6 monomials of length 2 on the list. All monomials of length 3 which involve only 2 letters are reducible, since $x, y, z, u$ are extremal. There are $4\cdot 3 \cdot 2$ monomials of length 3 with three different letters. With antisymmetry, all $[x,[a,b]]$ and all $[y,[a,b]]$ may be expressed. By Jacobi this holds also for the remaining ones. All monomials of length 4 which involve only three letters are reducible, see the identity for $2[x,[y,[x,z]]]$ in Lemma \[ide\]. There are $4 \cdot 3 \cdot 2$ monomials of length 4 with different factors. With Jacobi we have the following equations $$\label{(1)} [x,[y,[z,u]]] - [x,[z,[y,u]]] + [x,[u,[y,z]]] = 0,$$ $$\label{(2)} [y,[x,[z,u]]] - [y,[z,[x,u]]] + [y,[u,[x,z]]] = 0,$$ $$\label{(3)} [z,[x,[y,u]]] - [z,[y,[x,u]]] + [z,[u,[x,y]]] = 0.$$ The elements in the first two columns are on the list. Hence all monomials beginning with $x$, $y$, or $z$ may be expressed as a linear combination of the given 28 basis elements. For the monomials beginning with $u$, we calculate: $$\label{(4)} [u,[x,[y,z]]] - [x,[u,[y,z]]] + [[y,z],[u,x]] = 0,$$ $$\label{(5)} [u,[y,[x,z]]] - [y,[u,[x,z]]] + [[x,z],[u,y]] = 0,$$ $$\label{(6)} [u,[z,[x,y]]] - [z,[u,[x,y]]] + [[x,y],[u,z]] = 0.$$ The products of the form $[[a,b],[c,d]]$ may be expressed as follows. $$\label{(7)} [x,[y,[z,u]]] - [y,[x,[z,u]]] + [[z,u],[x,y]] = 0,$$ $$\label{(8)} [x,[z,[y,u]]] - [z,[x,[y,u]]] + [[y,u],[x,z]] = 0,$$ $$\label{(9)} [y,[z,[x,u]]] - [z,[y,[x,u]]] + [[x,u],[y,z]]= 0.$$ Hence also the monomials of length $4$ beginning with $u$ may be expressed as a linear combination of the monomials on the list. We obtain monomials of length 5 by multiplying a letter from the left to a monomial $[a,[b,[c,d]]]$ of length 4. This yields four possibilities: First $[a,[a,[b,[c,d]]]]$, which obviously is reducible. Second $[b,[a,[b,[c,d]]]]$, which is of the form $[b,[a,[b,e]]]$ and hence it is reducible. Third $[c,[a,[b,[c,d]]]]$. There is no obvious way to rewrite this. Fourth $[d,[a,[b,[c,d]]]]$, which yields the previous case by interchanging $c$ and $d$. We are left with the monomials of the form $[c,[a,[b,[c,d]]]]$ or $[d,[a,[b,[c,d]]]]$, where $[a,[b,[c,d]]]$ is one of the monomials of length 4 on the list. This yields the following 12 monomials $m_{11}, m_{12}, \dots, m_{34}$ ($m_{ij}$ is in row $i$ and column $j$): $$\begin{gathered} [z,[x,[y,[z,u]]]], [y,[x,[z,[y,u]]]], [z,[y,[x,[z,u]]]], [x,[y,[z,[x,u]]]],\\ [y,[z,[x,[y,u]]]], [x,[z,[y,[x,u]]]],[u,[x,[y,[z,u]]]], [u,[x,[z,[y,u]]]], \\ [u,[y,[x,[z,u]]]], [u,[y,[z,[x,u]]]], [u,[z,[x,[y,u]]]], [u,[z,[y,[x,u]]]].\end{gathered}$$ Our intended basis vectors are $m_{11}, m_{12}, m_{14}, m_{23}$. We may express the other 8 elements as follows: ------------------- ------------ $m_{24}$: with , $m_{13}, m_{31}$: with and , $m_{32}$: with , $m_{21}, m_{33}$: with and , $m_{22}, m_{34}$: with and . ------------------- ------------ Finally, we show that all monomials of length 6 are reducible. We multiply the monomials of length 5 on the list with a letter. Note that all these monomials of length 5 are of the form $\pm [c,[a,[b,[c,d]]]]$. Multiplication from the left with $c$ or $a$ yields reducible monomials. Next, we deal with $[b,[c,[a,[b,[c,d]]]]]$. With Jacobi we may pass from $[a,[b,[c,d]]]$ to $[b,[[c,d],a]]$ and $[[c,d],[a,b]]$. <span>From</span> $[[c,d],[a,b]]$, we pass to $[d,[c,[a,b]]]$ and $[c,[[a,b],d]]$. Now we multiply first with $c$, then with $b$ from the left. This yields products of the form $[b,[c,[b,[[c,d],a]]]]$, $[b,[c,[d,[c,[a,b]]]]]$ and $[b,[c,[c,[[a,b],d]]]]$, which are all reducible. (Look for patterns of the type $[u,[v,[u,w]]]$.) The last monomial we have to reduce is of the form $[d,[c,[a,[b,[c,d]]]]]$. We pass from $[b,[c,d]]$ by Jacobi to $v_1 = [c,[d,b]]$ and $v_2 = [d,[c,b]]$. The products $[d,[c,[a,v_1]]]$ and $[d,[c,[a,v_2]]]$ are reducible. (In the second one, the two letters $d$ are at distance $3$.) As a consequence all monomials of length $\geq 6$ are reducible and may be written as a linear combination of the 28 vectors on the list. Removing all elements involving a letter $u$ from the list for the 4-generator case, yields a spanning set of size 8 for the 3-generator case. More generally, for $r\in{{\mathbb{N}}}$, $r>1$, the Lie algebra ${{\mathcal{L}}}_{r-1}$ is a Lie subalgebra of ${{\mathcal{L}}}_r$, generated by the first $r-1$ elements of a set $\{x_1,\ldots, x_r\}$ of extremal generators for ${{\mathcal{L}}}_r$. The module generated by $x_r$ under the ad action of ${{\mathcal{L}}}_{r-1}$ gives the algebra ${{\mathcal{R}}}_{r-1}$ defined in Remark \[4.4\]. (This can be proved by observing that the defining relations for ${{\mathcal{L}}}_r$ are homogeneous with respect to the multidegree counting the number of each $x_i$, so that a non-trivial relation amongst bracketings in ${{\mathcal{R}}}_{r-1}x_r$ would lead to a non-trivial homogeneous relation of $x_r$-degree 1. Thus, no relation in ${{\mathcal{R}}}_{r-1}x_r$ involves relations coming from $\operatorname{ad}_{x_r}^2 = 0$, and so any linear relation amongst bracketings in ${{\mathcal{R}}}_{r-1}x_r$ is a consequence of the defining relations of ${{\mathcal{R}}}_{r-1}$.) Counting the monomials with a single $u$ in the list of Proposition \[6.3\], we find $\dim{{\mathcal{R}}}_3 = 19$, distributed according to length as follows, where length of course stands for the length in ${{\mathcal{R}}}_3$, which is one less than the length of these monomials of Proposition \[6.3\]. The algebra ${{\mathcal{R}}}_4$ has dimension $193$. This can be seen by routine enumeration which we do not include. However we list the numbers of words of each length in the table below. 0 1 2 3 4 5 6 7 8 9 -- --- --- ---- ---- ---- ---- ---- ---- ---- --- 1 4 12 24 36 40 36 24 12 4 Notice that in all of these algebras ${{\mathcal{R}}}_2$, ${{\mathcal{R}}}_3$, ${{\mathcal{R}}}_4$ the number of words with a given length is symmetric about the highest number after deleting the one word of length $0$ which is the identity. We wonder if this behavior persists for ${{\mathcal{R}}}_m$ with $m\ge 5$. Quadratic modules {#quadsec} ================= Let $L$ be a Lie algebra generated by extremal elements. We call an $L$-module $U$ quadratic if there is a generating set $D$ of extremal elements of $L$ such that $x \cdot (x \cdot U) = 0$ for all $x \in D$. Suppose that $L$ is generated by $n$ extremal elements. Consider the subalgebra $A$ generated by the set $D$ of the first $n-1$ extremal generators of $L$. Since $A$ is an $A$-submodule of $L$, the quotient $L/A$ is also an $A$-module. Clearly, $x \cdot (x\cdot L/A) = 0 $ for all $x\in D$, and $D\subseteq {{\mathcal{E}}}(L)\cap A \subseteq {{\mathcal{E}}}(A)$. Therefore, $L/A$ is a quadratic $A$-module. We give the irreducible quadratic modules for Lie algebras of Chevalley type. Let $L$ be a Lie algebra of Chevalley type and $k$ a field of characteristic distinct from 2 and 3. The highest weights of its non-trivial quadratic highest weight modules of finite dimension are given in the table below. <span>Type of</span> $L$ <span>Highest weights</span> -------------------------- ------------------------------------ $A_n$ $\omega_1,\ldots,\omega_n$ $B_n$ $\omega_1$, $\omega_n$ $C_n$ $\omega_1,\ldots,\omega_n$ $D_n$ $\omega_1,\omega_{n-1},\omega_{n}$ $E_6$ $\omega_1,\omega_6$ $E_7$ $\omega_7$ $F_4$ $\omega_4$ $G_2$ $\omega_1$ <span>(Sketch; a strongly related result for groups can be found in @PS.)</span> Let $V$ be a non-trivial quadratic highest weight module for $L$ of finite dimension. By Proposition \[longchev\], there is a single $G$-orbit of extremal elements in $L$. Moreover, all these (long root) elements have the same nilpotency index on $V$ (because the highest weight representation is equivalent to a composition of itself with conjugation by an element of $G$). Consequently, each element $x\in {{\mathcal{E}}}(A)$ satisfies $x \cdot (x\cdot V) = 0 $. In particular, for every long root $\alpha$, the corresponding Chevalley basis element $x_\alpha$ is nilpotent of index 2. It follows that if $\mu$ is a weight of $V$, then $\mu-2\alpha$ is not. Since the set of weights for $V$ is a convex subset of the coset of the root lattice containing the highest weight, only small weights can occur. Thus, the result can be readily established by use of LiE, cf. @Lie, and the following argument for the case of a single root length. Suppose that $L$ is a Lie algebra of Chevalley type with only one root length. If $U$ is an irreducible quadratic finite dimensional $L$-module, then $U$ is a minuscule weight representation. Let $\lambda$ be the highest weight of $U$. Suppose $\mu$ is a weight for $U$. Then there is a path of weights from $\mu$ to $\lambda$, such that, for each adjacent pair $(\mu_1,\mu_2)$ from the path, the difference $\mu_2 - \mu_1$ is a positive root. Since there is only one root length, each of these differences is a root whose root element is extremal. Now take the fundamental ${{\mathfrak{sl}}}_2$-triplet containing this root element. Quadraticity means that the non-trivial irreducible sub-representations in $U$ of the corresponding subalgebra isomorphic to ${{\mathfrak{sl}}}_2$ all have dimension $2$. But $\mu_1$, $\mu_2$ are in the same representation, so they belong to a $2$-dimensional module. But then, they are conjugate by an element of the corresponding subgroup of type $A_1$. This establishes that $U$ has a basis of weight spaces which are all conjugate, which can be taken as a definition of minuscule. For the Lie algebra of type $E_8$, there are no non-trivial finite-dimensional quadratic modules. Thus, this Lie algebra can only occur as a direct component of a bigger Lie algebra generated by extremal elements. The minimal number of extremal generators for Lie algebras of Chevalley type {#mingensec} ============================================================================ Let ${{\mathfrak{g}}}$ be a Lie algebra of Chevalley type over $k$ (of characteristic distinct from 2). As we have seen in Proposition \[longchev\], the long root elements of ${{\mathfrak{g}}}$ are extremal elements and ${{\mathfrak{g}}}$ is generated by these extremal elements. Write $t({{\mathfrak{g}}})$ for the minimal number of these extremal generators of ${{\mathfrak{g}}}$. In this section, we determine $t({{\mathfrak{g}}})$. We discuss implications for the group analog in §\[rootgrpsec\]. Fix a Cartan subalgebra ${{\mathfrak{h}}}$ of ${{\mathfrak{g}}}$ and let $\Phi$ be the corresponding root system. Throughout this section $x_\alpha$ and $h_{\alpha}$ denote, respectively, the root element and the element in ${{\mathfrak{h}}}$ of ${{\mathfrak{g}}}$ corresponding to the root $\alpha$ in $\Phi$. Also $\exp(x_\alpha)$ denotes $\exp(x_\alpha, 1)$ in the notation of Section \[3\]. The signs appearing here in the multiplication rules for the $x_\alpha$ are the ones arising from the implementations in the relevant packages. In general, the signs depend on the choice of a Chevalley basis. \[gen\]\[8.1\] Let ${{\mathfrak{g}}}$ be a Lie algebra of Chevalley type and let $ \alpha_1, \dots, \alpha_n$ be the simple roots in $\Phi$. Denote by $\beta$ the root of highest height. Then ${{\mathfrak{g}}}$ is generated by the root elements $x_{\alpha_1}, x_{\alpha_2}, \dots, x_{\alpha_n}, x_{-\beta}$. The simple root elements with respect to $\Phi$ generate the subalgebra ${{\mathfrak{n}}}= \sum_{\alpha \in \Phi^+} {{\mathfrak{g}}}_{\alpha}$ where $\Phi^+$ is the set of positive roots and ${{\mathfrak{g}}}_{\alpha}$ is a root space. The lemma follows from the fact that the ${{\mathfrak{n}}}$-submodule of ${{\mathfrak{g}}}$ generated by the root element corresponding to the root of lowest height, coincides with ${{\mathfrak{g}}}$. \[mingent\] Let ${{\mathfrak{g}}}$ be a Lie algebra of Chevalley type over the field $k$ of characteristic distinct from 2. Then the number $t({{\mathfrak{g}}})$ is as given in the table below. Type of ${{\mathfrak{g}}}$ $t({{\mathfrak{g}}})$ condition ---------------------------- ----------------------- ----------- $A_n$ $n+1$ $n\ge1$ $B_n$ $n+1$ $n\ge3$ $C_n$ $2n$ $n\ge2$ $D_n$ $n$ $n\ge4$ $E_n$ $5$ $n=6,7,8$ $F_4$ $5$ $G_2$ $4$ The proof of the theorem will be given in the rest of this section. \[lb\] If ${{\mathfrak{g}}}$ has an irreducible representation of dimension $N$ and its extremal elements have rank $m$ in this representation, then the number of extremal elements generating ${{\mathfrak{g}}}$ is at least $N/m$. If ${{\mathfrak{g}}}$ is generated by the extremal elements $x_1,\ldots, x_t$, then the image of ${{\mathfrak{g}}}$ in $V$, the underlying $N$-dimensional vector space, is generated by $$\langle {{\rm Im}\,}x_1, \ldots, {{\rm Im}\,}x_t\rangle = \langle {{\rm Im}\,}x_1\rangle + \cdots + \langle{{\rm Im}\,}x_t\rangle ,$$ of dimension at most $tm$. Thus, irreducibility of the representation implies $t m \ge N$, whence the lemma. Here is an upper bound for groups without multiple bonds. \[ub\] If the root system of ${{\mathfrak{g}}}$ has just one root length, then $t({{\mathfrak{g}}})\le n+1$, where $n$ is the rank of ${{\mathfrak{g}}}$. This follows immediately from Lemma \[gen\]. \[lowb\] If ${{\mathfrak{g}}}$ is generated by $t$ extremal elements, then $t({{\mathfrak{g}}}) \ge 4$ if $\dim {{\mathfrak{g}}}\ge 9$, and $t({{\mathfrak{g}}}) \ge 5$ if $\dim {{\mathfrak{g}}}\ge 29$. This is immediate from the dimensions given in Section \[3gensec\] and in Proposition \[6.3\]. The previous lemmas suffice for the proof of all exact lower bounds on $t({{\mathfrak{g}}})$. For $A_n$, consider the natural representation of dimension $N = n+1$. Since extremal elements have rank 1 in this representation, Lemma \[lb\] gives $t(A_n) \ge n+1$. For $B_n$, Lemma \[lb\] applied to the natural module for ${{\mathfrak{g}}}$ (of dimension $2n+1$, in which the extremal elements have rank 2), we find $t({{\mathfrak{g}}}) \ge (2n+1)/2$, whence $t(B_n) \ge n+1$. Observe that for $n=2$, this bound is not sharp. Since the Lie algebra of type $B_2$ has dimension 10, at least 4 extremal generators are needed in view of Lemma \[lowb\]. This lower bound coincides with the result for the Lie algebra of type $C_2$ (which is isomorphic to the one of type $B_2$). For $C_n$, Lemma \[lb\] applied to the natural module for ${{\mathfrak{g}}}$ (of dimension $2n$, in which the extremal elements have rank 1), we find $t(C_n) \ge 2n$. For $D_n$, recall that the Lie algebra has a natural representation of dimension $2n$, in which extremal elements have rank 2; hence, by Lemma \[lb\], $t(D_n) \ge n$. For the exceptional Lie algebras, Lemma \[lowb\] shows that the Lie algebra of type $G_2$ is generated by no fewer than 4 and the other four (types $F_4$ and $E_6$, $E_7$, $E_8$) are generated by no fewer than 5 extremal elements. When $k$ has characteristic 3, the Lie algebra ${{\mathfrak{g}}}$ of Chevalley type $G_2$ has a 7-dimensional simple quotient. This quotient is isomorphic to a quotient of ${{\mathfrak{sl}}}_3$ by its center, and is generated by 3 extremal elements. Nevertheless, ${{\mathfrak{g}}}$ itself, being 14-dimensional, cannot be generated by fewer than four extremal elements. To prove the theorem, it remains to show that there is a generating set of extremal elements of the size indicated in the table. To this end, we often argue along the following pattern. Let ${{\mathfrak{g}}}$ be the Lie algebra under consideration. We shall work with a fixed Chevalley basis ${{\mathcal{B}}}$ of ${{\mathfrak{g}}}$ and a fixed root system whose simple roots $\alpha_1,\ldots,\alpha_n$ are labeled as in @Bou. When we talk about root elements corresponding to specific roots we mean elements from this basis. We shall select a Lie subalgebra $M$ of ${{\mathfrak{g}}}$ of Chevalley type generated by extremal elements, usually chosen from ${{\mathcal{B}}}$. Let ${{\mathfrak{g}}}= M \oplus V_1 \oplus \cdots \oplus V_r$ be the decomposition of the $M$-module ${{\mathfrak{g}}}$ into irreducible $M$-modules. The modules $V_i$ are often spanned by certain elements of ${{\mathcal{B}}}$ and usually the index $i$ corresponds to coefficients of simple roots not supported in $M$. We shall write down an element $d$ which is the image of an extremal element under a composition of exponentials of root elements. It is an extremal element whose projections onto many of the modules $V_j$ $(j=1,\ldots,r)$ are nonzero. Next, we take $C$ to be the Lie algebra generated by $M$ and $d$ and, by suitably bracketing $d$ by elements of $C$, we find vectors from each $V_j$, usually again elements of ${{\mathcal{B}}}$. Once those are found, we see that $C$ coincides with ${{\mathfrak{g}}}$, so $t({{\mathfrak{g}}})\le t(M)+1$. (In case ${{\mathfrak{g}}}$ is of type $C_n$, we need two additional extremal elements instead of 1 outside $M$ and there we show $t({{\mathfrak{g}}}) \le t(M)+2$.) We start with the classical Lie algebras. In this case, with exception of $A_n$, we will write the simple roots using the unit orthonormal vectors in ${{\mathbb{C}}}^n$, ${\varepsilon}_1, \dots, {\varepsilon}_n$ with $\alpha_i$'s expressed in terms of ${\varepsilon}_i$'s as in Bourbaki. All computations were made using the <span>ELIAS</span> routines @ELIAS in GAP @gap, and <span>LiE</span> @Lie. The signs appearing here are the ones arising from the implementations in the relevant packages. In general, the signs depend on the choice of Chevalley basis. Type $A_n$ ---------- By Lemma \[ub\] we know that $A_n$ can be generated by $n+1$ extremal elements, that is, $t(A_n)\le n+1$. So there is nothing left to prove. Type $B_n$ ---------- Let ${{\mathfrak{g}}}$ be the Lie algebra of type $B_n$. First assume $n=3$. Take $M$ to be the Lie subalgebra of ${{\mathfrak{g}}}$ generated by the root elements corresponding to the first two simple roots, ${\varepsilon}_1 - {\varepsilon}_2$ and ${\varepsilon}_2 - {\varepsilon}_3$ and their negatives. Then $M$ is of type $A_2$ and contains the root elements $x_{\pm({\varepsilon}_1 - {\varepsilon}_2)}$, $x_{\pm({\varepsilon}_2 - {\varepsilon}_3)}$ and $x_{\pm({\varepsilon}_1 - {\varepsilon}_3)}$. Moreover, ${{\mathfrak{g}}}$ decomposes as $${{\mathfrak{g}}}= M \oplus V_{-2} \oplus V_{-1}\oplus V_{1}\oplus V_{2}\oplus H_0,$$ where $V_1$ is the natural $M$-module linearly spanned by root elements $x_{{\varepsilon}_1}$, $x_{{\varepsilon}_2}$ and $x_{{\varepsilon}_3}$; $V_2$ is spanned by root elements $x_{{\varepsilon}_1+{\varepsilon}_2}$, $x_{{\varepsilon}_1+{\varepsilon}_3}$ and $x_{{\varepsilon}_2+{\varepsilon}_3}$. Their dual $M$-modules $V_{-1}$ and $V_{-2}$ are natural $M$-modules linearly spanned by $x_{-{\varepsilon}_1}$, $x_{-{\varepsilon}_2}$, $x_{-{\varepsilon}_3}$ and $x_{-({\varepsilon}_1+{\varepsilon}_2)}$, $x_{-({\varepsilon}_1+{\varepsilon}_3)}$, $x_{-({\varepsilon}_2+{\varepsilon}_3)}$, respectively and $H_0$ is the trivial $M$-submodule of $L$, spanned by the torus element $h_{{\varepsilon}_3}$ centralizing $M$. Now write: $$\begin{gathered} d =\exp(x_{-({\varepsilon}_1+{\varepsilon}_2)}) \exp(x_{{\varepsilon}_1})x_{-({\varepsilon}_1-{\varepsilon}_2)} =\\ x_{-({\varepsilon}_1-{\varepsilon}_2)} - x_{{\varepsilon}_2}+x_{{\varepsilon}_1+{\varepsilon}_2} + x_{-{\varepsilon}_1}+ h_{-({\varepsilon}_1+{\varepsilon}_2)}- x_{-({\varepsilon}_1+{\varepsilon}_2)}. \end{gathered}$$ Consider the Lie subalgebra $C$ of ${{\mathfrak{g}}}$ generated by $M$ and $d$. As $x_{{\varepsilon}_1-{\varepsilon}_2}\in M$, we have $- x_{{\varepsilon}_1} - x_{-{\varepsilon}_2}+M = [x_{{\varepsilon}_1-{\varepsilon}_2}, d]+M \subseteq C$, whence $x_{{\varepsilon}_1}+ x_{-{\varepsilon}_2}\in C$. Bracketing by the element $x_{{\varepsilon}_2-{\varepsilon}_3}$ of $M$, we find $x_{-{\varepsilon}_3}\in C$. In particular, the $M$-submodule $V_{-1}$ generated by this element belongs to $C$, whence also $x_{-{\varepsilon}_1}$, and so $e := d- x_{-({\varepsilon}_1-{\varepsilon}_2)} - x_{-{\varepsilon}_1} \in C$. Taking brackets of $x_{-{\varepsilon}_1}$ with $e$ gives $2 x_{-({\varepsilon}_1-{\varepsilon}_2)}- x_{{\varepsilon}_2} + x_{-{\varepsilon}_1} \in C$, whence $x_{{\varepsilon}_2} \in C$. In particular, $x_{{\varepsilon}_3}$, which lies in the same $M$-submodule, belongs to $C$, and hence so do all root elements corresponding to positive roots. But then $e+C = x_{-({\varepsilon}_1+{\varepsilon}_2)} + C \subseteq C$, and so also the lowest root element belongs to $C$. The root elements corresponding to the simple roots and to the lowest root generate ${{\mathfrak{g}}}$, so $C = {{\mathfrak{g}}}$. Thus $t({{\mathfrak{g}}})\le t(M)+1=4$. Next, assume $n\ge4$. In the Lie algebra ${{\mathfrak{g}}}$ of type $B_n$ we have the Lie subalgebra $M$ of type $D_n$ generated by all long root elements (extremal elements) of the form $x_{{\varepsilon}_i\pm {\varepsilon}_j}$ $(1\le i<j\le n)$. As an $M$-representation space, ${{\mathfrak{g}}}$ decomposes into the adjoint module $M$ and the natural representation $V_1$ of degree $2n$. Here, $V_1$ is linearly spanned by the elements $x_{\pm{\varepsilon}_j}$ $(j = 1,\ldots,n)$ from the Chevalley basis ${{\mathcal{B}}}$. Now $$d := \exp(x_{{\varepsilon}_2})x_{{\varepsilon}_1-{\varepsilon}_2} = x_{{\varepsilon}_1-{\varepsilon}_2} - x_{{\varepsilon}_1} - x_{{\varepsilon}_1+{\varepsilon}_2}$$ is an extremal element. Let $C$ be the Lie subalgebra of ${{\mathfrak{g}}}$ generated by $M$ and $d$. We show it is ${{\mathfrak{g}}}$. For, $d + M = x_{{\varepsilon}_1} + M$, so $x_{{\varepsilon}_1}\in C$, whence $V_1 \cap C \ne \{0\}$. By irreducibility of $V_1$, we find that $x_{\pm{\varepsilon}_j}\in C$ for all $j$. Thus, $C$ contains all root elements of the standard Chevalley basis ${{\mathcal{B}}}$ of ${{\mathfrak{g}}}$, and so coincides with ${{\mathfrak{g}}}$. The conclusion is that $t(B_n) \le t(D_n)+1$. In particular, the proof of the theorem for $B_n$ is complete once the theorem is shown to hold for $D_n$ (as then $t(D_n)= n$). Type $C_n$ ---------- Suppose $n\ge2$ and let ${{\mathfrak{g}}}$ be the Lie algebra of type $C_n$. Take $M$ to be the Lie subalgebra of type $C_{n-1}$ generated by the root elements with roots in the linear span of ${\varepsilon}_2,\ldots,{\varepsilon}_n$. Then ${{\mathfrak{g}}}$ decomposes as $${{\mathfrak{g}}}= M\oplus V_1\oplus V_{-1}\oplus V_2\oplus V_{-2}\oplus V_{0},$$ where $V_1$ and $V_{-1}$ are natural $M$-modules, spanned by all root elements with first simple root coordinate $1$, respectively $-1$, and $V_2$, $V_0$, $V_{-2}$ are trivial modules, spanned by $x_{2{\varepsilon}_1}$, $h_{2{\varepsilon}_1}$, and $x_{-2{\varepsilon}_1}$, respectively. Now take $$d_1 = \exp(x_{-({\varepsilon}_1+{\varepsilon}_2)})x_{2{\varepsilon}_1} = x_{2{\varepsilon}_1} - x_{{\varepsilon}_1-{\varepsilon}_2}- x_{-2{\varepsilon}_2}$$ and $$d_2 = \exp(x_{{\varepsilon}_1+{\varepsilon}_2})x_{-2{\varepsilon}_1} = x_{-2{\varepsilon}_1}+x_{-({\varepsilon}_1-{\varepsilon}_2)} - x_{2{\varepsilon}_2}.$$ Let $C$ be the Lie subalgebra generated by $M$, $d_1$, and $d_2$. Then $d_1+M = x_{2{\varepsilon}_1} - x_{{\varepsilon}_1-{\varepsilon}_2} +M$ and $d_2 + M = x_{-2{\varepsilon}_1} + x_{-({\varepsilon}_1-{\varepsilon}_2)} +M$. Now $C = [x_{-2{\varepsilon}_2},d_2] + C = x_{-({\varepsilon}_1+{\varepsilon}_2)} + C$, and $C = [x_{2{\varepsilon}_2},d_1] + C = x_{{\varepsilon}_1+{\varepsilon}_2} + C$, so generators for each natural $M$-submodule of ${{\mathfrak{g}}}$ are in $C$. But then $C = d_1+C = x_{2{\varepsilon}_1} + C$ and $C = d_2+C =x_{-2{\varepsilon}_1} + C$, so $V_2$ and $V_{-2}$ are also contained in $C$. We have established that ${{\mathfrak{g}}}\subseteq C$, whence $C = {{\mathfrak{g}}}$. The conclusion is $t({{\mathfrak{g}}})\le t(M)+2$. If $n=2$, then $M$ is of type $A_1$, so we have $t(M) = 2$ and $t({{\mathfrak{g}}})\le 4$. By induction, we find $t({{\mathfrak{g}}})\le 2n$ for arbitrary $n$. Type $D_n$ {#d4} ---------- First we consider the case $n=4$. Let $M$ be the subalgebra of ${{\mathfrak{g}}}$ generated by the root elements corresponding to the roots $x_{\pm({\varepsilon}_1- {\varepsilon}_2)}$, $x_{\pm({\varepsilon}_2-{\varepsilon}_3)}$ and $x_{\pm({\varepsilon}_1-{\varepsilon}_3)}$. Then $M$ is of type $A_2$ and ${{\mathfrak{g}}}$ decomposes as $${{\mathfrak{g}}}= M \oplus V_{{\varepsilon}_3-{\varepsilon}_4}\oplus V_{{\varepsilon}_3+{\varepsilon}_4}\oplus V_{1,0}\oplus V_{0,1}\oplus V_{1,1}\oplus V_{-1,0}\oplus V_{0,-1}\oplus V_{-1,-1},$$ where $V_{i,j}$ is a 3-dimensional module linearly spanned by the root elements corresponding to simple roots of the form $\lambda ({\varepsilon}_1-{\varepsilon}_2)+\mu ({\varepsilon}_2-{\varepsilon}_3) + i ({\varepsilon}_3-{\varepsilon}_4) +j ({\varepsilon}_3+{\varepsilon}_4)$ where $\lambda$, $\mu$ are scalars and $V_{{\varepsilon}_3-{\varepsilon}_4}$ and $V_{{\varepsilon}_3+{\varepsilon}_4}$ are one-dimensional $M$-modules. Consider $$\begin{aligned} d &=& \exp(x_{{\varepsilon}_1+{\varepsilon}_4}) \exp(x_{-({\varepsilon}_3-{\varepsilon}_4)}) \exp(x_{-({\varepsilon}_1+{\varepsilon}_3)})x_{{\varepsilon}_3-{\varepsilon}_4} = \\ & & -x_{{\varepsilon}_1+{\varepsilon}_3} - 2 x_{{\varepsilon}_1+{\varepsilon}_4} + x_{{\varepsilon}_3-{\varepsilon}_4}- 2 x_{-({\varepsilon}_3-{\varepsilon}_4)}\\ & & - x_{-({\varepsilon}_1+{\varepsilon}_3)} + x_{-({\varepsilon}_1+{\varepsilon}_4)} + h_{-({\varepsilon}_3-{\varepsilon}_4)}+ h_{{\varepsilon}_1+{\varepsilon}_4}. \end{aligned}$$ This is an extremal element as it is the image of a root element under an automorphism of ${{\mathfrak{g}}}$. Denote by $C$ the Lie subalgebra of ${{\mathfrak{g}}}$ generated by $M$ and $d$. A computation shows $$[x_{-({\varepsilon}_1-{\varepsilon}_3)},[x_{{\varepsilon}_1-{\varepsilon}_2},d]] = - x_{-({\varepsilon}_2-{\varepsilon}_3)}+x_{-({\varepsilon}_1+{\varepsilon}_2)} .$$ Since $x_{-({\varepsilon}_1-{\varepsilon}_3)}$, $x_{{\varepsilon}_1-{\varepsilon}_2}$, $x_{-({\varepsilon}_2-{\varepsilon}_3)}\in M$, we derive $x_{-(\alpha_1+2\alpha_2+\alpha_3+\alpha_4)} = x_{-({\varepsilon}_1+{\varepsilon}_2)} \in C$; that is, the lowest root element belongs to $C$. It follows that $V_{-1,-1}\subseteq C$. Another computation yields $$[x_{-({\varepsilon}_2-{\varepsilon}_3)},[x_{-({\varepsilon}_1-{\varepsilon}_2)},d]] = - 2 x_{{\varepsilon}_3+{\varepsilon}_4} + x_{-({\varepsilon}_1-{\varepsilon}_3)}.$$ Similar to the above, we derive $x_{\alpha_4} = x_{{\varepsilon}_3+{\varepsilon}_4} \in C$. So $V_{0,1}\subseteq C$. By computation, we have $$[x_{{\varepsilon}_1-{\varepsilon}_2},[h_{{\varepsilon}_1-{\varepsilon}_3},[x_{-({\varepsilon}_1+{\varepsilon}_3)},d]]] = x_{-({\varepsilon}_2+{\varepsilon}_4)}.$$ Since $x_{{\varepsilon}_1-{\varepsilon}_2}$, $h_{{\varepsilon}_1-{\varepsilon}_3}\in M$ and $x_{-({\varepsilon}_1+{\varepsilon}_3)}\in V_{-1,-1}\subset C$, we see $x_{-(\alpha_2+\alpha_4)} = x_{-({\varepsilon}_2+{\varepsilon}_4)}\in C $, whence $V_{0,-1}\subset C$. Since $x_{-({\varepsilon}_1+{\varepsilon}_4)}\in V_{0,-1}\subseteq C$ and $h_{{\varepsilon}_1-{\varepsilon}_3}\in M$, we have $$C = [x_{-({\varepsilon}_1-{\varepsilon}_3)},[x_{{\varepsilon}_1-{\varepsilon}_3},d]] +C = x_{-({\varepsilon}_1+{\varepsilon}_4)} + 2 h_{{\varepsilon}_1-{\varepsilon}_3}+x_{{\varepsilon}_3-{\varepsilon}_4}+C = x_{{\varepsilon}_3-{\varepsilon}_4}+C ,$$ and so $x_{\alpha_3} = x_{{\varepsilon}_3-{\varepsilon}_4}\in C$. So $V_{1,0}\subseteq C$. We have seen that the root elements corresponding to all four simple roots and to the lowest root belong to $C$. Since they generate ${{\mathfrak{g}}}$, we conclude $C={{\mathfrak{g}}}$, whence $t({{\mathfrak{g}}})\le t(M)+1 = 4$. Assume, from now on, that $n>4$. We show that the Lie algebra ${{\mathfrak{g}}}$ of type $D_n$ satisfies $t({{\mathfrak{g}}}) \le n$. Let $M$ be the Lie subalgebra of ${{\mathfrak{g}}}$ generated by all root elements corresponding to the subrootsystem on ${\varepsilon}_i\pm {\varepsilon}_j$ for $2\le i<j\le n$. Then $M$ has type $D_{n-1}$. As an $M$-module, ${{\mathfrak{g}}}$ decomposes as $${{\mathfrak{g}}}= M\oplus V_1\oplus V_{-1}\oplus H_0,$$ where $H_0$ is a 1-dimensional toral subalgebra centralizing $M$ and $V_1$, $V_{-1}$ are natural modules spanned by all root elements whose root vectors have first coordinate (with respect to the basis of simple roots) equal to 1, $-1$, respectively. By induction $t(M) \le n-1$, so we need to find an extremal element of ${{\mathfrak{g}}}$ that, together with $M$, generates ${{\mathfrak{g}}}$. Take $$d = \exp(x_{-({\varepsilon}_1-{\varepsilon}_2)})x_{{\varepsilon}_1-{\varepsilon}_2}= x_{{\varepsilon}_1-{\varepsilon}_2} - h_{{\varepsilon}_1-{\varepsilon}_2}- x_{-({\varepsilon}_1-{\varepsilon}_2)}.$$ Now $[x_{{\varepsilon}_2-{\varepsilon}_3},d] + M = - x_{{\varepsilon}_1-{\varepsilon}_3} + M$, so $x_{{\varepsilon}_1-{\varepsilon}_3}\in C$, whence every root element whose root has first root coordinate 1 belongs to $C$. That is, $V_1 \subseteq C$ and therefore $x_{{\varepsilon}_1 -{\varepsilon}_2} \in C$. Similarly, $C = [ x_{-({\varepsilon}_2-{\varepsilon}_3)},d] + C = - x_{-({\varepsilon}_1-{\varepsilon}_3)}+C$, and so also every root element whose root has first coordinate $-1$ belongs to $C$. That is, $V_{-1} \subseteq C$ and therefore $x_{-({\varepsilon}_1 +{\varepsilon}_2)} \in C$. Thus, all root elements from the standard Chevalley basis belong to $C$, proving $C={{\mathfrak{g}}}$, and $t({{\mathfrak{g}}})\le t(M)+1 = n$. Type $E_6$ ---------- Let us denote by $\alpha_1,\alpha_2,\alpha_3,\alpha_4,\alpha_5,\alpha_6$ the simple roots of ${{\mathfrak{e}}}_6$. Let $M$ be a subalgebra of ${{\mathfrak{e}}}_6$ generated by $M = \langle x_{\alpha_2}, x_{\alpha_3}, x_{\alpha_4}, x_{\alpha_5}, x_{-(\alpha_2+\alpha_3+ 2\alpha_4+\alpha_5)} \rangle$. Then $M$ is of type $D_4$. One has the following decomposition of ${{\mathfrak{e}}}_6$: $${{\mathfrak{e}}}_6 = M \oplus W \oplus V_{0,1} \oplus V_{1,0} \oplus V_{1,1} \oplus V_{0,-1} \oplus V_{-1,0} \oplus V_{-1,-1},$$ where $V_{a, b}$ is the module generated by all $x_{\alpha}$ with $a$ coefficient of $\alpha_1$ and $b$ coefficient of $\alpha_6$ in $\alpha$. The action of $M$ on $W$ is trivial. We need one more extremal element: $$\begin{aligned} d&=& \exp(x_{-(\alpha_1+\alpha_3+\alpha_4)})\exp(x_{\alpha_3+\alpha_4+\alpha_5+\alpha_6})\exp(x_{-(\alpha_1+\alpha_2+\alpha_3+2\alpha_4+2\alpha_5+\alpha_6)}) x_{\alpha_1} \\ &=& x_{\alpha_1} - x_{-(\alpha_2+\alpha_3+2\alpha_4+2\alpha_5+\alpha_6)} + x_{\alpha_1+\alpha_3+\alpha_4+\alpha_5+\alpha_6} + x_{-(\alpha_2+\alpha_4+\alpha_5)}\\ & & - x_{-(\alpha_3+\alpha_4)} - x_{-(\alpha_1+\alpha_2+2\alpha_3+3\alpha_4+2\alpha_5+\alpha_6)}\\ & &+ x_{\alpha_5+\alpha_6} - x_{-(\alpha_1+\alpha_2+\alpha_3+2\alpha_4+\alpha_5)}.\end{aligned}$$ We claim that the subalgebra $C$ generated by $M$ and $d$ is the whole algebra ${{\mathfrak{e}}}_6$. The root elements $x_{-(\alpha_2+\alpha_4+\alpha_5)}$ and $x_{-(\alpha_3+\alpha_4)}$ belong to $M$, so $e:= d - x_{-(\alpha_2+\alpha_4+\alpha_5)} + x_{-(\alpha_3+\alpha_4)}$ is in $C$. Since $x_{\alpha_3}$, $x_{-\alpha_5}$ and $x_{- \alpha_2}$ are in $M$, the
{'source': 'arXiv_out/math9903077'}