Sufficiently large implies splitting

From Groupprops
Revision as of 20:27, 10 April 2009 by Vipul (talk | contribs) (Created page with '==Statement== Let <math>G</math> be a finite group, and let <math>d</math> be the exponent of <math>G</math>: in other words, <math>d</math> is the l...')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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 .