Quasirandom degree of group is bounded below by minimum of quasirandom degrees of generating subgroups
Statement in terms of quasirandom degrees
Statement in terms of -quasirandom groups
Equivalently, if are all -quasirandom groups for some positive integer , then so is .
The key idea behind the proof is to note that if a representation restricts to the trivial representation on all the generating subgroups, it must be the trivial representation on the whole group.