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 | d e t Ξ ( π ) | = π β 1 for all | d e t Ξ ( π π ) | = | d e t ( Ξ ( π ) π ) | = π π β π , and therefore π β 1 for all π π β π . Thus the cyclic subgroup π β 1 is infinite, contradicting our requirement. Therefore β¨ π β© for all | d e t Ξ ( π ) | = 1 π β πΊ