Jordan–Chevalley Decomposition

The unique expression of a linear endomorphism of a finite-dimensional vector space (over a field where the minimal polynomial splits and is separable) as the sum of a semisimple (diagonalizable) endomorphism and a nilpotent endomorphism that commute with each other.