Difference between revisions of "Field generated by character values"

From Groupprops
Jump to: navigation, search
(Created page with "==Definition== Suppose <math>G</math> is a finite group. Pick a characteristic that is either zero or a prime not dividing the order of <math>G</math>. The '''field generate...")
 
Line 7: Line 7:
 
* The field generated by character values is unique up to isomorphism of fields.
 
* The field generated by character values is unique up to isomorphism of fields.
 
* The field generated by character values is contained in every splitting field, and hence also in every [[minimal splitting field]].
 
* The field generated by character values is contained in every splitting field, and hence also in every [[minimal splitting field]].
* The field generated by character values is a cyclotomic extension of the rationals (in characteristic zero) because [[characters are cyclotomic integers]].
+
* The field generated by character values is contained in a cyclotomic extension of the rationals (in characteristic zero) because [[characters are cyclotomic integers]].
 
* [[Field generated by character values is splitting field implies it is the unique minimal splitting field]]
 
* [[Field generated by character values is splitting field implies it is the unique minimal splitting field]]
 
* [[Field generated by character values need not be a splitting field]]
 
* [[Field generated by character values need not be a splitting field]]
 +
* [[Field generated by character values need not be cyclotomic]]

Revision as of 00:51, 1 February 2013

Definition

Suppose G is a finite group. Pick a characteristic that is either zero or a prime not dividing the order of G. The field generated by character values for G in that characteristic is the smallest field in that characteristic containing the values of all the characters of irreducible representations of G over a splitting field in that characteristic.

Facts