Minimal splitting field need not be unique: Difference between revisions

From Groupprops
No edit summary
 
Line 14: Line 14:
* [[Splitting not implies sufficiently large]]
* [[Splitting not implies sufficiently large]]
* [[Minimal splitting field need not be cyclotomic]]
* [[Minimal splitting field need not be cyclotomic]]
* [[Minimal splitting field need not be contained in a cyclotomic extension of rationals]]


===Opposite facts===
===Opposite facts===

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).