Extension abélienne | EPFL Graph Search

En algèbre générale, plus précisément en théorie de Galois, une extension abélienne est une extension de Galois dont le groupe de Galois est abélien. Lorsque ce groupe est cyclique, l'extension est dite cyclique. Toute extension finie d'un corps fini est une extension cyclique. L'étude de la théorie des corps de classes décrit de façon détaillée toutes les extensions abéliennes dans le cas des corps de nombres, et des corps de fonctions de courbes algébriques sur des corps finis, ainsi que dans le cas des corps locaux (Théorie du corps de classes local). Cyclotomie et extensions abéliennes au-dessus des nombres rationnels Les extensions cyclotomiques, obtenues par l'adjonction de racines de l'unité donnent des exemples d'extensions abéliennes au-dessus de n'importe quel corps. Ces extensions peuvent être triviales si le corps duquel on part est algébriquement clos ou bien si l'on adjoint des racines p-ièmes en caractéristique p. Dans le cas où le corps de base est le c

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

The valuation criterion for normal basis generators

If L/K is a finite Galois extension of local fields, then we say that the valuation criterion VC(L/K) holds if there is an integer d such that every element x is an element of L with valuation d generates a normal basis for L/K. Answering a question of Byott and Elder, we first prove that VC(L/K) holds if and only if the tamely ramified part of the extension L/K is trivial and every non-zero K[G]-submodule of L contains a unit of the valuation ring of L. Moreover, the integer d can take one value modulo [L:K] only, namely-d(L/K)-1, where d(L/K) is the valuation of the different of L/K. When K has positive characteristic, we thus recover a recent result of Elder and Thomas, proving that VC(L/K) is valid for all extensions L/K in this context. When char K=0, we identify all abelian extensions L/K for which VC(L/K) is true, using algebraic arguments. These extensions are determined by the behaviour of their cyclic Kummer subextensions.

2012

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