Representations of finite groups
In general, a representation of a finite group
Proof
Let
be a finite group and be a representation thereof with finite carrier space. Assume there exists such that . Then for all , and therefore for all . Thus the cyclic subgroup is infinite, contradicting our requirement. Therefore for all