Companion matrix

In linear algebra, the Frobenius companion matrix of the monic polynomial

is the square matrix defined as

With this convention, and on the basis v₁, ... , v_n, one has

(for i < n), and v₁ generates V as a K[C]-module: C cycles basis vectors.