Galois extension

From formulasearchengine
Revision as of 18:38, 30 October 2014 by en>Mdd (+ Link(s))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

In mathematics, a Galois extension is an algebraic field extension E/F that is normal and separable; or equivalently, E/F is algebraic, and the field fixed by the automorphism group Aut(E/F) is precisely the base field F. One says that such an extension is Galois. The significance of being a Galois extension is that the extension has a Galois group and obeys the fundamental theorem of Galois theory. [1]

A result of Emil Artin allows one to construct Galois extensions as follows: If E is a given field, and G is a finite group of automorphisms of E with fixed field F, then E/F is a Galois extension.

Characterization of Galois extensions

An important theorem of Emil Artin states that for a finite extension E/F, each of the following statements is equivalent to the statement that E/F is Galois:

Examples

Adjoining to the rational number field the square root of 2 gives a Galois extension, while adjoining the cube root of 2 gives a non-Galois extension. Both these extensions are separable, because they have characteristic zero. The first of them is the splitting field of X2 − 2; the second has normal closure that includes the complex cube roots of unity, and so is not a splitting field. In fact, it has no automorphism other than the identity, because it is contained in the real numbers and X3 − 2 has just one real root.

An algebraic closure of an arbitrary field is Galois over if and only if is a perfect field.

References

  1. See the article Galois group for definitions of some of these terms and some examples.

See also

  • {{#invoke:citation/CS1|citation

|CitationClass=book }} (Reprinting of second revised edition of 1944, The University of Notre Dame Press).

  • {{#invoke:citation/CS1|citation

|CitationClass=book }} .

  • {{#invoke:citation/CS1|citation

|CitationClass=book }} (Galois' original paper, with extensive background and commentary.)

  • {{#invoke:Citation/CS1|citation

|CitationClass=journal }}

  • {{#invoke:citation/CS1|citation

|CitationClass=citation }}

  • {{#invoke:citation/CS1|citation

|CitationClass=book }} (Chapter 4 gives an introduction to the field-theoretic approach to Galois theory.)

  • {{#invoke:citation/CS1|citation

|CitationClass=book }} (This book introduces the reader to the Galois theory of Grothendieck, and some generalisations, leading to Galois groupoids.)

  • {{#invoke:citation/CS1|citation

|CitationClass=book }}

  • {{#invoke:citation/CS1|citation

|CitationClass=book }}

  • {{#invoke:citation/CS1|citation

|CitationClass=book }}

  • {{#invoke:citation/CS1|citation

|CitationClass=book }}

  • {{#invoke:citation/CS1|citation

|CitationClass=book }}. English translation (of 2nd revised edition): {{#invoke:citation/CS1|citation |CitationClass=book }} (Later republished in English by Springer under the title "Algebra".)