Characters span class functions iff they separate conjugacy classes iff field contains field generated by character values

From Groupprops
Revision as of 02:24, 14 July 2011 by Vipul (talk | contribs) (Created page with "==Statement== Suppose <math>G</math> is a ''nontrivial'' group and <math>k</math> is a field whose characteristic does not divide the order of <math>G</math>. The following ...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Statement

Suppose G is a nontrivial group and k is a field whose characteristic does not divide the order of G. The following are equivalent:

  1. The characters of irreducible representations of G over k span the space of class functions.
  2. Given any two distinct conjugacy classes of G, there is an irreducible representation whose character value is different on the two conjugacy classes.
  3. k contains a subfield K that is isomorphic to the field generated by character values in its characteristic, i.e., there is a splitting field containing K such that all irreducible representations of G over the splitting field have character values in K.

Facts used

  1. Splitting implies characters span class functions, splitting implies characters separate conjugacy classes