Jordan–Chevalley decomposition

In mathematics, specifically linear algebra, the Jordan–Chevalley decomposition, named after Camille Jordan and Claude Chevalley, expresses a linear operator in a unique way as the sum of two other linear operators which are simpler to understand. Specifically, one part is potentially diagonalisable and the other is nilpotent. The two parts are polynomials in the operator, which makes them behave nicely in algebraic manipulations. The decomposition has a short description when the Jordan normal form of the operator is given, but it exists under weaker hypotheses than are needed for the existence of a Jordan normal form. Hence the Jordan–Chevalley decomposition can be seen as a generalisation of the Jordan normal form, which is also reflected in several proofs of it.

It is closely related to the Wedderburn principal theorem about associative algebras, which also leads to several analogues in Lie algebras. Analogues of the Jordan–Chevalley decomposition also exist for elements of Linear algebraic groups and Lie groups via a multiplicative reformulation. The decomposition is an important tool in the study of all of these objects, and was developed for this purpose.

In many texts, the potentially diagonalisable part is also characterised as the semisimple part.

Introduction

A basic question in linear algebra is whether an operator on a finite-dimensional vector space can be diagonalised. For example, this is closely related to the eigenvalues of the operator. In several contexts, one may be dealing with many operators which are not diagonalisable. Even over an algebraically closed field, a diagonalisation may not exist. In this context, the Jordan normal form achieves the best possible result akin to a diagonalisation. For linear operators over a field which is not algebraically closed, there may be no eigenvector at all. This latter point is not the main concern dealt with by the Jordan–Chevalley decomposition. To avoid this problem, instead potentially diagonalisable operators are considered, which are those that admit a diagonalisation over some field (or equivalently over the algebraic closure of the field under consideration).

The operators which are „the furthest away“ from being diagonalisable are nilpotent operators. An operator (or more generally an element of a ring) [math]\displaystyle{ x }[/math] is said to be nilpotent when there is some positive integer [math]\displaystyle{ m \geq 1 }[/math] such that [math]\displaystyle{ x^m = 0 }[/math]. In several contexts in abstract algebra, it is the case that the presence of nilpotent elements of a ring make them much more complicated to work with. To some extent, this is also the case for linear operators. The Jordan–Chevalley decomposition „separates out“ the nilpotent part of an operator which causes it to be not potentially diagonalisable. So when it exists, the complications introduced by nilpotent operators and their interaction with other operators can be understood using the Jordan–Chevalley decomposition.

Historically, the Jordan–Chevalley decomposition was motivated by the applications to the theory of Lie algebras and linear algebraic groups, as described in sections below.

Decomposition of a linear operator

Let [math]\displaystyle{ K }[/math] be a field, [math]\displaystyle{ V }[/math] a finite-dimensional vector space over [math]\displaystyle{ K }[/math], and [math]\displaystyle{ T }[/math] a linear operator over [math]\displaystyle{ V }[/math] (equivalently, a matrix with entries from [math]\displaystyle{ K }[/math]). If the minimal polynomial of [math]\displaystyle{ T }[/math] splits over [math]\displaystyle{ K }[/math] (for example if [math]\displaystyle{ K }[/math] is algebraically closed), then [math]\displaystyle{ T }[/math] has a Jordan normal form [math]\displaystyle{ T = SJS^{-1} }[/math]. If [math]\displaystyle{ D }[/math] is the diagonal of [math]\displaystyle{ J }[/math], let [math]\displaystyle{ R = J - D }[/math] be the remaining part. Then [math]\displaystyle{ T = SDS^{-1} + SRS^{-1} }[/math] is a decomposition where [math]\displaystyle{ SDS^{-1} }[/math] is diagonalisable and [math]\displaystyle{ SRS^{-1} }[/math] is nilpotent. This restatement of the normal form as an additive decomposition not only makes the numerical computation more stable, but can be generalised to cases where the minimal polynomial of [math]\displaystyle{ T }[/math] does not split.

If the minimal polynomial of [math]\displaystyle{ T }[/math] splits into distinct linear factors, then [math]\displaystyle{ T }[/math] is diagonalisable. Therefore, if the minimal polynomial of [math]\displaystyle{ T }[/math] is at least separable, then [math]\displaystyle{ T }[/math] is potentially diagonalisable. The Jordan–Chevalley decomposition is concerned with the more general case where the minimal polynomial of [math]\displaystyle{ T }[/math] is a product of separable polynomials.

Let [math]\displaystyle{ x: V \to V }[/math] be any linear operator on the finite-dimensional vector space [math]\displaystyle{ V }[/math] over the field [math]\displaystyle{ K }[/math]. A Jordan–Chevalley decomposition of [math]\displaystyle{ x }[/math] is an expression of it as a sum

[math]\displaystyle{ x = x_s + x_n }[/math] ,

where [math]\displaystyle{ x_s }[/math] is potentially diagonalisable, [math]\displaystyle{ x_n }[/math] is nilpotent, and [math]\displaystyle{ x_s x_n = x_n x_s }[/math].

Jordan-Chevalley decomposition — Let [math]\displaystyle{ x: V \to V }[/math] be any operator on the finite-dimensional vector space [math]\displaystyle{ V }[/math] over the field [math]\displaystyle{ K }[/math]. Then [math]\displaystyle{ x }[/math] admits a Jordan-Chevalley decomposition if and only if the minimal polynomial of [math]\displaystyle{ x }[/math] is a product of separable polynomials. Moreover, in this case, there is a unique Jordan-Chevalley decomposition, and [math]\displaystyle{ x_s }[/math] (and hence also [math]\displaystyle{ x_n }[/math]) can be written as a polynomial (with coefficients from [math]\displaystyle{ K }[/math]) in [math]\displaystyle{ x }[/math] with zero constant coefficient.

Several proofs are discussed in (Couty, Esterle & Zarouf 2011). Two arguments are also described below.

