How to show that every element of $G$, where $G$ is a finite subgroup of $GL_n(\mathbb{k})$, the general linear group of square matrices of order $n$ over some algebraic closed field $\mathbb{k}$, is diagnonalizable if $\mathbb{k}$ is an algebraic closure of $\mathbb{Q}$?
I know that a matrix is diagonalizable if its minimal polynomial is seperable in the field on which the matrix is defined. Now, what if the minimal polynomial has repeated roots? How do we ensure the diginalizability? Any hints. Thanks beforehand.
Let $K$ be a field. As you have already mentioned, a matrix $A \in \operatorname{M}_n(K)$ is diagonalizable (over $K$) if and only if there exists a polynomial $f(t) \in K[t]$ with $f(A) = 0$ such that $f$ decomposes into pairwise different linear factors over $K$.
For $A \in G$ and $n := |G|$ we have that $A^n = I$, so that $A$ satisfies the polynomial $f(t) := t^n - 1 \in \mathbb{k}[t]$. The polynomial $f(t)$ decomposes into linear factors because $\mathbb{k}$ is algebraically closed. It follows from $\operatorname{char}(\mathbb{k}) = 0$ that the polynomial $f$ is seperable (because $f(t) = t^n - 1$ and $f'(t) = n t^{n-1}$ are coprime), so that $f(t)$ decomposes into pairwise different linear factors. Thus $A$ is diagonalizable.
(To see that $f(t)$ is seperable one can also embed $\mathbb{k}$ into $\mathbb{C}$ because $\mathbb{k}$ is an algebraic closure of $\mathbb{Q} \subseteq \mathbb{C}$. As the roots of unity in $\mathbb{C}$ are pairwise different, the same goes for $\mathbb{k}$.)