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.
Maximal torus 2026-10-06
A maximal torus is a connected compact abelian Lie subgroup maximal among such subgroups. Restricting a finite-dimensional unitary representation to it splits into one-dimensional weight characters. For special unitary group it is the diagonal circle .