Extension de Kummer

Extension de Kummer

Théorie de Kummer

En mathématiques, la théorie de Kummer, ainsi désignée suivant le nom du mathématicien allemand du XIX siècle Ernst Kummer, suite à ses travaux sur le dernier théorème de Fermat, donne une description de certaines extensions d'un corps contenant suffisamment de racines de l'unité.

Sommaire

Extension de Kummer

Soit un corps commutatif K contenant les racines n-èmes de l'unité, pour n un nombre entier premier à la caractéristique de K si elle est positive. Une extension L/K est de Kummer si le corps L est K-engendré par une racine d'un polynôme Xn-a à coefficients dans K.

Par exemple, en caractéristique différente de 2, l'expression des racines des trinômes du second degré montre que toute extension quadratique est une extension de Kummer. En revanche, en caractéristique 2, il n'y a pas d'extension de Kummer de degré 2.

Si le corps K ne contient aucune racine m-ème de a, pour m>1 divisant n, l'extension de Kummer de K donnée par les racines du polynôme Xn-a est une extension galoisienne, de groupe de Galois cyclique d'ordre n, dont un générateur σ est défini par son action sur une racine n-ème de a :

\sigma\sqrt[n]{a}=\zeta_n\sqrt[n]{a},

ζn désigne une racine primitive n-ème de l'unité. Sans hypothèse sur les racines de a dans K, l'extension est cyclique d'ordre divisant n.

Plus généralement, on parle d'extension de Kummer pour un compositum d'un nombre fini d'extensions de Kummer élémentaires telles que décites ci-dessus, c'est-à-dire obtenues en adjoignant les racines n-èmes de l'unité d'un nombre fini d'éléments ai du corps K. Un telle extension est à nouveau galoisienne, et son groupe de Galois est produit direct de groupes cycliques d'ordre divisant n, elle est donc abélienne, et son groupe de Galois a un exposant qui divise n.

Théorie de Kummer

La théorie de Kummer traite les réciproques, c'est-à-dire la question : dans quelle mesure les extensions abéliennes d'un corps peuvent-elles être décrites à l'aide de racines n-èmes d'éléments de ce corps ?

Une réponse est donnée par l'énoncé : si K est un corps contenant les racines n-èmes de l'unité, pour n un entier que ne divise pas la caractéristique de K, et si L est une extension abélienne finie de K, dont le groupe de Galois est d'exposant divisant n, alors il existe des éléments a1,...,ar de K tels que L=K(\sqrt[n]{a_1},\dots,\sqrt[n]{a_r}). Les éléments a1, ..., ar engendrent un sous-groupe abélien Δ, d'exposant divisant n, du groupe quotient K*/(K*)n. Il y a donc une correspondance entre de tels sous-groupes Δ et les extensions abéliennes de K de groupe de Galois G d'exposant divisant n, et il existe un isomorphisme :

\begin{pmatrix}\Delta&\to& Hom(G,\mu_n)\\
a_i&\mapsto&(\sigma\mapsto \frac{\sigma(a_i)}{a_i})\end{pmatrix}

En notant ni le plus grand entier divisant n tel que la racine ni-ème de a soit dans K, il existe donc une famille d'éléments σi du groupe G qui laissent fixes les aj pour j différent de i, et agissent sur ai par multiplication par \zeta_n^{n_i}.

Voir aussi

Dans le cas d'une extension abélienne d'ordre p, d'un corps commutatif de caractéristique p, voir : théorie d'Artin-Schreier.

Référence

(en) Jürgen Neukirch, Algebraic number theory [détail des éditions]

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Th%C3%A9orie de Kummer ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Extension de Kummer de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Extension (mathematics) — In mathematics, the word extension has many uses. See:Analysis* Carathéodory s extension theorem * Continuous linear extension * M. Riesz extension theorem * Krein extension theorem * Hahn Banach theoremAlgebra* Abelian extension * Algebraic… …   Wikipedia

  • Extension Algébrique — En mathématiques et plus particulièrement en algèbre, une extension algébrique L sur un corps K est une extension de corps dans laquelle tous les éléments sont algébriques sur K c’est à dire sont racines d un polynôme non nul à coefficients dans… …   Wikipédia en Français

  • Extension algebrique — Extension algébrique En mathématiques et plus particulièrement en algèbre, une extension algébrique L sur un corps K est une extension de corps dans laquelle tous les éléments sont algébriques sur K c’est à dire sont racines d un polynôme non nul …   Wikipédia en Français

  • Extension Quadratique — En mathématiques, et plus précisément en algèbre dans le cadre de la théorie de Galois, une extension quadratique est une extension de corps de dimension deux. Si K est un corps commutatif, souvent celui des nombres rationnels, alors une… …   Wikipédia en Français

  • Extension Cyclotomique — En théorie algébrique des nombres, on appelle extension cyclotomique du corps des nombres rationnels, les surcorps de la forme où ζn est une racine primitive nème de l unité ; cette appellation provient de ce que ces extensions sont des… …   Wikipédia en Français

  • KUMMER (E. E.) — Le mathématicien allemand Kummer est un des fondateurs de la théorie des nombres algébriques. Ses tentatives pour établir le «grand théorème» de Fermat l’ont conduit à étudier la divisibilité dans les corps cyclotomiques et à introduire, à cet… …   Encyclopédie Universelle

  • Extension De Galois — En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de Galois. Cette… …   Wikipédia en Français

  • Extension de galois — En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de Galois. Cette… …   Wikipédia en Français

  • Extension galoisienne — Extension de Galois En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de …   Wikipédia en Français

  • Extension Finie — En mathématiques, et plus précisément en algèbre dans le cadre de la théorie de Galois, une extension finie sur un corps K, est un corps qui, en tant qu espace vectoriel sur K est de dimension finie. Sommaire 1 Motivation 2 Exemples 3 …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”