The Unapologetic Mathematician

Mathematics for the interested outsider

Nilpotent and Solvable Lie Algebras

There are two big types of Lie algebras that we want to take care of right up front, and both of them are defined similarly. We remember that if I and J are ideals of a Lie algebra L, then [I,J] — the collection spanned by brackets of elements of I and J — is also an ideal of L. And since the bracket of any element of I with any element of L is back in I, we can see that [I,J]\subseteq I. Similarly we conclude [I,J]\subseteq J, so [I,J]\subseteq I\cap J.

Now, starting from L we can build up a tower of ideals starting with L^{(0)}=L and moving down by L^{(n+1)}=[L^{(n)},L^{(n)}]\subseteq L^{(n)}. We call this the “derived series” of L. If this tower eventually bottoms out at 0 we say that L is “solvable”. If L is abelian we see that L^{(1)}=[L,L]=0, so L is automatically solvable. At the other extreme, if L is simple — and thus not abelian — the only possibility is [L,L]=L, so the derived series never gets down to 0, and thus L is not solvable.

We can build up another tower, again starting with L^0=L, but this time moving down by L^{n+1}=[L,L^n]. We call this the “lower central series” or “descending central series” of L. If this tower eventually bottoms out at 0 we say that L is “nilpotent”. Just as above we see that abelian Lie algebras are automatically nilpotent, while simple Lie algebras are never nilpotent.

It’s not too hard to see that L^{(n)}\subseteq L^n for all n. Indeed, L^{(0)}\subseteq L^0 to start. Then if L^{(n)}\subseteq L^n\subseteq L then

\displaystyle\begin{aligned}L^{(n+1)}&\subseteq [L^{(n)},L^{(n)}]\\&\subseteq [L,L^n]\\&=L^{n+1}\end{aligned}

so the assertion follows by induction. Thus we see that any nilpotent algebra is solvable, but solvable algebras are not necessarily nilpotent.

As some explicit examples, we look back at the algebras \mathfrak{t}(n,\mathbb{F}) and \mathfrak{n}(n,\mathbb{F}). The second, as we might guess, is nilpotent, and thus solvable. The first, though, is merely solvable.

First, let’s check that L=\mathfrak{n}(n,\mathbb{F}) is nilpotent. The obvious basis consists of all the matrix entries e_{ij} with i\leq j, and we can know that


We have an obvious sense of the “level” of an element: the difference j-i, which is well-defined on each basis element. We can tell that the bracket of two basis elements gives either zero or another basis element whose level is the sum of the levels of the first two basis elements. The ideal L=L^0 is spanned by all the basis elements of level \geq1. The ideal L^1 is then spanned by basis elements of level \geq2. And so it goes, each L^i spanned by basis elements of level \geq i+1. But this must run out soon enough, since the highest possible level is n-1. In terms of the matrix, elements of L^0 are zero everywhere on or below the diagonal; elements of L^1 are also zero one row above the diagonal; and so on, each step pushing the nonzero elements “off the edge” to the upper-right of the matrix. Thus \mathfrak{n}(n,\mathbb{F}) is nilpotent, and thus solvable as well.

Turning to L=\mathfrak{t}(n,\mathbb{F}), we already know that L^{(1)}=[L,L]=\mathfrak{n}(n,\mathbb{F}), which we just showed to be solvable! We see that L^{(n+1)}=\mathfrak{n}(n,\mathbb{F})^{(n)}, which will eventually bottom out at 0, thus L is solvable as well. However, we can also calculate that


and so the derived series of \mathfrak{t}(n,\mathbb{F}) stops after the first term and never reaches 0. Thus this algebra is solvable, but not nilpotent.

August 20, 2012 - Posted by | Algebra, Lie Algebras


  1. […] Solvability is an interesting property of a Lie algebra , in that it tends to “infect” many related algebras. For one thing, all subalgebras and quotient algebras of are also solvable. For the first count, it should be clear that if then . On the other hand, if is a quotient epimorphism then any element in has a representative in , so if the derived series of bottoms out at then so must the derived series of . […]

    Pingback by Facts About Solvability and Nilpotence « The Unapologetic Mathematician | August 22, 2012 | Reply

  2. […] boils down to the assertion that there is some common eigenvector for all the endomorphisms in a nilpotent linear Lie algebra on a finite-dimensional nonzero vector space . Lie’s theorem says that […]

    Pingback by Lie’s Theorem « The Unapologetic Mathematician | August 25, 2012 | Reply

  3. […] and Engel’s theorems tell us about flags? Well, Lie’s theorem tells us that if is solvable then it stabilizes some flag in . Equivalently, there is some basis with respect to which the […]

    Pingback by Flags « The Unapologetic Mathematician | August 25, 2012 | Reply

  4. […] Killing form is nondegenerate its radical is zero, and there can be no abelian ideals of . But the derived series of eventually hits zero, and its last nonzero term is an abelian ideal of . This can only work out […]

    Pingback by The Radical of the Killing Form « The Unapologetic Mathematician | September 6, 2012 | Reply

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: