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 v1, ... , vn, one has
(for i < n), and v1 generates V as a K[C]-module: C cycles basis vectors.