We assume that $\mathbb{K} = \mathbb{C}$, that $(\mathrm{Id}, f, f^2, \ldots, f^{n-1})$ is free, and we factor the characteristic polynomial of $f$ in the form $$\chi_f(X) = \prod_{k=1}^{p} \left(X - \lambda_k\right)^{m_k}$$ where the $\lambda_k$ are the $p$ eigenvalues pairwise distinct of $f$ and the $m_k \in \mathbb{N}^*$ their respective multiplicities. For $k \in \llbracket 1, p \rrbracket$, we set $F_k = \ker\left(\left(f - \lambda_k \operatorname{Id}_E\right)^{m_k}\right)$. Show that the vector subspaces $F_k$ are stable under $f$ and that $E = F_1 \oplus \cdots \oplus F_p$.
We assume that $\mathbb{K} = \mathbb{C}$, that $(\mathrm{Id}, f, f^2, \ldots, f^{n-1})$ is free, and we factor the characteristic polynomial of $f$ in the form
$$\chi_f(X) = \prod_{k=1}^{p} \left(X - \lambda_k\right)^{m_k}$$
where the $\lambda_k$ are the $p$ eigenvalues pairwise distinct of $f$ and the $m_k \in \mathbb{N}^*$ their respective multiplicities. For $k \in \llbracket 1, p \rrbracket$, we set $F_k = \ker\left(\left(f - \lambda_k \operatorname{Id}_E\right)^{m_k}\right)$.
Show that the vector subspaces $F_k$ are stable under $f$ and that $E = F_1 \oplus \cdots \oplus F_p$.