Quasirandom degree of quotient group is bounded below by quasirandom degree of whole group
Here, quasirandom degree refers to the minimum possible degree of a nontrivial irreducible linear representation over the complex numbers.
- Quasirandom degree of extension group is bounded by maximum of quasirandom degrees of normal subgroup and quotient group
- Degrees of irreducible representations of quotient group are contained in degrees of irreducible representations of group
The proof follows directly from Fact (1).