Lcm of degrees of irreducible representations

From Groupprops

This article defines an arithmetic function on groups
View other such arithmetic functions

This term is related to: linear representation theory
View other terms related to linear representation theory | View facts related to linear representation theory

Definition

For a group over a field

Suppose is a group and is a field. The lcm of degrees of irreducible representations of is defined as the least common multiple of all the degrees of irreducible representations of over .

Typical context: finite group and splitting field

The typical context is where is a finite group and is a splitting field for . In particular, the characteristic of is either zero or is a prime not dividing the order of , and every irreducible representation of over any extension field of can be realized over .

Note that the lcm of degrees of irreducible representations depends (if at all) only on the characteristic of the field . This is because the degrees of irreducible representations over a splitting field depend only on the characteristic of the field.

Default case: characteristic zero

By default, when referring to the lcm of degrees of irreducible representations, we refer to the case of characteristic zero, and we can in particular take .

Related facts

What it divides

Any divisibility fact stating that the degree of every irreducible representation over a splitting field must divide some fixed number implies that the lcm also divides that fixed number. Some of these are listed below:

Subgroups, quotients, direct products