Cyclic vector for a group representation
ID: cyclic-vector-for-a-group-representation
A vector is cyclic for a group representation if the linear span of is all of . Equivalently generates as a module over the group algebra. Its projection to the invariant subspace generates that subspace, so a cyclic representation of a finite group has at most one copy of the trivial representation.
New to topics? Read the docs here!