# The Unapologetic Mathematician

## The Jordan-Chevalley Decomposition

We recall that any linear endomorphism of a finite-dimensional vector space over an algebraically closed field can be put into Jordan normal form: we can find a basis such that its matrix is the sum of blocks that look like

$\displaystyle\begin{pmatrix}\lambda&1&&&{0}\\&\lambda&1&&\\&&\ddots&\ddots&\\&&&\lambda&1\\{0}&&&&\lambda\end{pmatrix}$

where $\lambda$ is some eigenvalue of the transformation. We want a slightly more abstract version of this, and it hinges on the idea that matrices in Jordan normal form have an obvious diagonal part, and a bunch of entries just above the diagonal. This off-diagonal part is all in the upper-triangle, so it is nilpotent; the diagonalizable part we call “semisimple”. And what makes this particular decomposition special is that the two parts commute. Indeed, the block-diagonal form means we can carry out the multiplication block-by-block, and in each block one factor is a constant multiple of the identity, which clearly commutes with everything.

More generally, we will have the Jordan-Chevalley decomposition of an endomorphism: any $x\in\mathrm{End}(V)$ can be written uniquely as the sum $x=x_s+x_n$, where $x_s$ is semisimple — diagonalizable — and $x_n$ is nilpotent, and where $x_s$ and $x_n$ commute with each other.

Further, we will find that there are polynomials $p(T)$ and $q(T)$ — each of which with no constant term — such that $p(x)=x_s$ and $q(x)=x_n$. And thus we will find that any endomorphism that commutes with $x$ with also commute with both $x_s$ and $x_n$.

Finally, if $A\subseteq B\subseteq V$ is any pair of subspaces such that $x:B\to A$ then the same is true of both $x_s$ and $x_n$.

We will prove these next time, but let’s see that this is actually true of the Jordan normal form. The first part we’ve covered.

For the second, set aside the assertion about $p$ and $q$; any endomorphism commuting with $x$ either multiplies each block by a constant or shuffles similar blocks, and both of these operations commute with both $x_n$ and $x_n$.

For the last part, we may as well assume that $B=V$, since otherwise we can just restrict to $x\vert_B\in\mathrm{End}(B)$. If $\mathrm{Im}(x)\subseteq A$ then the Jordan normal form shows us that any complementary subspace to $A$ must be spanned by blocks with eigenvalue $0$. In particular, it can only touch the last row of any such block. But none of these rows are in the range of either the diagonal or off-diagonal portions of the matrix.

### Like this:

Posted by John Armstrong | Algebra, Linear Algebra

## 3 Comments	»

1. [...] now give the proof of the Jordan-Chevalley decomposition. We let have distinct eigenvalues with multiplicities , so the characteristic polynomial of [...]

Pingback by | August 28, 2012 | Reply

2. [...] Now that we’ve given the proof, we want to mention a few uses of the Jordan-Chevalley decomposition. [...]

Pingback by | August 30, 2012 | Reply

3. [...] first thing we do is take the Jordan-Chevalley decomposition of — — and fix a basis that diagonalizes with eigenvalues . We define to be the [...]

Pingback by | August 31, 2012 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 29, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9161162972450256, "perplexity_flag": "head"}