Lcm of degrees of irreducible representations

From Groupprops
Revision as of 23:36, 12 April 2011 by Vipul (talk | contribs) (Created page with "{{arithmetic function on groups}} ==Definition== Supose <math>G</math> is a finite group and <math>K</math> is a splitting field for <math>G</math>. The '''lcm of degre...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This article defines an arithmetic function on groups
View other such arithmetic functions

Definition

Supose G is a finite group and K is a splitting field for G. The lcm of degrees of irreducible representations of G is defined as the least common multiple of all the degrees of irreducible representations of G over K.

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

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 K = \mathbb{C}.

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