Definition

For a linear operator , A Jordan–Chevalley decomposition of is an expression of it as a sum

where is semi-simple, is nilpotent, and and commute.

Theorem

Over a perfect field, a Jordan-Chevalley decomposition exists and is unique, where and are polynomials in with no constant terms. In particular, for any such decomposition over a perfect field, an operator that commutes with also commutes with and .

\begin{proof} Here we only prove the case over finite dimensional vector space over . For other cases, see here.

i) Uniqueness: suppose and . Since and are polynomials in with no constant terms, they commute. Note that . Since the sum of commuting nilpotent endomorphisms is nilpotent, and over a perfect field the sum of commuting semi-simple endomorphisms is again semi-simple, is both semi-simple and nilpotent. And so .

ii) Existence: By the existence of Jordan canonical form.

iii) Polynomials: Let be the characteristic polynomial of , where . The Chinese remainder theorem gives a polynomial satisfying the conditions$$ \begin{aligned} p(t)&\equiv 0\mod t\ p(t)&\equiv \lambda_i\mod (t-\lambda_i)^{d_i} \end{aligned}

Then for each $i\in\{1,\cdots,r\}$, $p(x)=\lambda_iI+(x-\lambda_iI)^{d_i}g_i(x)$ for some polynomial $g_i(t)$. So $x_s$ and $p(x)$ agree on each $V_i$, i.e. $p(x)=x_s$. Also then $q(t)=t-p(t)$ satisfies $q(x)=x_n$. The condition $p(t)\equiv 0\pmod t$ ensures that $p(t)$ and $q(t)$ have no constant term. `\end{proof}`