Entier algébrique
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6f/Confusion_colour.svg/20px-Confusion_colour.svg.png)
Ne doit pas être confondu avec Nombre algébrique.
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Entier et Algébrique.
En mathématiques, un entier algébrique est un élément d'un corps de nombres qui y joue un rôle analogue à celui d'un entier relatif dans le corps des nombres rationnels. L'étude des entiers algébriques est à la base de l'arithmétique des corps de nombres, et de la généralisation dans ces corps de notions comme celles de nombre premier ou de division euclidienne. Par définition, un entier algébrique est une racine d'un polynôme unitaire à coefficients dans ℤ. Par exemple, le nombre 1 + √3 est un entier algébrique, car il est une racine du polynôme unitaire à coefficients entiers X2 – 2X – 2. Les nombres de la forme a + bi où a et b sont des entiers relatifs et où i désigne une racine du polynôme X2 + 1 sont aussi des entiers algébriques particuliers ; ils sont appelés entiers de Gauss.
Cette définition a émergé au cours du XIXe siècle, en particulier dans les travaux de Richard Dedekind, car elle donne une notion adéquate pour développer l'arithmétique dans des corps de nombres. Un autre usage de ces nombres est la résolution d'équations diophantiennes, c'est-à-dire d'équations polynomiales à coefficients dans les entiers relatifs, et dont on recherche les solutions entières. Des exemples sont le théorème des deux carrés de Fermat, le dernier théorème de Fermat ou encore l'équation de Pell-Fermat. Par ailleurs, la compréhension de la structure d'un anneau d'entiers permet de mieux comprendre le corps d'origine. Les techniques développées pour décrire les propriétés de tels anneaux sont utilisées pour démontrer des théorèmes fondamentaux sur les corps de nombres comme celui de Kronecker-Weber.
Définitions
Un entier algébrique est une racine d'un polynôme unitaire à coefficients dans ℤ.
Les entiers algébriques forment un anneau : la somme, la différence ou le produit de deux entiers algébrique est encore un entier algébrique.
L'intersection de cet anneau (commutatif, unifère) intègre avec un sous-corps K de ℂ s'appelle l'anneau des entiers de K, souvent noté OK.
Un entier algébrique est en particulier un nombre algébrique. À ce titre, il engendre un corps de nombres, c'est-à-dire une extension finie du corps ℚ des rationnels. Mais tous les nombres algébriques ne sont pas des entiers algébriques (par exemple 1/2 est algébrique mais pas entier). Pour tout nombre algébrique α, de polynôme minimal P :
- α est un entier algébrique si et seulement si P est à coefficients dans ℤ ;
- il existe un entier n > 0 tel que nα soit un entier algébrique (il suffit de prendre pour n le produit des dénominateurs des coefficients de P).
La notion d'entiers algébriques est un cas particulier d'éléments entiers dans une extension d'anneaux :
- Soient A un anneau commutatif (unifère) et B une A-algèbre. Un élément de B est dit entier sur A s'il est annulé par un polynôme unitaire à coefficients dans A. Le sous-anneau de B constitué des éléments entiers sur A s'appelle la fermeture intégrale de A dans B.
Ainsi, l'anneau des entiers algébriques est la fermeture intégrale de ℤ dans ℂ et l'anneau des entiers d'un sous-corps K de ℂ est la fermeture intégrale de ℤ dans K.
- La clôture intégrale d'un anneau intègre est, par définition, sa fermeture intégrale dans son corps des fractions. L'anneau est dit intégralement clos si sa clôture intégrale est réduite à lui-même.
Exemples
Entiers relatifs
Le corps des fractions de l'anneau ℤ est le corps ℚ, et l'anneau des entiers de ℚ est ℤ, autrement dit :
Les seuls rationnels qui sont des entiers algébriques sont les entiers relatifs.
Ou encore : l'anneau ℤ est intégralement clos. (Plus généralement, tout anneau factoriel est intégralement clos.)
Entier de Gauss
L'anneau ℤ[i] des entiers de Gauss est le sous-anneau de ℂ constitué des nombres de la forme a + bi avec a et b entiers relatifs. Son corps des fractions est le corps ℚ(i) des rationnels de Gauss, constitué des complexes de la forme α + βi où α et β sont des nombres rationnels.
L'anneau des entiers de ℚ(i) est ℤ[i].
À nouveau, cet anneau est intégralement clos. Il est en fait, comme ℤ, factoriel car principal et même euclidien.
Les entiers de Gauss sont utilisés pour la résolution de certaines équations diophantiennes comme celle du théorème des deux carrés de Fermat.
Entier quadratique
L'anneau des entiers de Gauss est le prototype d'anneau des entiers d'un corps quadratique, c'est-à-dire d'un corps de la forme ℚ(√d) pour un certain entier relatif d sans facteur carré. Dans le cas où d est négatif, la notation √d, spécifique à ce contexte et commentée dans les deux articles détaillés, désigne l'imaginaire pur i√|d| ; ainsi, les entiers de Gauss correspondent au cas d = –1. Mais pour d'autres valeurs de d, comme d = 5, l'anneau des entiers de ℚ(√d) n'est pas réduit à ℤ[√d]. Plus précisément :
L'anneau Oℚ(√d) des entiers du corps quadratique ℚ(√d) est ℤ[ω], où le nombre complexe ω est défini par :
Le corps des fractions de cet anneau, ainsi que de tout sous-anneau A contenant strictement ℤ, est égal à ℚ(√d), et la fermeture intégrale de A dans ℚ(√d) est Oℚ(√d) (cf. § « Anneau intégralement clos » ci-dessous). Par conséquent Oℚ(√d) est, comme ℤ, intégralement clos, mais aucun anneau intermédiaire ne l'est. Ces anneaux intermédiaires sont a fortiori non factoriels (donc non principaux) : dans tous ces anneaux (puisqu'ils sont noethériens, comme ℤ[ω]), tout élément non nul possède une décomposition en produit d'éléments irréductibles mais pas toujours unique, ou, ce qui revient au même, pas toujours en produit d'éléments premiers.
Par exemple, puisque –3 est congru à 1 modulo 4, l'anneau des entiers de ℚ(i√3) est l'anneau ℤ[(1 + i√3)/2] des entiers d'Eisenstein (euclidien, et égal à ℤ[j] si j désigne une racine cubique primitive de l'unité). Le sous-anneau ℤ[i√3] n'est pas factoriel : dans ce sous-anneau, l'entier 4 admet deux décompositions en facteurs irréductibles :
Même l'anneau des entiers de ℚ(√d), bien qu'intégralement clos, n'est pas toujours factoriel, comme en témoignent l'exemple d = –5 et le théorème de Stark-Heegner.
Structure
L'intérêt de l'anneau des entiers algébriques d'un corps quadratique ou cyclotomique, ou plus généralement d'un corps de nombres, réside dans ses propriétés supplémentaires. Elles sont à l'origine de certaines des démonstrations de la loi de réciprocité quadratique ou d'autres lois de réciprocité (en) et de nombreux autres théorèmes[précision nécessaire]. Elles permettent de résoudre des équations comme celle de Pell-Fermat ou de certains cas du dernier théorème de Fermat.
Anneau intégralement clos
Tout corps de nombres K est le corps des fractions de l'anneau OK de ses entiers, et OK est intégralement clos.
La première propriété vient du fait que tout nombre algébrique est produit d'un entier algébrique par un rationnel (cf. § « Définitions » ci-dessus), si bien que K = ℚOK. La seconde en résulte parce que tout élément entier sur un anneau d'entiers algébriques est lui-même un entier algébrique (cf. corollaire 2 de l'article « Élément entier »).
Propriétés noethériennes
L'anneau des entiers d'un corps de nombres est un ℤ-module de type fini, par application à A = ℤ de la propriété générale suivante, démontrée dans l'article détaillé dans le cas particulier, suffisant ici, où A est noethérien et intégralement clos :
Soient A un anneau intègre, K son corps des fractions, L une extension finie séparable de K et B la fermeture intégrale de A dans L. Alors B est un A-module de type fini.
On en déduit deux propriétés essentielles :
L'anneau des entiers d'un corps de nombres de degré d est un ℤ-module libre de rang d.
En effet, ce ℤ-module de type fini est sans torsion donc libre, et (comme remarqué dans la section précédente) son produit par ℚ est égal au corps de nombres.
(D'autres arguments sont utilisables :
– dans l'article détaillé, pour démontrer que le A-module est de type fini, on montre en fait qu'il contient un sous-module isomorphe à Ad et qu'il est lui-même isomorphe à un sous-module de Ad ;
– un lemme sur les éléments conjugués permet d'affirmer que l'anneau des entiers d'un corps de nombres de degré d est additivement isomorphe à un réseau dans ℂd.)
Tout anneau d'entiers d'un corps de nombres est noethérien.
En effet, tout sous-module d'un ℤ-module de type fini est de type fini, or il résulte du théorème de la base de Hilbert que toute algèbre de type fini sur un anneau noethérien est elle-même un anneau noethérien.
Anneau de Dedekind
L'anneau des entiers algébriques d'un corps de nombres, en plus d'être intégralement clos et noethérien, vérifie que tous ses idéaux premiers non nuls sont maximaux, ce qui fait de lui un anneau de Dedekind.
Cette propriété est démontrée (§ « Entier algébrique ») et généralisée (§ « Extension finie ») dans l'article détaillé.
Voir aussi
Articles connexes
- Norme (théorie des corps)
- Ordre (théorie des anneaux)
- Anneau de Bézout (l'anneau des entiers algébriques en est un)
Bibliographie
- Bourbaki, Éléments de mathématique, Algèbre commutative
- G. H. Hardy et E. M. Wright (trad. de l'anglais par François Sauvageot, préf. Catherine Goldstein), Introduction à la théorie des nombres, Paris/Heidelberg, Vuibert-Springer, , 568 p. (ISBN 978-2-7117-7168-4)
- (en) Kenneth Ireland et Michael Rosen, A Classical Introduction to Modern Number Theory, Springer, coll. « GTM » (no 84), (réimpr. 1998), 2e éd., 389 p. (ISBN 978-0-387-97329-6, lire en ligne)
- Pierre Samuel, Théorie algébrique des nombres [détail de l’édition]
- Jean-Pierre Serre, Cours d'arithmétique, [détail des éditions]
Liens externes
- Bas Edixhoven et Laurent Moret-Bailly, Théorie algébrique des nombres, cours de maîtrise de mathématiques, université de Rennes 1, (lire en ligne)
- Nombres algébriques et nombres p-adiques par Loïc Merel, cours préparatoire aux études doctorales 2003-04, université Pierre-et-Marie-Curie, université Denis Diderot
Arithmétique et théorie des nombres