Descomposición de Jordan-Chevalley
# Descomposición de Jordan-Chevalley

En matemáticas, la descomposición de Jordan-Chevalley, llamada así por los matemáticos Camille Jordan y Claude Chevalley, es una expresión de un operador lineal como la suma de su parte semisimple y de su parte nilpotente, que conmutan. También hay una descomposición multiplicativa relacionada, que expresa un operador invertible como el producto de sus partes semisimple y unipotente, que también conmutan. La descomposición es fácil de describir cuando se tiene la forma canónica de Jordan del operador, pero existe bajo hipótesis más débiles que la existencia de una forma canónica de Jordan. Hay descomposiciones análogas a la de Jordan-Chevalley para elementos de grupos algebraicos lineales, álgebras de Lie y grupos de Lie, y la descomposición es una herramienta importante en el estudio de dichos objetos.

# Descomposición de Jordan-Chevalley
## Descomposición de un operador lineal

Se consideran los operadores lineales en un espacio vectorial de dimensión finita sobre un cuerpo. Un operador T se dice semisimple si cada subespacio invariante por T tiene un complementario invariante por T (si el cuerpo subyacente es algebraicamente cerrado, esto equivale a requerir que el operador sea diagonalizable). Un operador $x$ se dice nilpotente si alguna potencia $x^{m}$ de él es el operador cero, y se dice unipotente si $x-1$ es nilpotente.
Sea pues $x$ cualquier operador. Una descomposición de Jordan-Chevalley de $x$ es una expresión del operador como una suma
    $x=x_{n}+x_{s}$