If [math]\displaystyle{ K }[/math] is a perfect field, then every polynomial is a product of separable polynomials (since every polynomial is a product of its irreducible factors, and these are separable over a perfect field). So in this case, the Jordan–Chevalley decomposition always exists. Moreover, over a perfect field, a polynomial is separable if and only if it is square-free. Therefore an operator is potentially diagonalisable if and only if its minimal polynomial is square-free. In general (over any field), the minimal polynomial of a linear operator is square-free if and only if the operator is semisimple. (In particular, the sum of two commuting semisimple operators is always semisimple over a perfect field. The same statement is not true over general fields.) The property of being semisimple is more relevant than being potentially diagonalisable in most contexts where the Jordan–Chevalley decomposition is applied, such as for Lie algebras. For these reasons, many texts restrict to the case of perfect fields.

Proof of uniqueness and necessity

That [math]\displaystyle{ x_s }[/math] and [math]\displaystyle{ x_n }[/math] are polynomials in [math]\displaystyle{ x }[/math] implies in particular that they commute with any operator that commutes with [math]\displaystyle{ x }[/math]. This observation underlies the uniqueness proof.

Let [math]\displaystyle{ x = x_s + x_n }[/math] be a Jordan–Chevalley decomposition in which [math]\displaystyle{ x_s }[/math] and (hence also) [math]\displaystyle{ x_n }[/math] are polynomials in [math]\displaystyle{ x }[/math]. Let [math]\displaystyle{ x = x_s' + x_n' }[/math] be any Jordan–Chevalley decomposition. Then [math]\displaystyle{ x_s - x_s' = x_n' - x_n }[/math], and [math]\displaystyle{ x_s', x_n' }[/math] both commute with [math]\displaystyle{ x }[/math], hence with [math]\displaystyle{ x_s, x_n }[/math] since these are polynomials in [math]\displaystyle{ x }[/math]. The sum of commuting nilpotent operators is again nilpotent, and the sum of commuting potentially diagonalisable operators again potentially diagonalisable (because they are simultaneously diagonalizable over the algebraic closure of [math]\displaystyle{ K }[/math]). Since the only operator which is both potentially diagonalisable and nilpotent is the zero operator it follows that [math]\displaystyle{ x_s - x_s' = 0 = x_n - x_n' }[/math].

To show that the condition that [math]\displaystyle{ x }[/math] have a minimal polynomial which is a product of separable polynomials is necessary, suppose that [math]\displaystyle{ x = x_s + x_n }[/math] is some Jordan–Chevalley decomposition. Letting [math]\displaystyle{ p }[/math] be the separable minimal polynomial of [math]\displaystyle{ x_s }[/math], one can check using the binomial theorem that [math]\displaystyle{ p(x_s + x_n) }[/math] can be written as [math]\displaystyle{ x_n y }[/math] where [math]\displaystyle{ y }[/math] is some polynomial in [math]\displaystyle{ x_s, x_n }[/math]. Moreover, for some [math]\displaystyle{ \ell \geq 1 }[/math], [math]\displaystyle{ x_n^\ell = 0 }[/math]. Thus [math]\displaystyle{ p(x)^\ell = x_n^\ell y^\ell = 0 }[/math] and so the minimal polynomial of [math]\displaystyle{ x }[/math] must divide [math]\displaystyle{ p^\ell }[/math]. As [math]\displaystyle{ p^\ell }[/math] is a product of separable polynomials (namely of copies of [math]\displaystyle{ p }[/math]), so is the minimal polynomial.

Concrete example for non-existence

If the ground field is not perfect, then a Jordan–Chevalley decomposition may not exist, as it is possible that the minimal polynomial is not a product of separable polynomials. The simplest such example is the following. Let [math]\displaystyle{ p }[/math] be a prime number, let [math]\displaystyle{ k }[/math] be an imperfect field of characteristic [math]\displaystyle{ p, }[/math] (e. g. [math]\displaystyle{ k = \mathbb{F}_p(t) }[/math]) and choose [math]\displaystyle{ a \in k }[/math] that is not a [math]\displaystyle{ p }[/math]th power. Let [math]\displaystyle{ V = k[X]/\left(X^p - a\right)^2, }[/math] let [math]\displaystyle{ x = \overline X }[/math] be the image in the quotient and let [math]\displaystyle{ T }[/math] be the [math]\displaystyle{ k }[/math]-linear operator given by multiplication by [math]\displaystyle{ x }[/math] in [math]\displaystyle{ V }[/math]. Note that the minimal polynomial is precisely [math]\displaystyle{ \left(X^p - a\right)^2 }[/math], which is inseparable and a square. By the necessity of the condition for the Jordan–Chevalley decomposition (as shown in the last section), this operator does not have a Jordan–Chevalley decomposition. It can be instructive to see concretely why there is at least no decomposition into a square-free and a nilpotent part.

Concrete argument for non-existence of a Jordan-Chavelley decomposition

Note that [math]\displaystyle{ T }[/math] has as its invariant [math]\displaystyle{ k }[/math]-linear subspaces precisely the ideals of [math]\displaystyle{ V }[/math] viewed as a ring, which correspond to the ideals of [math]\displaystyle{ k[X] }[/math] containing [math]\displaystyle{ \left(X^p - a\right)^2 }[/math]. Since [math]\displaystyle{ X^p - a }[/math] is irreducible in [math]\displaystyle{ k[X], }[/math] ideals of [math]\displaystyle{ V }[/math] are [math]\displaystyle{ 0, }[/math] [math]\displaystyle{ V }[/math] and [math]\displaystyle{ J = \left(x^p - a\right)V. }[/math] Suppose [math]\displaystyle{ T = S + N }[/math] for commuting [math]\displaystyle{ k }[/math]-linear operators [math]\displaystyle{ S }[/math] and [math]\displaystyle{ N }[/math] that are respectively semisimple (just over [math]\displaystyle{ k }[/math], which is weaker than semisimplicity over an algebraic closure of [math]\displaystyle{ k }[/math] and also weaker than being potentially diagonalisable) and nilpotent. Since [math]\displaystyle{ S }[/math] and [math]\displaystyle{ N }[/math] commute, they each commute with [math]\displaystyle{ T = S + N }[/math] and hence each acts [math]\displaystyle{ k[x] }[/math]-linearly on [math]\displaystyle{ V }[/math]. Therefore [math]\displaystyle{ S }[/math] and [math]\displaystyle{ N }[/math] are each given by multiplication by respective members of [math]\displaystyle{ V }[/math] [math]\displaystyle{ s = S(1) }[/math] and [math]\displaystyle{ n = N(1), }[/math] with [math]\displaystyle{ s + n = T(1) = x }[/math]. Since [math]\displaystyle{ N }[/math] is nilpotent, [math]\displaystyle{ n }[/math] is nilpotent in [math]\displaystyle{ V, }[/math] therefore [math]\displaystyle{ \overline n = 0 }[/math] in [math]\displaystyle{ V/J, }[/math] for [math]\displaystyle{ V/J }[/math] is a field. Hence, [math]\displaystyle{ n\in J, }[/math] therefore [math]\displaystyle{ n = \left(x^p - a\right)h(x) }[/math] for some polynomial [math]\displaystyle{ h(X) \in k[X] }[/math]. Also, we see that [math]\displaystyle{ n^2 = 0 }[/math]. Since [math]\displaystyle{ k }[/math] is of characteristic [math]\displaystyle{ p, }[/math] we have [math]\displaystyle{ x^p = s^p + n^p = s^p }[/math]. On the other hand, since [math]\displaystyle{ \overline x = \overline s }[/math] in [math]\displaystyle{ A/J, }[/math] we have [math]\displaystyle{ h\left(\overline s\right) = h\left(\overline x\right), }[/math] therefore [math]\displaystyle{ h(s) - h(x)\in J }[/math] in [math]\displaystyle{ V. }[/math] Since [math]\displaystyle{ \left(x^p - a\right)J = 0, }[/math] we have [math]\displaystyle{ \left(x^p - a\right)h(x) = \left(x^p - a\right)h(s). }[/math] Combining these results we get [math]\displaystyle{ x = s + n = s + \left(s^p - a\right)h(s). }[/math] This shows that [math]\displaystyle{ s }[/math] generates [math]\displaystyle{ V }[/math] as a [math]\displaystyle{ k }[/math]-algebra and thus the [math]\displaystyle{ S }[/math]-stable [math]\displaystyle{ k }[/math]-linear subspaces of [math]\displaystyle{ V }[/math] are ideals of [math]\displaystyle{ V, }[/math] i.e. they are [math]\displaystyle{ 0, }[/math] [math]\displaystyle{ J }[/math] and [math]\displaystyle{ V. }[/math] We see that [math]\displaystyle{ J }[/math] is an [math]\displaystyle{ S }[/math]-invariant subspace of [math]\displaystyle{ V }[/math] which has no complement [math]\displaystyle{ S }[/math]-invariant subspace, contrary to the assumption that [math]\displaystyle{ S }[/math] is semisimple. Thus, there is no decomposition of [math]\displaystyle{ T }[/math] as a sum of commuting [math]\displaystyle{ k }[/math]-linear operators that are respectively semisimple and nilpotent.

If instead of with the polynomial [math]\displaystyle{ \left(X^p - a\right)^2 }[/math], the same construction is performed with [math]\displaystyle{ {X^p} - a }[/math], the resulting operator [math]\displaystyle{ T }[/math] still does not admit a Jordan–Chevalley decomposition by the main theorem. However, [math]\displaystyle{ T }[/math] is semi-simple. The trivial decomposition [math]\displaystyle{ T = T + 0 }[/math] hence expresses [math]\displaystyle{ T }[/math] as a sum of a semisimple and a nilpotent operator, both of which are polynomials in [math]\displaystyle{ T }[/math].

Elementary proof of existence

This construction is similar to Hensel's lemma in that it uses an algebraic analogue of Taylor's theorem to find an element with a certain algebraic property via a variant of Newton's method. In this form, it is taken from (Geck 2022).

Let [math]\displaystyle{ x }[/math] have minimal polynomial [math]\displaystyle{ p }[/math] and assume this is a product of separable polynomials. This condition is equivalent to demanding that there is some separable [math]\displaystyle{ q }[/math] such that [math]\displaystyle{ q \mid p }[/math] and [math]\displaystyle{ p \mid q^m }[/math] for some [math]\displaystyle{ m \geq 1 }[/math]. By the Bézout lemma, there are polynomials [math]\displaystyle{ u }[/math] and [math]\displaystyle{ v }[/math] such that [math]\displaystyle{ {uq+{vq'}}=1 }[/math]. This can be used to define a recursion [math]\displaystyle{ x_{n+1} = x_n - v(x_n)q(x_n) }[/math], starting with [math]\displaystyle{ x_0 = x }[/math]. Letting [math]\displaystyle{ \mathfrak{X} }[/math] be the algebra of operators which are polynomials in [math]\displaystyle{ x }[/math], it can be checked by induction that for all [math]\displaystyle{ n }[/math]:

• [math]\displaystyle{ x_n \in \mathfrak{X} }[/math] because in each step, a polynomial is applied,
• [math]\displaystyle{ x_n - x \in x \cdot \mathfrak{X} }[/math] because [math]\displaystyle{ x_{n+1} - x = (x_{n+1} - x_n) + (x_n - x) }[/math] and both terms are in [math]\displaystyle{ x \cdot \mathfrak{X} }[/math] by induction hypothesis,
• [math]\displaystyle{ q(x_n) \in x^{2^n} \cdot \mathfrak{X} }[/math] because [math]\displaystyle{ q(x_{n+1}) = q(x_n) + q'(x_n) (x_{n+1} - x_n) + (x_{n+1} - x_n)^2 h }[/math] for some [math]\displaystyle{ h \in \mathfrak{X} }[/math] (by the algebraic version of Taylor's theorem). By definition of [math]\displaystyle{ x_{n+1} }[/math] as well as of [math]\displaystyle{ u }[/math] and [math]\displaystyle{ v }[/math], this simplifies to [math]\displaystyle{ q(x_{n+1}) = q(x_n)^2 (u(x_n) + v(x_n)^2 h) }[/math], which indeed lies in [math]\displaystyle{ x^{2^{n+1}} \cdot \mathfrak{X} }[/math] by induction hypothesis.

Thus, as soon as [math]\displaystyle{ 2^n \geq m }[/math], [math]\displaystyle{ q(x_n) = 0 }[/math] by the third point, so the minimal polynomial of [math]\displaystyle{ x_n }[/math] will divide [math]\displaystyle{ q }[/math] and hence be separable. Moreover, [math]\displaystyle{ x_n }[/math] will be a polynomial in [math]\displaystyle{ x }[/math] by the first point and [math]\displaystyle{ x_n - x }[/math] will be nilpotent by the second point (in fact, [math]\displaystyle{ (x_n - x)^m=0 }[/math]). Therefore, [math]\displaystyle{ x = x_n + (x - x_n) }[/math] is then the Jordan–Chevalley decomposition of [math]\displaystyle{ x }[/math]. Q.E.D.

This proof, besides being completely elementary, has the advantage that it is algorithmic: By the Cayley–Hamilton theorem, [math]\displaystyle{ p }[/math] can be taken to be the characteristic polynomial of [math]\displaystyle{ x }[/math], and in many contexts, [math]\displaystyle{ q }[/math] can be determined from [math]\displaystyle{ p }[/math]. Then [math]\displaystyle{ v }[/math] can be determined using the Euclidean algorithm. The iteration of applying the polynomial [math]\displaystyle{ vq }[/math] to the matrix then can be performed until either [math]\displaystyle{ v(x_n) q(x_n) = 0 }[/math] (because then all later values will be equal) or [math]\displaystyle{ 2^n }[/math] exceeds the dimension of the vector space on which [math]\displaystyle{ x }[/math] is defined (where [math]\displaystyle{ n }[/math] is the number of iteration steps performed, as above).

Proof of existence via Galois theory

This proof, or variants of it, is commonly used to establish the Jordan–Chevalley decomposition. It has the advantage that it is very direct and describes quite precisely how close one can get to a Jordan–Chevalley decomposition: If [math]\displaystyle{ L }[/math] is the splitting field of the minimal polynomial of [math]\displaystyle{ x }[/math] and [math]\displaystyle{ G }[/math] is the group of automorphisms of [math]\displaystyle{ L }[/math] that fix the base field [math]\displaystyle{ K }[/math], then the set [math]\displaystyle{ F }[/math] of elements of [math]\displaystyle{ L }[/math] that are fixed by all elements of [math]\displaystyle{ G }[/math] is a field with inclusions [math]\displaystyle{ K \subseteq F \subseteq L }[/math] (see Galois correspondence). Below it is argued that [math]\displaystyle{ x }[/math] admits a Jordan–Chevalley decomposition over [math]\displaystyle{ F }[/math], but not any smaller field. This argument does not use Galois theory. However, Galois theory is required deduce from this the condition for the existence of the Jordan-Chevalley given above.

Above it was observed that if [math]\displaystyle{ x }[/math] has a Jordan normal form (i. e. if the minimal polynomial of [math]\displaystyle{ x }[/math] splits), then it has a Jordan Chevalley decomposition. In this case, one can also see directly that [math]\displaystyle{ x_n }[/math] (and hence also [math]\displaystyle{ x_s }[/math]) is a polynomial in [math]\displaystyle{ x }[/math]. Indeed, it suffices to check this for the decomposition of the Jordan matrix [math]\displaystyle{ J = D + R }[/math]. This is a technical argument, but does not require any tricks beyond the Chinese remainder theorem.

Proof (Jordan-Chevalley decomposition from Jordan normal form)

In the Jordan normal form, we have written [math]\displaystyle{ V = \bigoplus_{i = 1}^r V_i }[/math] where [math]\displaystyle{ r }[/math] is the number of Jordan blocks and [math]\displaystyle{ x |_{V_i} }[/math] is one Jordan block. Now let [math]\displaystyle{ f(t) = \operatorname{det}(t I - x) }[/math] be the characteristic polynomial of [math]\displaystyle{ x }[/math]. Because [math]\displaystyle{ f }[/math] splits, it can be written as [math]\displaystyle{ f(t) = \prod_{i=1}^r (t - \lambda_i)^{d_i} }[/math], where [math]\displaystyle{ r }[/math] is the number of Jordan blocks, [math]\displaystyle{ \lambda_i }[/math] are the distinct eigenvalues, and [math]\displaystyle{ d_i }[/math] are the sizes of the Jordan blocks, so [math]\displaystyle{ d_i = \dim V_i }[/math]. Now, the Chinese remainder theorem applied to the polynomial ring [math]\displaystyle{ k[t] }[/math] gives a polynomial [math]\displaystyle{ p(t) }[/math] satisfying the conditions [math]\displaystyle{ p(t) \equiv 0 \bmod t,\, p(t) \equiv \lambda_i \bmod (t - \lambda_i)^{d_i} }[/math] (for all i). (There is a redundancy in the conditions if some [math]\displaystyle{ \lambda_i }[/math] is zero but that is not an issue; just remove it from the conditions.) The condition [math]\displaystyle{ p(t) \equiv \lambda_i \bmod (t - \lambda_i)^{d_i} }[/math], when spelled out, means that [math]\displaystyle{ p(t) - \lambda_i = g_i(t) (t - \lambda_i)^{d_i} }[/math] for some polynomial [math]\displaystyle{ g_i(t) }[/math]. Since [math]\displaystyle{ (x - \lambda_i I)^{d_i} }[/math] is the zero map on [math]\displaystyle{ V_i }[/math], [math]\displaystyle{ p(x) }[/math] and [math]\displaystyle{ x_s }[/math] agree on each [math]\displaystyle{ V_i }[/math]; i.e., [math]\displaystyle{ p(x) = x_s }[/math]. Also then [math]\displaystyle{ q(x) = x_n }[/math] with [math]\displaystyle{ q(t) = t - p(t) }[/math]. The condition [math]\displaystyle{ p(t) \equiv 0 \bmod t }[/math] ensures that [math]\displaystyle{ p(t) }[/math] and [math]\displaystyle{ q(t) }[/math] have no constant terms. This completes the proof of the theorem in case the minimal polynomial of [math]\displaystyle{ x }[/math] splits.

This fact can be used to deduce the Jordan–Chevalley decomposition in the general case. Let [math]\displaystyle{ L }[/math] be the splitting field of the minimal polynomial of [math]\displaystyle{ x }[/math], so that [math]\displaystyle{ x }[/math] does admit a Jordan normal form over [math]\displaystyle{ L }[/math]. Then, by the argument just given, [math]\displaystyle{ x }[/math] has a Jordan–Chevalley decomposition [math]\displaystyle{ x = {c(x)} + {(x - {c(x)})} }[/math] where [math]\displaystyle{ c }[/math] is a polynomial with coefficients from [math]\displaystyle{ L }[/math], [math]\displaystyle{ c(x) }[/math] is diagonalisable (over [math]\displaystyle{ L }[/math]) and [math]\displaystyle{ x - c(x) }[/math] is nilpotent.

Let [math]\displaystyle{ \sigma }[/math] be a field automorphism of [math]\displaystyle{ L }[/math] which fixes [math]\displaystyle{ K }[/math]. Then [math]\displaystyle{ c(x) + (x-{c(x)}) = x = {\sigma(x)} = {\sigma({c(x)})} + {\sigma(x- {c(x)} )} }[/math] Here [math]\displaystyle{ \sigma(c(x)) = \sigma(c)(x) }[/math] is a polynomial in [math]\displaystyle{ x }[/math], so is [math]\displaystyle{ x - c(x) }[/math]. Thus, [math]\displaystyle{ \sigma(c(x)) }[/math] and [math]\displaystyle{ \sigma(x - c(x)) }[/math] commute. Also, [math]\displaystyle{ \sigma (c(x)) }[/math] is potentially diagonalisable and [math]\displaystyle{ \sigma({x - c(x)}) }[/math] is nilpotent. Thus, by the uniqueness of the Jordan–Chevalley decomposition (over [math]\displaystyle{ L }[/math]), [math]\displaystyle{ \sigma(c(x)) = c(x) }[/math] and [math]\displaystyle{ \sigma(c(x)) = c(x) }[/math]. Therefore, by definition, [math]\displaystyle{ x_s, x_n }[/math] are endomorphisms (represented by matrices) over [math]\displaystyle{ F }[/math]. Finally, since [math]\displaystyle{ \left\{1, x, x^2, \dots\right\} }[/math] contains an [math]\displaystyle{ L }[/math]-basis that spans the space containing [math]\displaystyle{ x_s, x_n }[/math], by the same argument, we also see that [math]\displaystyle{ c }[/math] has coefficients in [math]\displaystyle{ F }[/math]. Q.E.D.

If the minimal polynomial of [math]\displaystyle{ x }[/math] is a product of separable polynomials, then the field extension [math]\displaystyle{ L/K }[/math] is Galois, meaning that [math]\displaystyle{ F = K }[/math].

Relations to the theory of algebras

Separable algebras

The Jordan–Chevalley decomposition is very closely related to the Wedderburn principal theorem in the following formulation:

Wedderburn principal theorem — Let [math]\displaystyle{ A }[/math] be a finite-dimensional associative algebra over the field [math]\displaystyle{ K }[/math] with Jacobson radical [math]\displaystyle{ J }[/math]. Then [math]\displaystyle{ A/J }[/math] is separable if and only if [math]\displaystyle{ A }[/math] has a separable semisimple subalgebra [math]\displaystyle{ B }[/math] such that [math]\displaystyle{ A = B \oplus J }[/math].

Usually, the term „separable“ in this theorem refers to the general concept of a separable algebra and the theorem might then be established as a corollary of a more general high-powered result. However, if it is instead interpreted in the more basic sense that every element have a separable minimal polynomial, then this statement is essentially equivalent to the Jordan–Chevalley decomposition as described above. This gives a different way to view the decomposition, and for instance (Jacobson 1979) takes this route for establishing it.

Proof of equivalence between Wedderburn principal theorem and Jordan-Chevalley decomposition

To see how the Jordan–Chevalley decomposition follows from the Wedderburn principal theorem, let [math]\displaystyle{ V }[/math] be a finite-dimensional vector space over the field [math]\displaystyle{ K }[/math], [math]\displaystyle{ x : V \to V }[/math] an endomorphism with a minimal polynomial which is a product of separable polynomials and [math]\displaystyle{ A = K[x] \subset \operatorname{End}(V) }[/math] the subalgebra generated by [math]\displaystyle{ x }[/math]. Note that [math]\displaystyle{ A }[/math] is a commutative Artinian ring, so [math]\displaystyle{ J }[/math] is also the nilradical of [math]\displaystyle{ A }[/math]. Moreover, [math]\displaystyle{ A/J }[/math] is separable, because if [math]\displaystyle{ a \in A }[/math], then for minimal polynomial [math]\displaystyle{ p }[/math], there is a separable polynomial [math]\displaystyle{ q }[/math] such that [math]\displaystyle{ q \mid p }[/math] and [math]\displaystyle{ p \mid q^m }[/math] for some [math]\displaystyle{ m \geq 1 }[/math]. Therefore [math]\displaystyle{ q(a) \in J }[/math], so the minimal polynomial of the image [math]\displaystyle{ a + J \in A/J }[/math] divides [math]\displaystyle{ q }[/math], meaning that it must be separable as well (since a divisor of a separable polynomial is separable). There is then the vector-space decomposition [math]\displaystyle{ A = B \oplus J }[/math] with [math]\displaystyle{ B }[/math] separable. In particular, the endomorphism [math]\displaystyle{ x }[/math] can be written as [math]\displaystyle{ x = x_s + x_n }[/math] where [math]\displaystyle{ x_s \in B }[/math] and [math]\displaystyle{ x_n \in J }[/math]. Moreover, both elements are, like any element of [math]\displaystyle{ A }[/math], polynomials in [math]\displaystyle{ x }[/math]. Conversely, the Wedderburn principal theorem in the formulation above is a consequence of the Jordan–Chevalley decomposition. If [math]\displaystyle{ A }[/math] has a separable subalgebra [math]\displaystyle{ B }[/math] such that [math]\displaystyle{ A = B \oplus J }[/math], then [math]\displaystyle{ A/J \cong B }[/math] is separable. Conversely, if [math]\displaystyle{ A/J }[/math] is separable, then any element of [math]\displaystyle{ A }[/math] is a sum of a separable and a nilpotent element. As shown above in #Proof of uniqueness and necessity, this implies that the minimal polynomial will be a product of separable polynomials. Let [math]\displaystyle{ x \in A }[/math] be arbitrary, define the operator [math]\displaystyle{ T_x: A \to A, a \mapsto ax }[/math], and note that this has the same minimal polynomial as [math]\displaystyle{ x }[/math]. So it admits a Jordan–Chevalley decomposition, where both operators are polynomials in [math]\displaystyle{ T_x }[/math], hence of the form [math]\displaystyle{ T_s, T_n }[/math] for some [math]\displaystyle{ s, n \in A }[/math] which have separable and nilpotent minimal polynomials, respectively. Moreover, this decomposition is unique. Thus if [math]\displaystyle{ B }[/math] is the subalgebra of all separable elements (that this is a subalgebra can be seen by recalling that [math]\displaystyle{ s }[/math] is separable if and only if [math]\displaystyle{ T_s }[/math] is potentially diagonalisable), [math]\displaystyle{ A = B \oplus J }[/math] (because [math]\displaystyle{ J }[/math] is the ideal of nilpotent elements). The algebra [math]\displaystyle{ B \cong A/J }[/math] is separable and semisimple by assumption.

Over perfect fields, this result simplifies. Indeed, [math]\displaystyle{ A/J }[/math] is then always separable in the sense of minimal polynomials: If [math]\displaystyle{ a \in A }[/math], then the minimal polynomial [math]\displaystyle{ p }[/math] is a product of separable polynomials, so there is a separable polynomial [math]\displaystyle{ q }[/math] such that [math]\displaystyle{ q \mid p }[/math] and [math]\displaystyle{ p \mid q^m }[/math] for some [math]\displaystyle{ m \geq 1 }[/math]. Thus [math]\displaystyle{ q(a) \in J }[/math]. So in [math]\displaystyle{ A/J }[/math], the minimal polynomial of [math]\displaystyle{ a + J }[/math] divides [math]\displaystyle{ q }[/math] and is hence separable. The crucial point in the theorem is then not that [math]\displaystyle{ A/J }[/math] is separable (because that condition is vacuous), but that it is semisimple, meaning its radical is trivial.

The same statement is true for Lie algebras, but only in characteristic zero. This is the content of Levi’s theorem. (Note that the notions of semisimple in both results do indeed correspond, because in both cases this is equivalent to being the sum of simple subalgebras or having trivial radical, at least in the finite-dimensional case.)

Preservation under representations

The crucial point in the proof for the Wedderburn principal theorem above is that an element [math]\displaystyle{ x \in A }[/math] corresponds to a linear operator [math]\displaystyle{ T_x: A \to A }[/math] with the same properties. In the theory of Lie algebras, this corresponds to the adjoint representation of a Lie algebra [math]\displaystyle{ \mathfrak{g} }[/math]. This decomposed operator has a Jordan–Chevalley decomposition [math]\displaystyle{ \operatorname{ad}(x) = \operatorname{ad}(x)_s + \operatorname{ad}(x)_n }[/math]. Just as in the associative case, this corresponds to a decomposition of [math]\displaystyle{ x }[/math], but polynomials are not available as a tool. One context in which this does makes sense is the restricted case where [math]\displaystyle{ \mathfrak{g} }[/math] is contained in the Lie algebra [math]\displaystyle{ \mathfrak{gl}(V) }[/math] of the endomorphisms of a finite-dimensional vector space [math]\displaystyle{ V }[/math] over the perfect field [math]\displaystyle{ K }[/math]. Indeed, any Semisimple Lie algebra can be realised in this way.

If [math]\displaystyle{ x = x_s + x_n }[/math] is the Jordan decomposition, then [math]\displaystyle{ \operatorname{ad}(x) = \operatorname{ad}(x_s) + \operatorname{ad}(x_n) }[/math] is the Jordan decomposition of the adjoint endomorphism [math]\displaystyle{ \operatorname{ad}(x) }[/math] on the vector space [math]\displaystyle{ \mathfrak{g} }[/math]. Indeed, first, [math]\displaystyle{ \operatorname{ad}(x_s) }[/math] and [math]\displaystyle{ \operatorname{ad}(x_n) }[/math] commute since [math]\displaystyle{ [\operatorname{ad}(x_s), \operatorname{ad}(x_n)] = \operatorname{ad}([x_s, x_n]) = 0 }[/math]. Second, in general, for each endomorphism [math]\displaystyle{ y \in \mathfrak{g} }[/math], we have:

1. If [math]\displaystyle{ y^m = 0 }[/math], then [math]\displaystyle{ \operatorname{ad}(y)^{2m-1} = 0 }[/math], since [math]\displaystyle{ \operatorname{ad}(y) }[/math] is the difference of the left and right multiplications by y.
2. If [math]\displaystyle{ y }[/math] is semisimple, then [math]\displaystyle{ \operatorname{ad}(y) }[/math] is semisimple, since semisimple is equivalent to potentially diagonalisable over a perfect field (if [math]\displaystyle{ y }[/math] is diagonal over the basis [math]\displaystyle{ \{b_1, \dots, b_n \} }[/math], then [math]\displaystyle{ \operatorname{ad}(y) }[/math] is diagonal over the basis consisting of the maps [math]\displaystyle{ M_{ij} }[/math] with [math]\displaystyle{ b_i \mapsto b_j }[/math] and [math]\displaystyle{ b_k \mapsto 0 }[/math] for [math]\displaystyle{ k \neq 0 }[/math]).

Hence, by uniqueness, [math]\displaystyle{ \operatorname{ad}(x)_s = \operatorname{ad}(x_s) }[/math] and [math]\displaystyle{ \operatorname{ad}(x)_n = \operatorname{ad}(x_n) }[/math].

The adjoint representation is a very natural and general representation of any Lie algebra. The argument above illustrates (and indeed proves) a general principle which generalises this: If [math]\displaystyle{ \pi: \mathfrak{g} \to \mathfrak{gl}(V) }[/math] is any finite-dimensional representation of a semisimple finite-dimensional Lie algebra over a perfect field, then [math]\displaystyle{ \pi }[/math] preserves the Jordan decomposition in the following sense: if [math]\displaystyle{ x = x_s + x_n }[/math], then [math]\displaystyle{ \pi(x_s) = \pi(x)_s }[/math] and [math]\displaystyle{ \pi(x_n) = \pi(x)_n }[/math].

Nilpotency criterion

The Jordan decomposition can be used to characterize nilpotency of an endomorphism. Let k be an algebraically closed field of characteristic zero, [math]\displaystyle{ E = \operatorname{End}_\mathbb{Q}(k) }[/math] the endomorphism ring of k over rational numbers and V a finite-dimensional vector space over k. Given an endomorphism [math]\displaystyle{ x : V \to V }[/math], let [math]\displaystyle{ x = s + n }[/math] be the Jordan decomposition. Then [math]\displaystyle{ s }[/math] is diagonalizable; i.e., [math]\displaystyle{ V = \bigoplus V_i }[/math] where each [math]\displaystyle{ V_i }[/math] is the eigenspace for eigenvalue [math]\displaystyle{ \lambda_i }[/math] with multiplicity [math]\displaystyle{ m_i }[/math]. Then for any [math]\displaystyle{ \varphi\in E }[/math] let [math]\displaystyle{ \varphi(s) : V \to V }[/math] be the endomorphism such that [math]\displaystyle{ \varphi(s) : V_i \to V_i }[/math] is the multiplication by [math]\displaystyle{ \varphi(\lambda_i) }[/math]. Chevalley calls [math]\displaystyle{ \varphi(s) }[/math] the replica of [math]\displaystyle{ s }[/math] given by [math]\displaystyle{ \varphi }[/math]. (For example, if [math]\displaystyle{ k = \mathbb{C} }[/math], then the complex conjugate of an endomorphism is an example of a replica.) Now,

Nilpotency criterion — [math]\displaystyle{ x }[/math] is nilpotent (i.e., [math]\displaystyle{ s = 0 }[/math]) if and only if [math]\displaystyle{ \operatorname{tr}(x\varphi(s)) = 0 }[/math] for every [math]\displaystyle{ \varphi \in E }[/math]. Also, if [math]\displaystyle{ k = \mathbb{C} }[/math], then it suffices the condition holds for [math]\displaystyle{ \varphi = }[/math] complex conjugation.

Proof: First, since [math]\displaystyle{ n \varphi(s) }[/math] is nilpotent,

[math]\displaystyle{ 0 = \operatorname{tr}(x\varphi(s)) = \sum_i \operatorname{tr}\left(s\varphi(s) | V_i\right) = \sum_i m_i \lambda_i\varphi(\lambda_i) }[/math].

If [math]\displaystyle{ \varphi }[/math] is the complex conjugation, this implies [math]\displaystyle{ \lambda_i = 0 }[/math] for every i. Otherwise, take [math]\displaystyle{ \varphi }[/math] to be a [math]\displaystyle{ \mathbb{Q} }[/math]-linear functional [math]\displaystyle{ \varphi : k \to \mathbb{Q} }[/math] followed by [math]\displaystyle{ \mathbb{Q} \hookrightarrow k }[/math]. Applying that to the above equation, one gets:

[math]\displaystyle{ \sum_i m_i \varphi(\lambda_i)^2 = 0 }[/math]

and, since [math]\displaystyle{ \varphi(\lambda_i) }[/math] are all real numbers, [math]\displaystyle{ \varphi(\lambda_i) = 0 }[/math] for every i. Varying the linear functionals then implies [math]\displaystyle{ \lambda_i = 0 }[/math] for every i. [math]\displaystyle{ \square }[/math]

A typical application of the above criterion is the proof of Cartan's criterion for solvability of a Lie algebra. It says: if [math]\displaystyle{ \mathfrak{g} \subset \mathfrak{gl}(V) }[/math] is a Lie subalgebra over a field k of characteristic zero such that [math]\displaystyle{ \operatorname{tr}(xy) = 0 }[/math] for each [math]\displaystyle{ x \in \mathfrak{g}, y \in D \mathfrak{g} = [\mathfrak{g}, \mathfrak{g}] }[/math], then [math]\displaystyle{ \mathfrak{g} }[/math] is solvable.

Proof: Without loss of generality, assume k is algebraically closed. By Lie's theorem and Engel's theorem, it suffices to show for each [math]\displaystyle{ x \in D \mathfrak g }[/math], [math]\displaystyle{ x }[/math] is a nilpotent endomorphism of V. Write [math]\displaystyle{ x = \sum_i [x_i, y_i] }[/math]. Then we need to show:

[math]\displaystyle{ \operatorname{tr}(x \varphi(s)) = \sum_i \operatorname{tr}([x_i, y_i] \varphi(s)) = \sum_i \operatorname{tr}(x_i [y_i, \varphi(s)]) }[/math]

is zero. Let [math]\displaystyle{ \mathfrak{g}' = \mathfrak{gl}(V) }[/math]. Note we have: [math]\displaystyle{ \operatorname{ad}_{\mathfrak{g}'}(x) : \mathfrak{g} \to D \mathfrak{g} }[/math] and, since [math]\displaystyle{ \operatorname{ad}_{\mathfrak{g}'}(s) }[/math] is the semisimple part of the Jordan decomposition of [math]\displaystyle{ \operatorname{ad}_{\mathfrak{g}'}(x) }[/math], it follows that [math]\displaystyle{ \operatorname{ad}_{\mathfrak{g}'}(s) }[/math] is a polynomial without constant term in [math]\displaystyle{ \operatorname{ad}_{\mathfrak{g}'}(x) }[/math]; hence, [math]\displaystyle{ \operatorname{ad}_{\mathfrak{g}'}(s) : \mathfrak{g} \to D \mathfrak{g} }[/math] and the same is true with [math]\displaystyle{ \varphi(s) }[/math] in place of [math]\displaystyle{ s }[/math]. That is, [math]\displaystyle{ [\varphi(s), \mathfrak{g}] \subset D \mathfrak{g} }[/math], which implies the claim given the assumption. [math]\displaystyle{ \square }[/math]

Real semisimple Lie algebras

In the formulation of Chevalley and Mostow, the additive decomposition states that an element X in a real semisimple Lie algebra g with Iwasawa decomposition g = k ⊕ a ⊕ n can be written as the sum of three commuting elements of the Lie algebra X = S + D + N, with S, D and N conjugate to elements in k, a and n respectively. In general the terms in the Iwasawa decomposition do not commute.

Multiplicative decomposition

If [math]\displaystyle{ x }[/math] is an invertible linear operator, it may be more convenient to use a multiplicative Jordan–Chevalley decomposition. This expresses [math]\displaystyle{ x }[/math] as a product

[math]\displaystyle{ x = x_s \cdot x_u }[/math],

where [math]\displaystyle{ x_s }[/math] is potentially diagonalisable, and [math]\displaystyle{ x_u - 1 }[/math] is nilpotent (one also says that [math]\displaystyle{ x_u }[/math] is unipotent).

The multiplicative version of the decomposition follows from the additive one since, as [math]\displaystyle{ x_s }[/math] is invertible (because the sum of an invertible operator and a nilpotent operator is invertible)

[math]\displaystyle{ x = x_s + x_n = x_s\left(1 + x_s^{-1}x_n\right) }[/math]

and [math]\displaystyle{ 1 + x_s^{-1}x_n }[/math] is unipotent. (Conversely, by the same type of argument, one can deduce the additive version from the multiplicative one.)

The multiplicative version is closely related to decompositions encountered in a linear algebraic group. For this it is again useful to assume that the underlying field [math]\displaystyle{ K }[/math] is perfect because then the Jordan–Chevalley decomposition exists for all matrices.

Linear algebraic groups

Let [math]\displaystyle{ G }[/math] be a linear algebraic group over a perfect field. Then, essentially by definition, there is a closed embedding [math]\displaystyle{ G \hookrightarrow \mathbf{GL}_n }[/math]. Now, to each element [math]\displaystyle{ g \in G }[/math], by the multiplicative Jordan decomposition, there are a pair of a semisimple element [math]\displaystyle{ g_s }[/math] and a unipotent element [math]\displaystyle{ g_u }[/math] a priori in [math]\displaystyle{ \mathbf{GL}_n }[/math] such that [math]\displaystyle{ g = g_s g_u = g_u g_s }[/math]. But, as it turns out, the elements [math]\displaystyle{ g_s, g_u }[/math] can be shown to be in [math]\displaystyle{ G }[/math] (i.e., they satisfy the defining equations of G) and that they are independent of the embedding into [math]\displaystyle{ \mathbf{GL}_n }[/math]; i.e., the decomposition is intrinsic.

When G is abelian, [math]\displaystyle{ G }[/math] is then the direct product of the closed subgroup of the semisimple elements in G and that of unipotent elements.

Real semisimple Lie groups

The multiplicative decomposition states that if g is an element of the corresponding connected semisimple Lie group G with corresponding Iwasawa decomposition G = KAN, then g can be written as the product of three commuting elements g = sdu with s, d and u conjugate to elements of K, A and N respectively. In general the terms in the Iwasawa decomposition g = kan do not commute.

References

• Chevalley, Claude (1951), Théorie des groupes de Lie. Tome II. Groupes algébriques, Hermann, OCLC 277477632 
• Couty, Danielle; Esterle, Jean; Zarouf, Rachid (2010), Décomposition effective de Jordan-Chevalley et ses retombées en enseignement., https://hal.science/file/index/docid/525465/filename/Jordan-Chevalley.pdf  (preprint)
• Couty, Danielle; Esterle, Jean; Zarouf, Rachid (16 June 2011), "Décomposition effective de Jordan-Chevalley et ses retombées en enseignement.", Gazette des Mathématiciens (129): pp. 29–49, https://hal.science/file/index/docid/525465/filename/Jordan-Chevalley.pdf 
• Fulton, William; Harris, Joe (1991) (in en-gb). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. OCLC 246650103. https://link.springer.com/10.1007/978-1-4612-0979-9. 
• Geck, Meinolf (18 Jun 2022), On the Jordan-Chevalley decomposition of a matrix, https://arxiv.org/pdf/2205.05432.pdf 
• Helgason, Sigurdur (1978), Differential geometry, Lie groups, and symmetric spaces, Academic Press, ISBN 0-8218-2848-7 
• Humphreys, James E. (1981), Linear Algebraic Groups, Graduate texts in mathematics, 21, Springer, ISBN 0-387-90108-6 
• Humphreys, James E. (1972), Introduction to Lie Algebras and Representation Theory, Springer, ISBN 978-0-387-90053-7, https://archive.org/details/introductiontoli00jame 
• Jacobson, Nathan (1979), Lie algebras, Dover, ISBN 0-486-63832-4 
• Lazard, M. (1954), "Théorie des répliques. Critère de Cartan (Exposé No. 6)", Séminaire "Sophus Lie" 1, http://www.numdam.org/numdam-bin/recherche?nci=SSL_1954-1955__1__A9_0&format=short 
• Mostow, G. D. (1954), "Factor spaces of solvable groups", Ann. of Math. 60 (1): 1–27, doi:10.2307/1969700 
• Mostow, G. D. (1973), Strong rigidity of locally symmetric spaces, Annals of Mathematics Studies, 78, Princeton University Press, ISBN 0-691-08136-0, https://books.google.com/books?id=xT0SFmrFrWoC 
• Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4 
• Serre, Jean-Pierre (1992), Lie algebras and Lie groups: 1964 lectures given at Harvard University, Lecture Notes in Mathematics, 1500 (2nd ed.), Springer-Verlag, ISBN 978-3-540-55008-2 
• Varadarajan, V. S. (1984), Lie groups, Lie algebras, and their representations, Graduate Texts in Mathematics, 102, Springer-Verlag, ISBN 0-387-90969-9 
• Waterhouse, William (1979), Introduction to affine group schemes, Graduate Texts in Mathematics, 66, Berlin, New York: Springer-Verlag, doi:10.1007/978-1-4612-6217-6, ISBN 978-0-387-90421-4