Let $M$ be a cyclic matrix and $x_0$ be a cyclic vector of $f_M$. Let $g \in \mathcal{C}(f_M)$. Show that there exist $(\alpha_0, \ldots, \alpha_{n-1}) \in \mathbb{C}^n$ such that $g = \alpha_0 Id_{\mathbb{C}^n} + \alpha_1 f_M + \cdots + \alpha_{n-1} f_M^{n-1}$. One may use the basis $(x_0, f_M(x_0), \ldots, f_M^{n-1}(x_0))$ and express $g(x_0)$ in this basis.

Let $M$ be a cyclic matrix and $x_0$ be a cyclic vector of $f_M$. The set $\mathcal{C}(f_M) = \{g \in \mathcal{L}(\mathbb{C}^n) \mid f_M \circ g = g \circ f_M\}$ is sought to be shown to be the set of polynomials in $f_M$. Conclude.

Let $N = \left(\begin{array}{ccccc} 0 & 0 & \cdots & \cdots & 0 \\ 1 & 0 & & & \vdots \\ 0 & \ddots & \ddots & & \vdots \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ 0 & \cdots & 0 & 1 & 0 \end{array}\right)$.
Is the matrix $N$ cyclic?

We define the operators $$\mathcal{S}: \begin{cases} \mathcal{M}_n(\mathbb{R}) \rightarrow \mathcal{M}_n(\mathbb{R}) \\ X \mapsto NX - XN \end{cases} \quad \text{and} \quad \mathcal{S}^*: \begin{cases} \mathcal{M}_n(\mathbb{R}) \rightarrow \mathcal{M}_n(\mathbb{R}) \\ X \mapsto {}^t N X - X {}^t N \end{cases}$$ Show that the kernel of $\mathcal{S}$ is the set of real Toeplitz matrices that are lower triangular. We admit that the kernel of $\mathcal{S}^*$ is the set of real Toeplitz matrices that are upper triangular.

Show that $\mathcal{S}(\Delta_{k+1}) \subset \Delta_k$ and $\mathcal{S}^*(\Delta_k) \subset \Delta_{k+1}$.

Show that $f$ is cyclic if and only if there exists a basis $\mathcal{B}$ of $E$ in which the matrix of $f$ is of the form $C_Q$, where $Q$ is a monic polynomial of degree $n$.

We assume that $f$ is a nilpotent endomorphism of $E$. We denote by $r$ the smallest natural integer such that $f^r = 0$. Show that $f$ is cyclic if and only if $r = n$. Specify the companion matrix.

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)$, and we denote by $\varphi_k$ the endomorphism induced by $f - \lambda_k \operatorname{Id}$ on the vector subspace $F_k$,
$$\varphi_k : \left\lvert\, \begin{aligned} & F_k \rightarrow F_k, \\ & x \mapsto f(x) - \lambda_k x. \end{aligned} \right.$$
Justify that $\varphi_k$ is a nilpotent endomorphism of $F_k$.

