Degré d'inertie

Degré d'inertie

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 Degré d'inertie de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • inertie — [ inɛrsi ] n. f. • inhertie « atonie », h. v. 1370; lat. inertia ♦ État de ce qui est inerte. 1 ♦ Résistance des objets pesants au mouvement qui leur est imposé. L inertie de la matière. Centre d inertie. ⇒ gravité; barycentre. Force d inertie… …   Encyclopédie Universelle

  • Groupe d'inertie — 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

  • Systeme oscillant a un degre de liberte — Système oscillant à un degré de liberté Les phénomènes physiques dépendant du temps sont généralement décrits au départ par des équations différentielles. Dans le cas le plus simple, il y a une seule grandeur qui varie et on parle de système à un …   Wikipédia en Français

  • Systèmes oscillants à un degré de liberté — Système oscillant à un degré de liberté Les phénomènes physiques dépendant du temps sont généralement décrits au départ par des équations différentielles. Dans le cas le plus simple, il y a une seule grandeur qui varie et on parle de système à un …   Wikipédia en Français

  • Oscillation d'inertie — L’oscillation d inertie est, en milieu tournant et notamment en océanographie physique, un mouvement horizontal et circulaire d une particule soumise à la seule force de Coriolis et assujettie à glisser sans frottement sur une équipotentielle de… …   Wikipédia en Français

  • Système oscillant à un degré de liberté — Les phénomènes physiques dépendant du temps sont généralement décrits au départ par des équations différentielles. Dans le cas le plus simple, il y a une seule grandeur qui varie et on parle de système à un degré de liberté, la plupart du temps… …   Wikipédia en Français

  • Principe d’inertie — Lois du mouvement de Newton Les deux premières lois de Newton en latin dans l édition originale du Principia Mathematica de 1687. Les lois du mouvement de Newton sont en fait des principes à la base de la grande théorie de Newton concernant le… …   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

Share the article and excerpts

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