# Quasirandom degree

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).