 Group shift operator

For a finite abelian group $G$, $U(h)|g⟩=|g+h⟩$ defines the regular representation on the basis labelled by $G$. The linear characters give the common eigenbasisCharacter orthogonality proves orthonormality, and changing variables by the translation in a group proves the eigenvalue formula.