Are you an EPFL student looking for a semester project?

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

Concept

Galois extension

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. The significance of being a Galois extension is that the extension has a Galois group and obeys the fundamental theorem of Galois theory. 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: *E/F is a normal extension and a separable extension. *E is a splitting field of a separable polynomial with coefficients in F. *|!\operatorname{Aut}(E/F)| = [E

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications

Related people

Related units

Related concepts

Related courses

Related lectures

Summary

Official source

About this result

Related publications (7)

Related publications

Related people

Related units

Related concepts (18)

In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers do. A field is thus

In mathematics, particularly in algebra, a field extension is a pair of fields K\subseteq L, such that the operations of K are those of L restricted to K. In this case, L is an extension

In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field that contains a finite number of elements. As with any field, a finite field is a set on which the op

Related concepts

Related courses (1)

Related courses

Related lectures (16)

Related lectures

Extension de l'aéroport de Lyon Saint-Exupéry

2001

Extension de l'aéroport de Lyon Saint-Exupéry

2001

Construction Of Self-Dual Integral Normal Bases In Abelian Extensions Of Finite And Local Fields

Erik Jarl Pickett

Let

F/E

be a finite Galois extension of fields with abelian Galois group

\Gamma

. A self-dual normal basis for

F/E

is a normal basis with the additional property that

Tr_{F/E}(g(x),h(x))=\delta_{g,h}

for

g,h\in\Gamma

. Bayer-Fluckiger and Lenstra have shown that when

char(E)\neq 2

, then

F

admits a self-dual normal basis if and only if

[F:E]

is odd. If

F/E

is an extension of finite fields and

char(E)=2

, then

F

admits a self-dual normal basis if and only if the exponent of

\Gamma

is not divisible by

4

. In this paper we construct self-dual normal basis generators for finite extensions of finite fields whenever they exist. Now let

K

be a finite extension of

\Q_p

, let

L/K

be a finite abelian Galois extension of odd degree and let

\bo_L

be the valuation ring of

L

. We define

A_{L/K}

to be the unique fractional

\bo_L

-ideal with square equal to the inverse different of

L/K

. It is known that a self-dual integral normal basis exists for

A_{L/K}

if and only if

L/K

is weakly ramified. Assuming

p\neq 2

, we construct such bases whenever they exist.

2010

In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers do. A field is thus

In mathematics, particularly in algebra, a field extension is a pair of fields K\subseteq L, such that the operations of K are those of L restricted to K. In this case, L is an extension

In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field that contains a finite number of elements. As with any field, a finite field is a set on which the op

MATH-482: Algebraic number theory

Algebraic number theory is the study of the properties of solutions of polynomial equations with integral coefficients; Starting with concrete problems, we then introduce more general notions like algebraic number fields, algebraic integers, units, ideal class groups...