Let be a vector space over a field , and . Let be a linear transformation. The -cyclic subspace generated by is the smallest -invariant subspace which contains , and is denoted by .
Since , we have that
Remark. If we say that is a cyclic vector of .