Cyclic eigenvector obstruction to invariant vectors

ID: cyclic-eigenvector-obstruction-to-invariant-vectors

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.

New to topics? Read the docs here!