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.
In a unitary representation of a finite group, if a cyclic vector satisfies for some , then there are no invariant vectors. Indeed the averaging orthogonal projection satisfies , so . All translates of also project to zero, and they span the representation.
Articles by others on the same topic
There are currently no matching articles.