Degree of irreducible representation is bounded by index of abelian subgroup
In characteristic zero
Suppose is a finite group, is a splitting field for of characteristic zero, and is an abelian subgroup of . Then, the Degrees of irreducible representations (?) of over are all at most equal to the index .
Since degrees of irreducible representations are the same for all splitting fields, the truth of the statement for splitting fields in characteristic zero implies its truth for splitting fields in any characteristic not dividing the order of the group.
- Degree of irreducible representation divides index of abelian normal subgroup
- Degree of irreducible representation need not divide index of abelian subgroup
- Degree of irreducible representation divides index of abelian subgroup in finite nilpotent group
- Maximum degree of irreducible representation of group is less than or equal to product of maximum degree of irreducible representation of subgroup and index of subgroup (this, as stated, requires characteristic zero)
- Abelian implies every irreducible representation is one-dimensional (this requires us to be over a splitting field)
The proof follows directly from Facts (1) and (2).