The canonical splitting of a linear endomorphism into a sum of commuting parts: a semisimple (diagonalizable) part and a nilpotent part, each a polynomial in the original operator; the decomposition is unique when it exists.

Principle

Given an endomorphism whose minimal polynomial splits into linear factors over the field, one can write the operator as X = X_s + X_n where X_s is semisimple, X_n is nilpotent, [X_s,X_n]=0, and both X_s and X_n are polynomials in X; multiplicative versions exist for invertible elements (semisimple times unipotent).

Demonstration

A Jordan block J = λ I + N exhibits the decomposition explicitly: the semisimple part is λ I (diagonalizable) and the nilpotent part is N (strictly upper triangular); assembling blocks gives the global decomposition on the generalized-eigenspace.

Misapplication

Confusing the Jordan decomposition (additive split into commuting semisimple and nilpotent parts) with the Jordan canonical form as a matrix pattern; assuming the decomposition exists over the base field without checking splitting can produce incorrect conclusions.

Consequence

Jordan decomposition separates spectral (diagonalizable) behavior from nilpotent (shearing) behavior, enabling refined invariant analysis, functional calculus on the semisimple part, and structural results in representation theory and algebraic groups.

Reversal

The reversal is treating an operator purely by its Jordan normal form or by rational canonical blocks without explicitly separating commuting semisimple and nilpotent operators; multiplicative and additive decompositions show dual perspectives.

Boundary

Existence and uniqueness typically require that the minimal polynomial split (e.g., over an algebraically closed or suitable perfect field); over more general rings or fields obstructions may arise and the components may lie in an extension.

Semantic Tension

Tension exists between Jordan decomposition and rational canonical form: both capture non-diagonalizable structure, but Jordan decomposition emphasizes commuting additive pieces (semisimple vs nilpotent) while rational form encodes invariant factors without necessarily producing commuting polynomial parts over the base field.

Synthesis

Jordan decomposition cleanly partitions an endomorphism into commuting spectral and nilpotent contributions: where it applies, it yields a unique additive split that clarifies the operator's diagonalizable content and its residual nilpotent action, linking local Jordan blocks to global algebraic structure.