Sufficiently large implies splitting
Contents
Statement
Let be a finite group, and let
be the exponent of
: in other words,
is the least common multiple of the orders of all elements of
. Suppose
is a sufficiently large field for
:
is a field whose characteristic does not divide the order of
, and such that the polynomial
splits completely over
.
Then, is a splitting field for
: Every linear representation of
that can be realized over an algebraic extension of
can in fact be realized over
.
Particular cases
Note that if the exponent is where
is odd, the existence of
roots guarantees the existence of
roots. Hence, the smallest
to guarantee sufficiently large in such circumstances is taken as
.
The symmetric group of degree three is the first example where the -values for sufficiently large and splitting diverge.
Group | Order | Smallest ![]() ![]() |
Smallest ![]() ![]() |
---|---|---|---|
trivial group | 1 | 1 | 1 |
cyclic group:Z2 | 2 | 1 | 1 |
cyclic group:Z3 | 3 | 3 | 3 |
cyclic group:Z4 | 4 | 4 | 4 |
Klein four-group | 4 | 1 | 1 |
cyclic group:Z5 | 5 | 5 | 5 |
symmetric group:S3 | 6 | 3 | 1 |
cyclic group:Z6 | 6 | 3 | 3 |
dihedral group:D8 | 8 | 4 | 1 |
quaternion group | 8 | 4 | 4 |
symmetric group:S4 | 24 | 12 | 1 |
Related facts
- Sufficiently large implies splitting for every subquotient
- Splitting not implies sufficiently large
- Splitting field for a group implies splitting field for every quotient
- Splitting field for a group not implies splitting field for every subgroup
Facts about minimal splitting fields
- Minimal splitting field need not be unique
- Minimal splitting field need not be cyclotomic
- Field generated by character values is splitting field implies it is the unique minimal splitting field
Facts used
- Brauer's induction theorem (this is also called the characterization of linear characters lemma)
Proof
Given: A finite group , a field
that is sufficiently large for
.
To prove: is a splitting field for
.
Proof: By fact (1), every character of over
is a
-linear combination of characters induced from characters of elementary subgroups of
. Since elementary groups are supersolvable, every character of an elementary subgroup is induced from a linear character on some subgroup of it; hence, every character of
is a
-linear combination of linear characters on subgroups.
Now, every linear character can be realized over because
is sufficiently large, and the induced representation from a linear character can be realized over the same field, so there is a collection of representations realized over
whose characters have all the irreducible characters in their
-span. This forces that all the irreducible representations over any extension of
can be realized over the field
.
References
Textbook references
- Linear representations of finite groups by Jean-Pierre Serre, 10-digit ISBN 0287901906 (English), ISBN 3540901906 (French), Page 94, Corollary to Theorem 24, Section 12.3, More info