Anneau des entiers

Modèle:Confusion En algèbre commutative, l'anneau des entiers est une construction que l'on peut obtenir à partir de tout corps de nombres en considérant ses éléments entiers. Par exemple, l'anneau des entiers de $\mathbb {Q}$ est ${\mathcal {O}}_{\mathbb {Q} }=\mathbb {Z}$. Il existe des algorithmes efficaces pour calculer cet anneau pour tout corps de nombres. La notion peut en fait être étendue à d'autres objets (notamment les corps de fonctions), et porte une interprétation géométrique.

Définition

Modèle:Article détaillé Soit Modèle:Mvar un corps de nombres. Un élément de Modèle:Mvar est dit entier s'il est racine d'un polynôme unitaire à coefficients dans $\mathbb {Z}$. L'ensemble des éléments entiers de Modèle:Mvar est un anneau, noté ${\mathcal {O}}_{K}$ et appelé l'anneau des entiers de Modèle:Mvar.

Une définition équivalente est que ${\mathcal {O}}_{K}$ est l'unique ordre maximal de Modèle:Mvar.

Propriétés

• L'anneau ${\mathcal {O}}_{K}$ est un ordre, en particulier un $\mathbb {Z}$-module de type fini sans torsion, possédant donc une base, appelée base intégrale. Si $\{b_{1},\dotsc ,b_{n}\}$ est une telle base, le nombre Modèle:Mvar est le degré de l'extension $K/\mathbb {Q}$.
• L'anneau ${\mathcal {O}}_{K}$ est un anneau de Dedekind, et possède donc la propriété de factorisation unique des idéaux.
• Les unités ${\mathcal {O}}_{K}^{\times }$ forment un $\mathbb {Z}$-module de type fini par le théorème de Dirichlet.
• Le sous-groupe de torsion de ${\mathcal {O}}_{K}^{\times }$ est constitué des racines de l'unité.
• Si $K/F$ est une extension finie d'un corps de nombres, alors la fermeture intégrale de ${\mathcal {O}}_{F}$ dans Modèle:Mvar coïncide avec ${\mathcal {O}}_{K}$.

Exemples

• Soit Modèle:Mvar un entier sans facteur carré et soit $K=\mathbb {Q} ({\sqrt {d}})$ (qui est un corps quadratique si Modèle:Math). Alors, Modèle:Mvar est un anneau d'entiers quadratiques, égal à
  • $\mathbb {Z} [{\sqrt {d}}]$ si $d\not \equiv 1{\bmod {4}}$ (pour Modèle:Math, c'est l'anneau des entiers de Gauss) ;
  • $\mathbb {Z} \left[{\frac {1+{\sqrt {d}}}{2}}\right]$ si $d\equiv 1{\bmod {4}}$ (en particulier, ${\mathcal {O}}_{\mathbb {Q} }=\mathbb {Z}$).
• Plus généralement, soient Modèle:Mvar et Modèle:Mvar deux entiers sans facteur carré, $k={\frac {mn}{(m\land n)^{2}}}$, et
  $K=\mathbb {Q} ({\sqrt {m}},{\sqrt {n}})=\mathbb {Q} ({\sqrt {m}},{\sqrt {k}})=\mathbb {Q} ({\sqrt {n}},{\sqrt {k}})$ (qui est un Modèle:Lien si Modèle:Mvar et Modèle:Mvar sont différents de 1 et distincts). Alors,
  ${\mathcal {O}}_{K}={\begin{cases}\mathbb {Z} \left[{\sqrt {m}},{\sqrt {n}},{\frac {{\sqrt {n}}+{\sqrt {k}}}{2}}\right]&{\text{si }}m\equiv 3{\text{ et }}n\equiv k\equiv 2{\bmod {4}}\\\mathbb {Z} \left[{\frac {1+{\sqrt {m}}}{2}},{\sqrt {n}},{\frac {{\sqrt {n}}+{\sqrt {k}}}{2}}\right]&{\text{si }}m\equiv 1{\text{ et }}n\equiv k\not \equiv 1{\bmod {4}}\\\mathbb {Z} \left[{\frac {1+{\sqrt {m}}}{2}},{\frac {1+{\sqrt {n}}}{2}},{\frac {(1+{\sqrt {m}})(1+{\sqrt {k}})}{4}}\right]&{\text{si }}m\equiv n\equiv k\equiv 1{\bmod {4}}.\end{cases}}$.
• L'anneau des entiers du Modèle:Mvar-ième corps cyclotomique $\mathbb {Q} (\zeta _{n})$ est $\mathbb {Z} [\zeta _{n}]$, et celui de son sous-corps réel maximal $\mathbb {Q} (\zeta _{n}+\zeta _{n}^{-1})$ est $\mathbb {Z} [\zeta _{n}+\zeta _{n}^{-1}]$.

Généralisation

Si K est un corps local non archimédien, l'anneau OModèle:Ind de ses entiers (défini de la même façon que pour un corps de nombres) est égal à sa boule unité fermée. Par exemple :

• pour tout nombre premier Modèle:Mvar, l'anneau des entiers du [[Corps de nombres p-adiques|corps $\mathbb {Q} _{p}$ des nombres Modèle:Mvar-adiques]] est l'anneau $\mathbb {Z} _{p}$ des [[Nombre p-adique|entiers Modèle:Mvar-adiques]] ;
• l'anneau des entiers du corps $\mathbb {F} _{q}((t))$ des séries formelles de Laurent à coefficients dans le corps fini $\mathbb {F} _{q}$ est l'anneau $\mathbb {F} _{q}[[t]]$ des séries formelles à coefficients dans $\mathbb {F} _{q}$ ;
• si Modèle:Mvar est un complété formel d'un corps de nombres Modèle:Mvar, alors ${\mathcal {O}}_{K}$ est le complété formel de ${\mathcal {O}}_{F}$.