Theorie de Kummer

Theorie 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 Theorie de Kummer de Wikipédia en français (auteurs)

См. также в других словарях:

  • 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… …   Wikipédia en Français

  • 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… …   Wikipédia en Français

  • Theorie de Galois — Théorie de Galois Évariste Galois 1811 1832 En mathématiques et plus précisément en algèbre, la théorie de Galois est l étude des extensions de corps commutatifs, par le biais d une correspondance avec des groupes de transformations sur ces… …   Wikipédia en Français

  • Théorie de galois — Évariste Galois 1811 1832 En mathématiques et plus précisément en algèbre, la théorie de Galois est l étude des extensions de corps commutatifs, par le biais d une correspondance avec des groupes de transformations sur ces extensions, les groupes …   Wikipédia en Français

  • Theorie d'Artin-Schreier — Théorie d Artin Schreier En mathématiques, la théorie d Artin Schreier donne une description des extensions galoisiennes de degré p d un corps de caractéristique p. Elle traite donc un cas inaccessible à la théorie de Kummer. Extension d Artin… …   Wikipédia en Français

  • Théorie d'artin-schreier — En mathématiques, la théorie d Artin Schreier donne une description des extensions galoisiennes de degré p d un corps de caractéristique p. Elle traite donc un cas inaccessible à la théorie de Kummer. Extension d Artin Schreier Soit K un corps de …   Wikipédia en Français

  • Théorie de Galois — En mathématiques et plus précisément en algèbre, la théorie de Galois est l étude des extensions de corps commutatifs, par le biais d une correspondance avec des groupes de transformations sur ces extensions, les groupes de Galois. Cette méthode… …   Wikipédia en Français

  • Kummer — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Le nom de Kummer est porté par plusieurs personnalités (par ordre alphabétique) : Ernst Kummer (1810 1893), mathématicien allemand. Théorie de Kummer …   Wikipédia en Français

  • Théorie d'Artin-Schreier — En mathématiques, la théorie d Artin Schreier (en) donne une description des extensions galoisiennes de degré p d un corps de caractéristique p. Elle traite donc un cas inaccessible à la théorie de Kummer. Extension d Artin Schreier Soit K… …   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


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»