donde $x_{s}$ es semisimple, $x_{n}$ es nilpotente y $x_{s}$ y $x_{n}$ conmutan. Sobre un cuerpo perfecto, siempre existe tal descomposición y es única (véase #Prueba de unicidad y existencia ), y $x_{s}$ y $x_{n}$ son polinomios en $x$ sin términos constantes. En particular, para cualquier descomposición de este tipo sobre un cuerpo perfecto, un operador que conmuta con $x$ también conmuta con $x_{s}$ y $x_{n}$.
De manera similar, si $x$ es un operador invertible, entonces una descomposición multiplicativa de Jordan-Chevalley expresa $x$ como un producto
    $x=x_{s}\cdot x_{u}$
donde $x_{s}$ es semisimple, $x_{u}$ es unipotente y $x_{s}$ y $x_{u}$ conmutan. De nuevo, sobre un cuerpo perfecto, tal descomposición existe y es única y tanto $x_{s}$ como $x_{n}$ son polinomios en $x$. La versión multiplicativa de la descomposición se obtiene de la aditiva ya que, como es fácil ver que $x_{s}$ es invertible:
    $x=x_{s}+x_{n}=x_{s}\left(1+x_{s}^{-1}x_{n}\right)$
y $1+x_{s}^{-1}x_{n}$ es unipotente. (Recíprocamente, con un argumento parecido, uno puede deducir la versión aditiva de la multiplicativa).
Si $x$ está escrito en forma canónica de Jordan (con respecto a alguna base), entonces $x_{s}$ es el endomorfismo cuya matriz consiste solo de los términos diagonales de $x$, y $x_{n}$ es el endomorfismo cuya matriz consiste solo de los términos de fuera de la diagonal; $x_{u}$ es el endomorfismo cuya matriz se obtiene de la forma canónica de Jordan dividiendo todas las entradas de cada bloque de Jordan por su elemento diagonal.

# Descomposición de Jordan-Chevalley
## Descomposición de un operador lineal
### Prueba de unicidad y existencia.

* Demostración de unicidad
* La unicidad se deriva del hecho de que $x_{s},x_{n}$ son polinomios en $x$: si
* $x=x_{s}'+x_{n}'$ es otra descomposición tal que
* $x_{s}'$ y $x_{n}'$ conmutan, entonces
* $x_{s}-x_{s}'=x_{n}-x_{n}'$, y tanto
* $x_{s}'$como $x_{n}'$conmutan con $x$,
* luego también con $x_{s}$ y con $x_{n}$.
* La suma de dos endomorfismos nilpotentes que conmutan es nilpotente, y sobre un cuerpo perfecto la suma de dos endomorfismos semisimples que conmutan vuelve a ser semisimple. Dado que el único operador que es a la vez semisimple y nilpotente es el operador cero, se sigue que
* $x_{s}=x_{s}'$ y
* $x_{n}=x_{n}'$.
* Demostración de existencia
* Demostración de existencia. Sea
* $V$ un espacio vectorial de dimensión finita sobre un cuerpo perfecto $k$ y sea $x:V\to V$ un endomorfismo.
* Supongamos primero que el cuerpo base $k$ es algebraicamente cerrado. En ese caso, el espacio vectorial $V$ se descompone en la suma directa V=⨁$_{i=1}$$^r$V$_i${\textstyle V=\bigoplus _{i=1}^{r}V_{i}} donde cada $V_{i}$ es el núcleo de $(x-\lambda _{i}I)^{m_{i}}$, es decir, el espacio propio generalizado, y x estabiliza $V_{i}$, ó sea, $x\cdot V_{i}\subset V_{i}$ para cada $i$. Ahora, se define $x_{s}:V\to V$ de manera que, en cada $V_{i}$, sea el producto por el escalar $\lambda _{i}$. Se representa por una matriz diagonal en una base que respete la descomposición en suma directa; por lo tanto, es un endomorfismo semisimple. Puesto que $x-x_{s}:V_{i}\to V_{i}$ es entonces $x-\lambda _{i}I:V_{i}\to V_{i}$ cuya $m_{i}$-ésima potencia es cero, también tenemos que $x_{n}:=x-x_{s}$ es nilpotente, demostrando la existencia.
* El hecho de que $x_{s},x_{n}$ son polinomios en $x$ se deriva del teorema chino del resto. Llamemos $f(t)=\operatorname {det} (tI-x)$ al polinomio característico de x. $f$ coincide con el producto de los polinomios característicos de las restricciones $x:V_{i}\to V_{i}$ ; es decir, f(t)=∏$_{i=1}$$^r$(t−λ$_i$)$^{di}$, d$_i$=dim⁡V$_i$.{\textstyle f(t)=\prod _{i=1}^{r}(t-\lambda _{i})^{d_{i}}, d_{i}=\dim V_{i}.} Además, $d_{i}\geq m_{i}$ (porque, en general, una matriz nilpotente muere cuando se eleva al tamaño de la matriz). Aplicando el teorema chino del resto al anillo de polinomios $k[t]$ obtenemos un polinomio $p(t)$ que satisface las condiciones:
* $p(t)\equiv 0{\bmod {t}},\,p(t)\equiv \lambda _{i}{\bmod {}t-\lambda _{i})^{d_{i}}$ (para todo i).
* La condición $p(t)\equiv \lambda _{i}{\bmod {}t-\lambda _{i})^{d_{i}}$ significa que $p(t)-\lambda _{i}=g_{i}(t)(t-\lambda _{i})^{d_{i}}$ para algún polinomio $g_{i}(t)$ . Ya que $(x-\lambda _{i}I)^{d_{i}}$ es el operador nulo en $V_{i}$, $p(x)$ y $x_{s}$ x_s coinciden en cada $V_{i}$ ; es decir, $p(x)=x_{s}$. Entonces, $q(x)=x_{n}$ con $q(t)=t-p(t)$. La condición $p(t)\equiv 0{\bmod {t}}$ asegura que $p(t)$ y $q(t)$ no tienen términos constantes. Esto completa la demostración en el caso de un cuerpo algebraicamente cerrado.
* Si k es ahora un cuerpo perfecto arbitrario, llamamos $\Gamma =\operatorname {Gal} \left({\overline {k}}/k\right)$ al grupo absoluto de Galois de k. Por la primera parte, podemos elegir polinomios $p,q$ sobre ${\overline {k}}$ tales que $x=p(x)+q(x)$ es la descomposición en la parte semisimple y nilpotente. Para cada $\sigma$ en $\Gamma$ , $x=\sigma (x)=\sigma (p(x))+\sigma (q(x))=p(x)+q(x).$
* Ahora bien, $\sigma (p(x))=\sigma (p)(x)$ es un polinomio en x, al igual que $\sigma (q(x))$. Por lo tanto, $\sigma (p(x))$ y $\sigma (q(x))$ conmutan. Asimismo, la aplicación $\sigma$ evidentemente conserva la semisimplicidad y la nilpotencia. De este modo, por unicidad de la descomposición (sobre ${\overline {k}}$), $\sigma (p(x))=p(x)$ y $\sigma (q(x))=q(x)$. Por eso $x_{s}=p(x),x_{n}=q(x)$ son $\Gamma$-invariantes; es decir, son endomorfismos (representados por matrices) sobre k. Finalmente, ya que $\left\{1,x,x^{2},\dots \right\}$ contiene una ${\overline {k}}$-base que genera el espacio que contiene a $x_{s},x_{n}$, por el mismo argumento, también vemos que $p,q$ tienen coeficientes en k . Esto completa la demostración. $\square$

# Descomposición de Jordan-Chevalley
## Descomposición de un operador lineal
### Prueba corta usando álgebra abstracta

(Jacobson , 1979) demuestra la existencia de la descomposición como consecuencia del teorema principal de Wedderburn. Obtiene así una demostración más corta, y que muestra más claramente el rol que juega la perfección del cuerpo base.
Demostración :
* Para un álgebra $A$ de dimensión finita con radical de Jacobson $J$, si $A/J$ es separable, entonces la sobreyección natural $p:A\to A/J$ tiene inversa por la derecha; es decir, $A$ contiene una subálgebra semisimple $B$ tal que $p|_{B}:B{\overset {\sim }{\to }}A/J$ es un isomorfismo.

# Descomposición de Jordan-Chevalley
## Criterio de nilpotencia

La descomposición de Jordan se puede utilizar para caracterizar la nilpotencia de un endomorfismo. Sea k un cuerpo algebraicamente cerrado de característica cero, $E=\operatorname {End} _{\mathbb {Q} }(k)$ el anillo de endomorfismos de k sobre los racionales y V un espacio vectorial de dimensión finita sobre k . Dado un endomorfismo $x:V\to V$, sea $x=s+n$ su descomposición de Jordan. Entonces $s$ es diagonalizable; es decir, $V=\bigoplus V_{i}$ donde cada $V_{i}$ es el espacio propio para el valor propio $\lambda _{i}$ con multiplicidad $m_{i}$. Entonces para cualquier $\varphi \in E$ definimos $\varphi (s)$ como el endomorfismo tal que $\varphi (s):V_{i}\to V_{i}$ es el producto por $\varphi (\lambda _{i})$. Chevalley llama a $\varphi (s)$ la réplica de $s$ dada por $\varphi$. Por ejemplo, si $k=\mathbb {C}$, el conjugado de un endomorfismo es un ejemplo de réplica. Se tiene:
* $x$ es nilpotente (i.e., $s=0$) si y solamente si $\operatorname {tr} (x\varphi (s))=0$ para cualquier $\varphi \in E$. Además, en el caso $k=\mathbb {C}$, basta con que la condición se satisfaga para $\varphi$ la conjugación compleja.
* Criterio de nilpotencia