AccueilđŸ‡«đŸ‡·Chercher

Norme d'idéal

En algÚbre commutative, la norme d'un idéal est une généralisation de la notion de norme d'un élément dans une extension de corps. Il est particuliÚrement important en théorie des nombres puisqu'il mesure la taille d'un idéal d'un anneau d'entiers R a priori compliqué en fonction d'un idéal dans un anneau plus simple. Lorsque l'anneau plus simple est Z, la norme d'un idéal non nul I de R est simplement le cardinal de l'anneau quotient fini R/I.

Norme relative

Soit A un anneau de Dedekind, K son corps des fractions et B sa fermeture intégrale dans une extension finie séparable L de K. (Cela implique que B est aussi un anneau de Dedekind.) Soit et les groupes d'idéaux fractionnaires non nuls de A et B, respectivement. Suivant Jean-Pierre Serre, la norme relative est l'unique morphisme de groupes

qui satisfait pour tout idĂ©al premier non nul de B, oĂč est l'idĂ©al premier de A situĂ© en dessous .

De maniÚre équivalente, pour tout on peut définir de comme étant l'idéal fractionnaire de A engendré par l'ensemble des normes d'éléments de B.

Pour , on a , oĂč .

La norme d'un idéal principal est donc compatible avec la norme d'un élément :

Soit une extension galoisienne de corps de nombres avec pour anneaux d'entiers .

Alors ce qui précÚde s'applique avec , et pour tout on a

qui est un élément de . La notation est parfois abrégée en .

Dans le cas , est à valeurs dans , en identifiant tout idéal fractionnaire non nul de à l'unique rationnel strictement positif qui l'engendre. Selon cette convention, la norme relative de sur coïncide avec la norme absolue définie ci-dessous.

Norme absolue

Soit un corps de nombres, l'anneau de ses entiers, et un idéal non nul de .

La norme absolue de est

Par convention, la norme de l'idéal zéro est prise égale à zéro.

La norme absolue s'Ă©tend de maniĂšre unique en un morphisme de groupes

.

La norme d'un idĂ©al peut ĂȘtre utilisĂ©e pour majorer la norme du plus petit Ă©lĂ©ment non nul qu'il contient :

La borne de Minkowski Ă©nonce qu'il existe toujours un non nul tel que

oĂč

Voir aussi

Article connexe

Fonction zĂȘta de Dedekind

Crédit d'auteurs

(en) Cet article est partiellement ou en totalitĂ© issu de l’article de WikipĂ©dia en anglais intitulĂ© « Ideal norm » (voir la liste des auteurs).
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplĂ©mentaires peuvent s’appliquer aux fichiers multimĂ©dias.