Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Découvrez-en plus sur les applications Graph.

Graph
Search

fr|en

Se Connecter

Concept

Extension de corps

Résumé

En mathématiques, plus particulièrement en algèbre, une extension d'un corps commutatif K est un corps L qui contient K comme sous-corps. Par exemple, le corps ℂ des nombres complexes est une extension du corps ℝ des nombres réels, lequel est lui-même une extension du corps ℚ des nombres rationnels. On note parfois L/K pour indiquer que L est une extension de K. Définition Soit K un corps. Une extension de K est un couple (L, j) où L est un corps et j un morphisme de corps de K dans L (les morphismes de corps étant systématiquement injectifs). On montre qu'il existe un sur-corps N de K et un isomorphisme de corps f : N → L tels que la restriction de f à K soit égale à j. Ainsi l'extension (L, j) peut être identifiée à l'extension (N, i) avec l'inclusion i. Pour cette raison, les extensions d'un corps sont généralement considérées comme des sur-corps. Cependant, certaines constructions d'extensions ne sont pas naturellement des sur-corps (par exemple le corps de rupture)

Source officielle

https://fr.wikipedia.org/wiki/Extension_de_corps

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (27)

Publications associées

Chargement

Personnes associées (1)

Personnes associées

Chargement

Unités associées (1)

Unités associées

Chargement

Concepts associés (97)

Concepts associés

Chargement

Cours associés (27)

P-adic numbers are a number theoretic analogue of the real numbers, which interpolate between arithmetics, analysis and geometry. In this course we study their basic properties and give various applications, notably we will prove rationality of the Weil Zeta function.

Study basic concepts of modern algebra: groups, rings, fields.

This course introduces the basics of cryptography. We review several types of cryptographic primitives, when it is safe to use them and how to select the appropriate security parameters. We detail how they work and sketch how they can be implemented.

Afficher plus

Cours associés

Chargement

Séances de cours associées (65)

Afficher plus

Séances de cours associées

Chargement

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

Chargement

Explicit construction of self-dual integral normal bases for the square-root of the inverse different

Erik Jarl Pickett

Let K be a finite extension of Q(p), let L/K be a finite abelian Galois extension of odd degree and let D-L be the valuation ring of L. We define A(L/K) to be the unique fractional D-L-ideal with square equal to the inverse different of L/K. For p an odd prime and L/Q(p) contained in certain cyclotomic extensions, Erez has described integral normal bases for A(L)/Q(p) that are self-dual with respect to the trace form. Assuming K/Q(p) to be unramified we generate odd abelian weakly ramified extensions of K using Lubin-Tate formal groups. We then use Dwork's exponential power series to explicitly construct self-dual integral normal bases for the square-root of the inverse different in these extensions. (C) 2009 Elsevier Inc. All rights reserved.

2009

Chargement

A linear algebraic group G defined over a field k is called special if every G-torsor over every field extension of k is trivial. In 1958 Grothendieck classified special groups in the case where the base field is algebraically closed. In this paper we describe the derived subgroup and the coradical of a special reductive group over an arbitrary field k. We also classify special semisimple groups, special reductive groups of inner type, and special quasisplit reductive groups over an arbitrary field k. Finally, we give an application to a conjecture of Serre.

Springer Birkhauser2016

Chargement

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