Minimal splitting field need not be unique: Difference between revisions

From Groupprops
No edit summary
 
(One intermediate revision by the same user not shown)
Line 5: Line 5:
Let <math>G</math> be a [[finite group]]. It is possible for <math>G</math> to have two distinct non-isomorphic [[minimal splitting field]]s <math>K</math> and <math>L</math> in characteristic zero. In other words, both <math>K</math> and <math>L</math> are splitting fields, no proper subfield of either is a splitting field, and <math>K</math> is not isomorphic to <math>L</math>.
Let <math>G</math> be a [[finite group]]. It is possible for <math>G</math> to have two distinct non-isomorphic [[minimal splitting field]]s <math>K</math> and <math>L</math> in characteristic zero. In other words, both <math>K</math> and <math>L</math> are splitting fields, no proper subfield of either is a splitting field, and <math>K</math> is not isomorphic to <math>L</math>.


===In prime characteristic===
Not sure whether there are examples here.
==Related facts==
==Related facts==


===Similar facts===
* [[Splitting not implies sufficiently large]]
* [[Minimal splitting field need not be cyclotomic]]
* [[Minimal splitting field need not be contained in a cyclotomic extension of rationals]]


===Opposite facts===
* [[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]]



Latest revision as of 16:33, 6 July 2019

Statement

In characteristic zero

Let G be a finite group. It is possible for G to have two distinct non-isomorphic minimal splitting fields K and L in characteristic zero. In other words, both K and L are splitting fields, no proper subfield of either is a splitting field, and K is not isomorphic to L.

In prime characteristic

Not sure whether there are examples here.

Related facts

Similar facts

Opposite facts

Proof

Example of the quaternion group

Further information: quaternion group, linear representation theory of quaternion group, faithful irreducible representation of quaternion group

The quaternion group of order eight has many different minimal splitting fields in characteristic zero. Specifically the following are true:

  • Q is not a splitting field.
  • Any field of the form Q(α,β) where α2+β2=1 is a splitting field.

Thus, any field of the form Q(m21)=Q[t]/(t2+m2+1), where mQ, is a quadratic extension of Q satisfying the condition for being a splitting field, and hence is a minimal splitting field. There are multiple non-isomorphic fields of this type, such as Q(i)=Q[t]/(t2+1) and Q(2)=Q[t]/(t2+2).