We assume that $\mathbb{K} = \mathbb{C}$, that $(\mathrm{Id}, f, f^2, \ldots, f^{n-1})$ is free. For $k \in \llbracket 1, p \rrbracket$, $\varphi_k$ is a nilpotent endomorphism of $F_k$, and $\nu_k$ denotes the smallest natural integer such that $\varphi_k^{\nu_k} = 0$. Why do we have $\nu_k \leqslant \operatorname{dim}(F_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 integer 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$ with $\nu_k = m_k$.
Specify the dimension of $F_k$ for $k \in \llbracket 1, p \rrbracket$, then deduce the existence of a basis $\mathcal{B} = (u_1, \ldots, u_n)$ of $E$ in which $f$ has a block diagonal matrix, these blocks belonging to $\mathcal{M}_{m_k}(\mathbb{C})$ and being of the form
$$\left(\begin{array}{cccccc} \lambda_k & 0 & \cdots & \cdots & \cdots & 0 \\ 1 & \lambda_k & \ddots & & & \vdots \\ 0 & 1 & \lambda_k & \ddots & & \vdots \\ \vdots & \ddots & \ddots & \ddots & \ddots & \vdots \\ \vdots & & \ddots & \ddots & \lambda_k & 0 \\ 0 & \cdots & \cdots & 0 & 1 & \lambda_k \end{array}\right)$$

We assume that $\mathbb{K} = \mathbb{C}$, that $(\mathrm{Id}, f, f^2, \ldots, f^{n-1})$ is free, and that there exists a basis $\mathcal{B} = (u_1, \ldots, u_n)$ of $E$ in which $f$ has a block diagonal matrix with blocks of size $m_k$ of the form
$$\left(\begin{array}{cccccc} \lambda_k & 0 & \cdots & \cdots & \cdots & 0 \\ 1 & \lambda_k & \ddots & & & \vdots \\ 0 & 1 & \lambda_k & \ddots & & \vdots \\ \vdots & \ddots & \ddots & \ddots & \ddots & \vdots \\ \vdots & & \ddots & \ddots & \lambda_k & 0 \\ 0 & \cdots & \cdots & 0 & 1 & \lambda_k \end{array}\right)$$
We set $x_0 = u_1 + u_{m_1+1} + \cdots + u_{m_1 + \cdots + m_{p-1}+1}$.
Determine the polynomials $Q \in \mathbb{C}[X]$ such that $Q(f)(x_0) = 0$.

We assume that $\mathbb{K} = \mathbb{C}$, that $(\mathrm{Id}, f, f^2, \ldots, f^{n-1})$ is free, and that $x_0 = u_1 + u_{m_1+1} + \cdots + u_{m_1 + \cdots + m_{p-1}+1}$ where $(u_1, \ldots, u_n)$ is the basis described in Q17. Justify that $f$ is cyclic.

We assume that $f$ is cyclic and we choose a vector $x_0$ in $E$ such that $(x_0, f(x_0), \ldots, f^{n-1}(x_0))$ is a basis of $E$. Let $g \in \mathcal{C}(f)$, an endomorphism that commutes with $f$. Justify the existence of $\lambda_0, \lambda_1, \ldots, \lambda_{n-1}$ of $\mathbb{K}$ such that
$$g(x_0) = \sum_{k=0}^{n-1} \lambda_k f^k(x_0)$$

We assume that $f$ is cyclic and we choose a vector $x_0$ in $E$ such that $(x_0, f(x_0), \ldots, f^{n-1}(x_0))$ is a basis of $E$. Let $g \in \mathcal{C}(f)$ with $g(x_0) = \sum_{k=0}^{n-1} \lambda_k f^k(x_0)$. Show then that $g \in \mathbb{K}[f]$.

We assume that $f$ is cyclic. Establish that $g \in \mathcal{C}(f)$ if and only if there exists a polynomial $R \in \mathbb{K}_{n-1}[X]$ such that $g = R(f)$.

We denote by $d$ the degree of $\pi_f$. Justify the existence of a vector $x_1$ of $E$ such that $\left(x_1, f(x_1), \ldots, f^{d-1}(x_1)\right)$ is free.

We set $e_1 = x_1, e_2 = f(x_1), \ldots, e_d = f^{d-1}(x_1)$ and $E_1 = \operatorname{Vect}(e_1, e_2, \ldots, e_d)$. Show that $E_1$ is stable under $f$ and that $E_1 = \{P(f)(x_1) \mid P \in \mathbb{K}[X]\}$.

We set $E_1 = \operatorname{Vect}(e_1, e_2, \ldots, e_d)$ where $e_i = f^{i-1}(x_1)$, and we denote by $\psi_1$ the endomorphism induced by $f$ on the vector subspace $E_1$,
$$\psi_1 : \left\lvert\, \begin{aligned} & E_1 \rightarrow E_1, \\ & x \mapsto f(x). \end{aligned} \right.$$
Justify that $\psi_1$ is cyclic.

We complete, if necessary, $(e_1, e_2, \ldots, e_d)$ to a basis $(e_1, e_2, \ldots, e_n)$ of $E$. Let $\Phi$ be the $d$-th coordinate form which associates to any vector $x$ of $E$ its coordinate along $e_d$. We denote by $F = \{x \in E \mid \forall i \in \mathbb{N}, \Phi(f^i(x)) = 0\}$.
Show that $F$ is stable under $f$ and that $E_1$ and $F$ are in direct sum.

We complete, if necessary, $(e_1, e_2, \ldots, e_d)$ to a basis $(e_1, e_2, \ldots, e_n)$ of $E$. Let $\Phi$ be the $d$-th coordinate form which associates to any vector $x$ of $E$ its coordinate along $e_d$. Let $\Psi$ be the linear map from $E$ to $\mathbb{K}^d$ defined, for all $x \in E$, by
$$\Psi(x) = \left(\Phi\left(f^i(x)\right)\right)_{0 \leqslant i \leqslant d-1} = \left(\Phi(x), \Phi(f(x)) \ldots, \Phi\left(f^{d-1}(x)\right)\right)$$
Show that $\Psi$ induces an isomorphism between $E_1$ and $\mathbb{K}^d$.

Using the notation of Q28 and Q29, show that $E = E_1 \oplus F$.

Deduce that there exist $r$ vector subspaces of $E$, denoted $E_1, \ldots, E_r$, all stable under $f$ such that:

• $E = E_1 \oplus \cdots \oplus E_r$;
• for all $1 \leqslant i \leqslant r$, the endomorphism $\psi_i$ induced by $f$ on the vector subspace $E_i$ is cyclic;
• if we denote by $P_i$ the minimal polynomial of $\psi_i$, then $P_{i+1}$ divides $P_i$ for all integer $i$ such that $1 \leqslant i \leqslant r-1$.

Show that the dimension of $\mathcal{C}(f)$ is greater than or equal to $n$.