¿Por qué el finito de orden endomorphisms son diagonalizable sobre los números complejos (o cualquier algebraicamente cerrado de campo donde la característica de que el campo no dividir a la orden del endomorfismo) con las raíces de la unidad en la diagonal?