Jordan–Chevalley decomposition


Jordan–Chevalley decomposition

In mathematics, the Jordan–Chevalley decomposition, named after Camille Jordan and Claude Chevalley (also known as Dunford decomposition, named after Nelson Dunford, as well as SN decomposition), expresses a linear operator as the sum of its commuting semisimple part and its nilpotent parts. The multiplicative decomposition expresses an invertible operator as the product of its commuting semisimple and unipotent parts. The decomposition is important in the study of algebraic groups. The decomposition is easy to describe when the Jordan normal form of the operator is given, but it exists under weaker hypotheses than the existence of a Jordan normal form.

Linear operators

Consider linear operators on a finite-dimensional vector space over a perfect field. An operator is semisimple if the roots (in an extension of the ground field) of its minimal polynomial are all distinct (if the underlying field is algebraically closed, this is the same as the requirement that the operator be diagonalizable). An operator x is nilpotent if some power xm of it is the zero operator. An operator x is unipotent if x − 1 is nilpotent.

Now, let x be any operator. A Jordan–Chevalley decomposition of x is an expression of it as a sum:

x = xss + xn,

where xss is semisimple, xn is nilpotent, and xss and xn commute. If such a decomposition exists it is unique, and xss and xn are in fact expressible as polynomials in x, (Humphreys 1972, Prop. 4.2, p. 17).

If x is an invertible operator, then a multiplicative Jordan–Chevalley decomposition expresses x as a product:

x = xss · xu,

where xss is semisimple, xu is unipotent, and xss and xu commute. Again, if such a decomposition exists it is unique, and xss and xu are expressible as polynomials in x.

For endomorphisms of a finite dimensional vector space whose characteristic polynomial splits into linear factors over the ground field (which always happens if that is an algebraically closed field), the Jordan–Chevalley decomposition exists and has a simple description in terms of the Jordan normal form. If x is in the Jordan normal form, then xss is the endomorphism whose matrix on the same basis contains just the diagonal terms of x, and xn is the endomorphism whose matrix on that basis contains just the off-diagonal terms; xu is the endomorphism whose matrix is obtained from the Jordan normal form by dividing all entries of each Jordan block by its diagonal element.

If the ground field is not perfect, then a Jordan–Chevalley decomposition may not exist. Example: Let p be a prime number, let F = Fp (Xp), let V = Fp (X). This is an extension field of vector space dimension p. Let x be the multiplication by the indeterminate X; it is an endomorphism of V. It is easy to see that the minimal polynomial of x is (tpXp), which has X as the only root in Fp (X) and so x is not semisimple. Therefore, if a Jordan–Chevalley decomposition would exist, the nilpotent part would have to be nonzero. But since the nilpotent part is also a polynomial in x, it belongs to the field Fp (X) and therefore must be zero, which gives a contradiction. Hence no Jordan–Chevalley decomposition exists in this example.

Banach spaces

For operators on Banach spaces, there is a decomposition known as the Dunford decomposition which generalizes the Jordan–Chevalley decomposition, (Dunford 1946).

References

  • Dunford, Nelson (1946), "Direct decompositions of Banach spaces", Boletí n de la Sociedad Matemática Mexicana 3: 1–12, MR0021240 
  • Humphreys, James E. (1972), Introduction to Lie Algebras and Representation Theory, Springer, ISBN 978-0-387-90053-7 , p 559.
  • Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR1878556 

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Jordan normal form — In linear algebra, a Jordan normal form (often called Jordan canonical form)[1] of a linear operator on a finite dimensional vector space is an upper triangular matrix of a particular form called Jordan matrix, representing the operator on some… …   Wikipedia

  • Jordan decomposition — In mathematics, Jordan decomposition may refer to* Hahn decomposition theorem, and the Jordan decomposition of a measure * Jordan normal form of a matrix * Jordan–Chevalley decomposition of a matrix * Deligne Lusztig theory, and its Jordan… …   Wikipedia

  • Matrix decomposition — In the mathematical discipline of linear algebra, a matrix decomposition is a factorization of a matrix into some canonical form. There are many different matrix decompositions; each finds use among a particular class of problems. Contents 1… …   Wikipedia

  • Claude Chevalley — Y.Akizuki, C.Chevalley and A.Kobori Born February 11, 1909 …   Wikipedia

  • Camille Jordan — Born January 5, 1838(1838 01 05) Lyon …   Wikipedia

  • Deligne–Lusztig theory — In mathematics, Deligne–Lusztig theory is a way of constructing linear representations of finite groups of Lie type using ℓ adic cohomology with compact support, introduced by Deligne Lusztig (1976). Lusztig (1984) used these representations to… …   Wikipedia

  • List of numerical analysis topics — This is a list of numerical analysis topics, by Wikipedia page. Contents 1 General 2 Error 3 Elementary and special functions 4 Numerical linear algebra …   Wikipedia

  • Matrix function — In mathematics, a matrix function is a function which maps a matrix to another matrix. Contents 1 Extending scalar functions to matrix functions 1.1 Power series 1.2 Jordan decomposition …   Wikipedia

  • List of mathematics articles (J) — NOTOC J J homomorphism J integral J invariant J. H. Wilkinson Prize for Numerical Software Jaccard index Jack function Jacket matrix Jackson integral Jackson network Jackson s dimensional theorem Jackson s inequality Jackson s theorem Jackson s… …   Wikipedia

  • Unipotent — In mathematics, a unipotent element r of a ring R is one such that r − 1 is a nilpotent element, in other words such that some power ( r − 1) n is zero.In particular a square matrix M is a unipotent matrix if and only if its characteristic… …   Wikipedia