Cómo demostrar que cada elemento de $G$ , donde $G$ es un subgrupo finito de $GL_n(\mathbb{k})$ el grupo lineal general de matrices cuadradas de orden $n$ sobre algún campo algebraico cerrado $\mathbb{k}$ es diagnosticable si $\mathbb{k}$ es un cierre algebraico de $\mathbb{Q}$ ?
Sé que una matriz es diagonalizable si su polinomio mínimo es separable en el campo sobre el que se define la matriz. Ahora bien, ¿qué pasa si el polinomio mínimo tiene raíces repetidas? ¿Cómo aseguramos la diginalizabilidad? Cualquier pista. Gracias de antemano.