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}`