Let $Q$ be a delta endomorphism, let $(q_n)_{n \in \mathbb{N}}$ be the sequence of polynomials associated with $Q$, and let $n$ be a natural number. Show that the family $(q_0, q_1, \ldots, q_n)$ is a basis of $\mathbb{K}_n[X]$.
Let $Q$ be a delta endomorphism, let $(q_n)_{n \in \mathbb{N}}$ be the sequence of polynomials associated with $Q$, and let $n$ be a natural number.
Show that the family $(q_0, q_1, \ldots, q_n)$ is a basis of $\mathbb{K}_n[X]$.