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!