Sea formula_4 una matriz cuadrada con valores en un cuerpo formula_5, se dice que la matriz formula_6 es diagonalizable si, y sólo si, A se puede descomponer de la forma: