Puede demostrarse por el teorema de dependencia funcional que para una matriz diagonal o enfomorfismo diagonalizable en que todos sus autovalores son distintos cualquier otro invariante algebraico resulta ser una función de los "n" invariantes algebraicos considerados en la sección anterior y que coinciden con los coeficientes del polinomio característico: