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 G be a finite group, and let d be the exponent of G: in other words, d is the least common multiple of the orders of all elements of G. Suppose k is a sufficiently large field for G: k is a field whose characteristic does not divide the order of G, and such that the polynomial xd1 splits completely over k.

Then, k is a splitting field for G: Every linear representation of G that can be realized over an algebraic extension of k can in fact be realized over k.