Algebra di Lie risolubile
# Algebra di Lie risolubile

In matematica, un'algebra di Lie ${\mathfrak {g}}$ si dice risolubile se la sua serie derivata, definita come

    ${\mathfrak {g}}\geq [{\mathfrak {g}},{\mathfrak {g}}]\geq [[{\mathfrak {g}},{\mathfrak {g}}],[{\mathfrak {g}},{\mathfrak {g}}]]\geq [[[{\mathfrak {g}},{\mathfrak {g}}],[{\mathfrak {g}},{\mathfrak {g}}]],[[{\mathfrak {g}},{\mathfrak {g}}],[{\mathfrak {g}},{\mathfrak {g}}]]]\geq ...$

diviene 0 dopo un numero finito di passaggi.

Ogni algebra di Lie nilpotente è risolubile, ma il viceversa non è vero. L'ideale risolubile massimale è detto radicale.

## Proprietà

Sia ${\mathfrak {g}}$ un'algebra di Lie finito-dimensionale su un campo di caratteristica 0. Allora sono equivalenti:

* ${\mathfrak {g}}$ è risolubile
* $\operatorname {ad} ({\mathfrak {g}})$, la rappresentazione aggiunta di ${\mathfrak {g}}$, è risolubile.
* Esiste una successione finita di ideali ${\mathfrak {a}}_{i}$ di ${\mathfrak {g}}$ tali che:

    ${\mathfrak {g}}={\mathfrak {a}}_{0}\supset {\mathfrak {a}}_{1}\supset ...{\mathfrak {a}}_{r}=0$ dove $[{\mathfrak {a}}_{i},{\mathfrak {a}}_{i}]\subset {\mathfrak {a}}_{i+1}$ per ogni $i$.
* $[{\mathfrak {g}},{\mathfrak {g}}]$ è nilpotente.

Il teorema di Lie afferma che se $V$ è uno spazio vettoriale finito-dimensionale su un campo algebricamente chiuso di caratteristica 0, e ${\mathfrak {g}}$ è un'algebra di Lie risolubile su $V$, allora esiste una base di $V$ per la quale tutte le matrici degli elementi di ${\mathfrak {g}}$ sono triangolari superiori.

