Quasirandom degree
From Groupprops
This article defines an arithmetic function on groups
View other such arithmetic functions
Contents
Definition
Definition for finite groups
Suppose is a finite group. The quasirandom degree of
is defined in the following equivalent ways:
- It is the minimum possible degree of a nontrivial linear representation of
over the field of complex numbers.
- It is the minimum possible degree of an nontrivial irreducible linear representation of
over the field of complex numbers (i.e., it is the smallest of the degrees of irreducible representations once we throw out the trivial representation).
- It is the minimum of the degrees of nontrivial linear representations of
over all possible fields of characteristic zero.
- It is the minimum possible degree of an nontrivial irreducible linear representation of
over all possible fields of characteristic zero.
Note that for the trivial group, the quasirandom degree is taken to be .
We say that a nontrivial finite group is
-quasirandom if the quasirandom degree of
is at least
, i.e., if every nontrivial irreducible linear representation of
has degree at least
.
Definition for locally compact groups
PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]Related notions
- Maximum degree of irreducible representation is the maximum of the degrees of irreducible representations
Facts
Quasirandom degree of one
- For any nontrivial finite abelian group, the quasirandom degree is 1. This follows from the fact that abelian implies every irreducible representation is one-dimensional
- More generally, the quasirandom degree of a group is greater than 1 if and only if the group is a perfect group. This follows from the fact that number of one-dimensional representations equals order of abelianization, so if the abelianization is nontrivial, there is more than one one-dimensional representation, and hence a nontrivial one-dimensional representation.
Relation with subgroups and quotients
- Quasirandom degree of quotient group is bounded below by quasirandom degree of whole group
- Quasirandom degree of extension group is bounded below by minimum of quasirandom degrees of normal subgroup and quotient group
- Quasirandom degree of group is bounded below by minimum of quasirandom degrees of generating subgroups
External links
- Blog post by Terence Tao on quasirandom groups (he does not use quasirandom degree but uses the
-quasirandom notation).