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$, $\varphi_k$ is a nilpotent endomorphism of $F_k$, and $\nu_k$ denotes the smallest natural number such that $\varphi_k^{\nu_k} = 0$. Show, with the proposed hypothesis, that for all $k \in \llbracket 1, p \rrbracket$, we have $\nu_k = m_k$.
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$, $\varphi_k$ is a nilpotent endomorphism of $F_k$, and $\nu_k$ denotes the smallest natural number such that $\varphi_k^{\nu_k} = 0$.
Show, with the proposed hypothesis, that for all $k \in \llbracket 1, p \rrbracket$, we have $\nu_k = m_k$.