Decomposition des ideaux premiers

Decomposition des ideaux premiers

Décomposition des idéaux premiers

En théorie algébrique des nombres, le théorème fondamental de l'arithmétique, valable sur les entiers relatifs, peut ne plus être vrai si on considère des entiers algébriques à la place. Toutefois, le théorie des anneaux de Dedekind montre que ce théorème peut être remplacé par un résultat plus faible : l'existence et l'unicité de la factorisation des idéux premiers.

Une extension (finie) de corps de nombres (algébriques ou p-adiques, qui sont de caractéristique nulle) L/K étant donnée, la question de la décomposition des idéaux premiers (ou ramification des idéaux premiers) de OK dans l'extension est : quelle est la factorisation dans OL d'un idéal premier de OK ?

Après l'étude de la ramification en chaque idéal premier considéré isolément, il est souvent intéressant de considérer les propriétés de ramification comme des propriétés sur l'extension considérée : ceci mène aux notions d'extension ramifiée et non ramifiée ou d'extension décomposée.

Sommaire

Premières définitions

Plus précisément, soit I un idéal premier de OK. Alors, il existe des idéaux premiers Ji de OL tels que :

I\mathcal{O}_L=\prod_{i=1}^g J_i^{e_i}

Les idéaux Ji sont dits appelés idéaux premiers de OL au-dessus de I. On emploie la terminologie suivante :

  • L'idéal I est dit non décomposé s'il n'y a qu'un idéal premier de OL au-dessus de lui (c'est-à-dire g=1), et décomposé sinon. Dans le cas d'un corps de nombres p-adiques, le fait que l'anneau d'entiers soit local, fait qu'il ne peut pas y avoir de décomposition.
  • Il est dit non ramifié si toutes les puissances ei valent 1 ; et ramifié sinon. Les nombres ei sont appelés indices de ramification.

Relation fondamentale

La factorisation écrite ci-dessus suit la loi suivante :

n=[L:K]=\sum_{i=1}^ge_if_i

n=[L:K] désigne le degré de l'extension considérée. Pour comprendre fi, il faut étudier les corps résiduels adaptés au problème : k=OK/IOK et li=OL/JiOL. Ces quotients sont bien des corps, en tant que quotient d'un anneau par un idéal maximal. Par ailleurs, on peut vérifier que li/k est une extension finie de corps finis (par exemple, dans le cas où K est le corps des nombres rationnels, on retrouve pour k un corps fini de la forme Z/pZ) : le degré [li:k] est le coefficient fi, appelé degré d'inertie.

La loi énoncée ci-dessus se montre grâce au théorème des restes chinois :

\mathcal{O}_L/I\mathcal{O}_L\simeq\bigoplus_{i=1}^g\mathcal{O}_L/J_i^{e_i}\mathcal{O}_L

En effet, le degré de l'extension vérifie [L:K]=dimkOL/IOL, et d'autre part, on a eifi=dimkOL/JiOL. Les dimensions considérées ici sont des dimensions d'espaces vectoriels sur le corps résiduel k.

On a alors les notions suivantes :

  • L'idéal est dit totalement ramifié s'il n'est pas décomposé, et que le seul degré d'inertie est 1 : I\mathcal{O}_L=J^n.
  • L'idéal est dit totalement décomposé s'il est non ramifié et que tous les degrés d'inertie valent 1 : I\mathcal{O}_L=J_1...J_n.

Sur les extensions

Une extension est dite extension non ramifiée si aucun idéal premier ne ramifie. Elle est dite extension totalement décomposée si chaque idéal premier y est totalement décomposé. Il sera souvent intéressant de considérer des extensions non ramifiées sauf pour un nombre spécifié d'idéaux : par exemple, on dira souvent par abus de langage qu'une extension L/K est non ramifiée en dehors de p si les idéaux premiers de K, au-dessus de l'idéal premier de l'anneau des entiers relatifs engendré par p (c'est-à-dire au-dessus de p), sont les seuls à être éventuellement ramifiés dans L/K. De même, une extension est p-décomposée si tous les idéaux de K au-dessus de p sont totalement décomposés dans L/K.

Le corps de classes de Hilbert d'un corps de nombres est par exemple l'extension abélienne non ramifiée maximale de ce corps. La théorie des corps de classes permet d'étudier en profondeur de telles extensions.

Calcul

Pour calculer effectivement la décomposition (degrés d'inertie, indices de ramification, et idéaux au-dessus), il faut se ramener à nouveau aux corps résiduels. Plus précisément, pour un idéal premier, dont on suppose de plus qu'il est premier au conducteur de l'anneau OK[t], où t est un générateur de l'extension L/K (c'est-à-dire L=K(t)), on obtient :

Théorème

Soit L = K(t) une extension finie de corps de nombres, P le polynôme minimal de t dans \mathcal{O}_K[X], et I un idéal premier de K, qui soit premier au conducteur de \mathcal{O}_K[t]. Si :

\overline{P}=\overline{P_1}^{e_1}\dots\overline{P_g}^{e_g}

est la factorisation en polynômes irréductibles de l'image du polynôme P dans l'anneau de polynômes (à coefficients dans le corps résiduel, fini) \mathcal{O}_K/I\mathcal{O}_K[X], alors, on a :

I\mathcal{O}_L=J_1^{e_1}\dots J_g^{e_g}

J_i=I\mathcal{O}_L+P_i(t)\mathcal{O}_L, pour Pi un relevé du polynôme \overline{P}_i dans \mathcal{O}_K[X].

Remarques

Il existe des algorithmes de factorisation des polynômes dans les corps finis, donc le calcul des décomposition des idéaux premiers est possible. Toutefois, les calculs deviennent rapidement impraticables quand le degré de l'extension augmente.

Article connexe

L'article Décomposition des idéaux premiers dans les extensions galoisiennes traite le cas d'une extension galoisienne. La structure supplémentaire apportera des propriétés de symétrie entre les différents indices de ramification.

Bibliographie

Pierre Samuel, Théorie algébrique des nombres [détail des éditions]

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « D%C3%A9composition des id%C3%A9aux premiers ».

Wikimedia Foundation. 2010.

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

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Décomposition Des Idéaux Premiers — En théorie algébrique des nombres, le théorème fondamental de l arithmétique, valable sur les entiers relatifs, peut ne plus être vrai si on considère des entiers algébriques à la place. Toutefois, le théorie des anneaux de Dedekind montre que ce …   Wikipédia en Français

  • Décomposition des idéaux premiers — En théorie algébrique des nombres, le théorème fondamental de l arithmétique, valable sur les entiers relatifs, peut ne plus être vrai si on considère des entiers algébriques à la place. Toutefois, le théorie des anneaux de Dedekind montre que ce …   Wikipédia en Français

  • Decomposition des ideaux premiers dans les extensions galoisiennes — Décomposition des idéaux premiers dans les extensions galoisiennes En mathématiques, l interaction entre le groupe de Galois d une extension galoisienne de corps de nombres (ou de corps de nombres p adiques, ou de corps de fonctions), et la… …   Wikipédia en Français

  • Décomposition Des Idéaux Premiers Dans Les Extensions Galoisiennes — En mathématiques, l interaction entre le groupe de Galois d une extension galoisienne de corps de nombres (ou de corps de nombres p adiques, ou de corps de fonctions), et la manière dont les idéaux premiers de l anneau des entiers algébriques …   Wikipédia en Français

  • Décomposition des idéaux premiers dans les extensions galoisiennes — En mathématiques, l interaction entre le groupe de Galois d une extension galoisienne de corps de nombres (ou de corps de nombres p adiques, ou de corps de fonctions), et la manière dont les idéaux premiers de l anneau des entiers algébriques… …   Wikipédia en Français

  • Séparation des idéaux premiers dans les extensions galoisiennes — Décomposition des idéaux premiers dans les extensions galoisiennes En mathématiques, l interaction entre le groupe de Galois d une extension galoisienne de corps de nombres (ou de corps de nombres p adiques, ou de corps de fonctions), et la… …   Wikipédia en Français

  • Caractérisation des nombres premiers — Nombre premier 7 est un nombre premier car il admet exactement deux diviseurs positifs …   Wikipédia en Français

  • Groupe de décomposition — Décomposition des idéaux premiers dans les extensions galoisiennes En mathématiques, l interaction entre le groupe de Galois d une extension galoisienne de corps de nombres (ou de corps de nombres p adiques, ou de corps de fonctions), et la… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

Share the article and excerpts

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