Quasirandom group
= Quasirandom group
{title2=$d_\rho\geq m\text{ for }\rho\ne1$}
A <finite group> is $m$-quasirandom if every nontrivial <irreducible representation> over the <complex numbers> has degree at least $m$. The <trivial representation> is excluded. Large $m$ suppresses correlations of products of arbitrary subsets, through <product mixing in a quasirandom group>.