title: Álgebra de Lie soluble
text: # Álgebra de Lie soluble
  
  En matemáticas, un álgebra de Lie ${\mathfrak {g}}$ es soluble si su serie derivada termina en la subálgebra cero. El álgebra de Lie derivada del álgebra de Lie ${\mathfrak {g}}$ es el subálgebra de ${\mathfrak {g}}$, denotada como
     $[{\mathfrak {g}},{\mathfrak {g}}]$
  que consiste en todas las combinaciones lineales de corchetes de Lie de pares de elementos de ${\mathfrak {g}}$. La serie derivada es la secuencia de subálgebras:
     ${\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 \dots$
  Si la serie derivada llega finalmente a la subálgebra cero, entonces el álgebra de Lie se llama soluble. La serie derivada para álgebras de Lie es análoga a la serie derivada del subgrupo conmutador en teoría de grupos, y las álgebras de Lie solubles son análogas a los grupos solubles.
  Cualquier álgebra de Lie nilpotente es a fortiori soluble, pero lo contrario no es cierto. Las álgebras de Lie solubles y las álgebras de Lie semisimples forman dos clases numerosas y generalmente complementarias, como lo demuestra la descomposición de Levi. Las álgebras de Lie solubles son precisamente las que se pueden obtener a partir de productos semidirectos, partiendo de 0 y añadiendo una dimensión cada vez.
  Una subálgebra soluble máxima se llama subálgebra de Borel. El mayor ideal soluble de un álgebra de Lie se llama radical.
  
  # Álgebra de Lie soluble
  ## Caracterizaciones
  
  Sea ${\mathfrak {g}}$ un álgebra de Lie de dimensión finita sobre un cuerpo de característica 0, entonces, las siguientes afirmaciones son equivalentes:
  * (i) ${\mathfrak {g}}$ es soluble.
  * (ii) ${\rm {ad}}({\mathfrak {g}})$, la representación adjunta de ${\mathfrak {g}}$ es soluble.
  * (iii) Existe una sucesión finita de ideales ${\mathfrak {a}}_{i}$ de ${\mathfrak {g}}$:
      ${\mathfrak {g}}={\mathfrak {a}}_{0}\supset {\mathfrak {a}}_{1}\supset \dots {\mathfrak {a}}_{r}=0,\quad [{\mathfrak {a}}_{i},{\mathfrak {a}}_{i}]\subset {\mathfrak {a}}_{i+1}\,\,\forall i.$
  * (iv) $[{\mathfrak {g}},{\mathfrak {g}}]$ es nilpotente.
  * (v) Para ${\mathfrak {g}}$ de dimensión $n$, existe una sucesión de subálgebras ${\mathfrak {a}}_{i}$ of ${\mathfrak {g}}$:
      ${\mathfrak {g}}={\mathfrak {a}}_{0}\supset {\mathfrak {a}}_{1}\supset \dots {\mathfrak {a}}_{n}=0,\quad \operatorname {dim} {\mathfrak {a}}_{i}/{\mathfrak {a}}_{i+1}=1\,\,\forall i,$
      siendo cada ${\mathfrak {a}}_{i+1}$ un ideal de ${\mathfrak {a}}_{i}$. Una sucesión de este tipo se denomina sucesión elemental.
  * (vi) Existe una sucesión finita de subálgebras ${\mathfrak {g}}_{i}$ de ${\mathfrak {g}}$,
      ${\mathfrak {g}}={\mathfrak {g}}_{0}\supset {\mathfrak {g}}_{1}\supset \dots {\mathfrak {g}}_{r}=0,$
      tal que ${\mathfrak {g}}_{i+1}$ es un ideal de ${\mathfrak {g}}_{i}$ y ${\mathfrak {g}}_{i}/{\mathfrak {g}}_{i+1}$ es abeliana.
  * (vii) La forma de Killing $B$ de ${\mathfrak {g}}$ satisface que $B(X,Y)=0$ para todo $X$ de ${\mathfrak {g}}$ y $Y$ de $[{\mathfrak {g}},{\mathfrak {g}}]$. Este es el criterio de solubilidad de Cartan.
  
  # Álgebra de Lie soluble
  ## Propiedades
  
  El teorema de Lie establece que si $V$ es un espacio vectorial de dimensión finita sobre un cuerpo algebraicamente cerrado de característica cero, y ${\mathfrak {g}}$ es un álgebra de Lie soluble, y si $\pi$ es una representación de ${\mathfrak {g}}$ sobre $V$, entonces existe un vector propio simultáneo $v\in V$ de los endomorfismos $\pi (X)$ para todos los elementos $X\ en{\mathfrak {g}}$.
  * Toda subálgebra de Lie y el cociente de un álgebra de Lie soluble son solubles..
  * Dado un álgebra de Lie ${\mathfrak {g}}$ y un ideal ${\mathfrak {h}}$ en ella, ${\mathfrak {g}}$ es soluble si y sólo si tanto ${\mathfrak {h}}$ como ${\mathfrak {g}}/{\mathfrak {h}}$ son solubles.
      La afirmación análoga es cierta para las álgebras de Lie nilpotentes siempre que ${\mathfrak {h}}$ esté contenida en el centro. Así, una extensión de un álgebra soluble por otra soluble es soluble, mientras que una extensión "central" de un álgebra nilpotente por otra nilpotente es nilpotente.
  * Un álgebra de Lie no nula soluble tiene un ideal abeliano no nulo, el último término no nulo de la serie derivada.
  * Si ${\mathfrak {a}},{\mathfrak {b}}\subset {\mathfrak {g}}$ son ideales resolubles, entonces también lo es ${\mathfrak {a}}+{\mathfrak {b}}$. En consecuencia, si ${\mathfrak {g}}$ es de dimensión finita, entonces hay un único ideal soluble ${\mathfrak {r}}\subset {\mathfrak {g}}$ que contiene todos los ideales solubles en ${\mathfrak {g}}$. Este ideal es el radical de ${\mathfrak {g}}$.
  * Un álgebra de Lie soluble ${\mathfrak {g}}$ tiene un único ideal nilpotente mayor ${\mathfrak {n}}$, llamado nilradical, el conjunto de todas las $X\in {\mathfrak {g}}$ tales que ${rmad}_{X}$ es nilpotente. Si $D$ es una derivación cualquiera de ${\mathfrak {g}}$, entonces $D({\mathfrak {g}})\subset {\mathfrak {n}}$.
  
  # Álgebra de Lie soluble
  ## Álgebras de Lie completamente solubles
  
  Un álgebra de Lie ${\mathfrak {g}}$ se llama completamente soluble o soluble por partes si tiene una secuencia elemental de ideales en ${\mathfrak {g}}$ desde $0$ hasta ${\mathfrak {g}}$. Un álgebra de Lie nilpotente de dimensión finita es completamente soluble, y un álgebra de Lie completamente soluble es soluble. Sobre un cuerpo algebraicamente cerrado, una álgebra de Lie soluble es completamente soluble. Sin embargo, sobe un cuerpo que no sea algebraicamente cerrado esto nosucede, por ejemplo, el álgebra de Lie real de tres dimensiones del grupo de isometrías euclidianas del plano es soluble, pero no completamente soluble.
  Un álgebra de Lie soluble ${\mathfrak {g}}$ es soluble por partes si y sólo si los valores propios de ${\text{ad}}_{X}$ están en $k$ para toda $X$ en ${\mathfrak {g}}$.
  
  # Álgebra de Lie soluble
  ## Ejemplos
  ### Álgebras de Lie abelianas
  
  Toda álgebra de Lie abeliana ${\mathfrak {a}}$ es resoluble por definición, ya que su conmutador $[{\mathfrak {a}},{\mathfrak {a}}]=0$. Esto incluye el álgebra de Lie de las matrices diagonales en ${\mathfrak {gl}}(n)$, que son de la forma
     $\left\{{\begin{bmatrix}*&0&0\\0&*&0\\0&0&*\end{bmatrix}}\right\}$
  para $n=3$. La estructura del álgebra de Lie en un espacio vectorial $V$ dada por el corchete trivial $[m,n]=0$ para dos matrices cualesquiera $m,n\in {\text{End}}(V)$ es otro ejemplo de álgebra abeliana.
  
  # Álgebra de Lie soluble
  ## Ejemplos
  ### Álgebras de Lie nilpotentes
  
  Otra clase de ejemplos proviene de las álgebras de Lie nilpotentes ya que la representación adjunta es soluble. Algunos ejemplos incluyen las matrices triangulares superiores, tales como la clase de matrices de la forma
     $\left\{{\begin{bmatrix}0&*&*\\0&0&*\\0&0&0\end{bmatrix}}\right\}$
  llamada álgebra de Lie de las matrices estrictamente triangulares superiores. Además, el álgebra de Lie de las matrices diagonales superiores en ${\mathfrak {gl}}(n)$ forman un álgebra de Lie soluble. Esto incluye a las matrices de la forma
     $\left\{{\begin{bmatrix}*&*&*\\0&*&*\\0&0&*\end{bmatrix}}\right\}$
  y se denota como ${\mathfrak {b}}_{k}$.
  
  # Álgebra de Lie soluble
  ## Ejemplos
  ### Soluble pero no divisible
  
  Sea ${\mathfrak {g}}$ el conjunto de matrices de la forma
     $X=\left({\begin{matrix}0&\theta &x\\-\theta &0&y\\0&0\end{matrix}}\right),\quad \theta ,x,y\in \mathbb {R} .$
  Entonces ${\mathfrak {g}}$ es soluble, pero no divisible. Esta álgebra es isomorfa al álgebra de Lie del grupo de traslaciones y rotaciones en el plano.
  
  # Álgebra de Lie soluble
  ## Ejemplos
  ### Anti-ejemplo
  
  Un álgebra de Lie semisimple ${\mathfrak {l}}$ nunca es soluble ya que su radical ${\text{Rad}}({\mathfrak {l}})$, que es el ideal soluble más grande en ${\mathfrak {l}}$, es trivial. $^{página11}$
  
  # Álgebra de Lie soluble
  ## Grupos de Lie solubles
  
  Debido a que el término "soluble" también se usa para grupo solubles en teoría de grupos, hay varias definiciones posibles de grupo de Lie soluble Para un grupo de Lie $G$, hay
  * terminación de la serie derivada habitual del grupo $G$ (como grupo abstracto);
  * terminación de las clausuras de la serie derivada;
  * tener un álgebra de Lie soluble