Sufficiently large implies splitting
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 .