Minimal splitting field need not be unique: Difference between revisions
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 be a finite group. It is possible for to have two distinct non-isomorphic minimal splitting fields and in characteristic zero. In other words, both and are splitting fields, no proper subfield of either is a splitting field, and is not isomorphic to .
In prime characteristic
Not sure whether there are examples here.
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
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:
- is not a splitting field.
- Any field of the form where is a splitting field.
Thus, any field of the form , where , is a quadratic extension of 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 and .