In mathematics, a Lie algebra is solvable if its derived series terminates in the zero subalgebra. The derived Lie algebra of the Lie algebra is the subalgebra of , denoted

that consists of all linear combinations of Lie brackets of pairs of elements of . The derived series is the sequence of subalgebras

If the derived series eventually arrives at the zero subalgebra, then the Lie algebra is called solvable.[1] The derived series for Lie algebras is analogous to the derived series for commutator subgroups in group theory, and solvable Lie algebras are analogs of solvable groups.

Any nilpotent Lie algebra is a fortiori solvable but the converse is not true. The solvable Lie algebras and the semisimple Lie algebras form two large and generally complementary classes, as is shown by the Levi decomposition. The solvable Lie algebras are precisely those that can be obtained from semidirect products, starting from 0 and adding one dimension at a time.[2]

A maximal solvable subalgebra is called a Borel subalgebra. The largest solvable ideal of a Lie algebra is called the radical.

Characterizations

edit

Let   be a finite-dimensional Lie algebra over a field of characteristic 0. The following are equivalent.

  • (i)   is solvable.
  • (ii)  , the adjoint representation of  , is solvable.
  • (iii) There is a finite sequence of ideals   of  :
     
  • (iv)   is nilpotent.[3]
  • (v) For    -dimensional, there is a finite sequence of subalgebras   of  :
     
with each   an ideal in  .[4] A sequence of this type is called an elementary sequence.
  • (vi) There is a finite sequence of subalgebras   of  ,
     
such that   is an ideal in   and   is abelian.[5]
  • (vii) The Killing form   of   satisfies   for all X in   and Y in  .[6] This is Cartan's criterion for solvability.

Properties

edit

Lie's Theorem states that if   is a finite-dimensional vector space over an algebraically closed field of characteristic zero, and   is a solvable Lie algebra, and if   is a representation of   over  , then there exists a simultaneous eigenvector   of the endomorphisms   for all elements  .[7]

  • Every Lie subalgebra and quotient of a solvable Lie algebra are solvable.[8]
  • Given a Lie algebra   and an ideal   in it,
      is solvable if and only if both   and   are solvable.[8][2]
The analogous statement is true for nilpotent Lie algebras provided   is contained in the center. Thus, an extension of a solvable algebra by a solvable algebra is solvable, while a central extension of a nilpotent algebra by a nilpotent algebra is nilpotent.
  • A solvable nonzero Lie algebra has a nonzero abelian ideal, the last nonzero term in the derived series.[2]
  • If   are solvable ideals, then so is  .[1] Consequently, if   is finite-dimensional, then there is a unique solvable ideal   containing all solvable ideals in  . This ideal is the radical of  .[2]
  • A solvable Lie algebra   has a unique largest nilpotent ideal  , called the nilradical, the set of all   such that   is nilpotent. If D is any derivation of  , then  .[9]

Completely solvable Lie algebras

edit

A Lie algebra   is called completely solvable or split solvable if it has an elementary sequence{(V) As above definition} of ideals in   from   to  . A finite-dimensional nilpotent Lie algebra is completely solvable, and a completely solvable Lie algebra is solvable. Over an algebraically closed field a solvable Lie algebra is completely solvable, but the  -dimensional real Lie algebra of the group of Euclidean isometries of the plane is solvable but not completely solvable.

A solvable Lie algebra   is split solvable if and only if the eigenvalues of   are in   for all   in  .[2]

Examples

edit

Abelian Lie algebras

edit

Every abelian Lie algebra   is solvable by definition, since its commutator  . This includes the Lie algebra of diagonal matrices in  , which are of the form

 

for  . The Lie algebra structure on a vector space   given by the trivial bracket   for any two matrices   gives another example.

Nilpotent Lie algebras

edit

Another class of examples comes from nilpotent Lie algebras since the adjoint representation is solvable. Some examples include the upper-diagonal matrices, such as the class of matrices of the form

 

called the Lie algebra of strictly upper triangular matrices. In addition, the Lie algebra of upper diagonal matrices in   form a solvable Lie algebra. This includes matrices of the form

 

and is denoted  .

Solvable but not split-solvable

edit

Let   be the set of matrices on the form

 

Then   is solvable, but not split solvable.[2] It is isomorphic with the Lie algebra of the group of translations and rotations in the plane.

Non-example

edit

A semisimple Lie algebra   is never solvable since its radical  , which is the largest solvable ideal in  , is trivial.[1] page 11

Solvable Lie groups

edit

Because the term "solvable" is also used for solvable groups in group theory, there are several possible definitions of solvable Lie group. For a Lie group  , there is

  • termination of the usual derived series of the group   (as an abstract group);
  • termination of the closures of the derived series;
  • having a solvable Lie algebra

See also

edit

Notes

edit
  1. ^ a b c Humphreys 1972
  2. ^ a b c d e f Knapp 2002
  3. ^ Knapp 2002 Proposition 1.39.
  4. ^ Knapp 2002 Proposition 1.23.
  5. ^ Fulton & Harris 1991
  6. ^ Knapp 2002 Proposition 1.46.
  7. ^ Knapp 2002 Theorem 1.25.
  8. ^ a b Serre 2001, Ch. I, § 6, Definition 2.
  9. ^ Knapp 2002 Proposition 1.40.

References

edit
  • Fulton, W.; Harris, J. (1991). Representation theory. A first course. Graduate Texts in Mathematics. Vol. 129. New York: Springer-Verlag. ISBN 978-0-387-97527-6. MR 1153249.
  • Humphreys, James E. (1972). Introduction to Lie Algebras and Representation Theory. Graduate Texts in Mathematics. Vol. 9. New York: Springer-Verlag. ISBN 0-387-90053-5.
  • Knapp, A. W. (2002). Lie groups beyond an introduction. Progress in Mathematics. Vol. 120 (2nd ed.). Boston·Basel·Berlin: Birkhäuser. ISBN 0-8176-4259-5..
  • Serre, Jean-Pierre (2001). Complex Semisimple Lie Algebras. Berlin: Springer. ISBN 3-5406-7827-1.
edit