Anneau de Dedekind 234258 31359358 2008-07-06T21:46:37Z SieBot 236006 robot Ajoute: [[he:חוג דדקינד]] [[Image:Dedekind.jpeg|thumb|right|250px|[[Richard Dedekind]] définit et établit les bases de la théorie des anneaux portant maintenant son nom.]] En [[mathématiques]], un '''anneau de Dedekind''' est un [[anneau (mathématiques)|anneau]] disposant de propriétés particulières. Sa formalisation initiale a pour objectif la description d'un ensemble d'[[entier algébrique|entiers algébriques]], ce concept est aussi utilisé en [[géométrie algébrique]]. Un '''anneau de Dedekind''' doit son origine à la [[théorie algébrique des nombres]]. Pour résoudre des équations comme celle du [[démonstrations du dernier théorème de Fermat|dernier théorème de Fermat]], l'anneau des [[entier relatif|entiers relatifs]] s'avère mal commode. Il est parfois plus simple de considérer d'autres anneaux, comme celui des [[entier de Gauss|entiers de Gauss]], [[entier d'Eisenstein|d'Eisenstein]] ou [[entier de Dirichlet|de Dirichlet]]. Le [[théorème des deux carrés de Fermat]] ou encore l'[[équation de Pell-Fermat]] illustre l'utilité d'une telle structure. Leurs études se fondent sur le cas particulier des [[entier quadratique|entiers quadratiques]], plus simple que le cas général. Cette formulation est l'œuvre<ref>[[Richard Dedekind]] Zur Theorie der Ideale Nachr der K. Ges. Der Wiss. zu Göttingen 1894</ref> de [[Richard Dedekind]] et date de la fin du {{XIXe siècle}}. == Définitions == Trois définitions sont nécessaire pour aborder celle de l'article. Soit ''K'' un corps commutatif et ''A'' un anneau unitaire inclus dans ''K''. :* Un élément ''k'' de ''K'' est dit '''entier algébrique''' sur ''A'' si et seulement si son [[polynôme minimal d'un nombre algébrique|polynôme minimal]] existe et est à coefficients dans ''A''. :* L'ensemble des entiers algébriques sur ''A'' de ''K'' forme un anneau appelé '''fermeture intégrale''' de ''K'' dans ''A''.<ref> est celle utilisée dans les références du paragraphe et aussi celle du site [http://www.espacemath.com/dimatuf.htm Dimatu] ''Dictionnaire Mathématiques Universel''. Elle n'est pas à confondre avec celle de fermeture algébrique</ref> L'ensemble est non vide car il contient ''A'', le fait qu'il forme un anneau est une conséquence des propriétés du polynôme minimal. Soit maintenant ''A'' un anneau unitaire intègre. Il se prolonge en un [[corps des fractions]] ''K''. La méthode est l'analogue de celle permettant de construire l'ensemble des nombres rationnels à partir des entiers relatifs. :* L'anneau ''A'' est dit '''intégralement clos''' si et seulement s'il est égal à la fermeture intégrale de son corps des fractions.<ref>Cette définition est celle utilisée dans les références du paragraphe et aussi celle du site [http://www.espacemath.com/dimatua.htm Dimatu] ''Dictionnaire Mathématiques Universel''</ref> Un '''anneau de Dedekind''' est un anneau vérifiant quatre familles de propriétés : :* Un anneau est dit de '''Dedekind''' si et seulement si : # Il est commutatif unitaire intègre. # Il est [[anneau noethérien|noethérien]]. # Il est '''intégralement clos'''. # Tout [[idéal premier]] non nul de l'anneau est [[idéal maximal|maximal]].<ref>Les définitions de se paragraphe proviennent par exemple du site [http://www.math.leidenuniv.nl/~edix/public_html_rennes/cours/tano.pdf Théorie algébrique des nombres] Un cours de maîtrise de mathématiques par B. Edixhoven, Université de Rennes 1. Les mêmes définitions sont utilisées dans la référence {{Samuel1}}</ref> ''Remarque :'' Un anneau commutatif unitaire intègre est dit noethérien si et seulement si toute suite croissante d'idéaux est stationnaire, c'est-à-dire constante à partir d'un certain rang. == Histoire == === Premiers essais === [[Image:Leonhard Euler 2.jpg|thumb|Leonhard Euler utilise pour la première fois un anneau d'[[entier algébrique|entiers algébriques]].]] L'histoire initiale de l'étude des anneaux de Dedekind se confond avec celles des [[entier algébrique|entiers algébriques]]. En [[1753]], [[Leonhard Euler]] <small>([[1707]] - [[1783]])</small> écrit à [[Goldbach]] qu'il a trouvé une [[démonstrations du dernier théorème de Fermat|preuve du dernier théorème de Fermat]] pour ''n'' égal à ''trois''. Elle se fonde<ref>H. M. Edwards ''Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory'' Springer 3<sup>ème</sup> Ed 2000 {{ISBN|0387950028}}</ref> sur l'utilisation de l'anneau des nombres de la forme ''a'' + ''b.i''√3 où ''a'' et ''b'' sont des entiers relatifs et ''i'' l'[[unité imaginaire]]. La preuve s'avère fausse car, contrairement à ce qu'imagine le mathématicien, un tel anneau n'est pas [[anneau factoriel|factoriel]] s'est à dire qu'il n'existe pas une unique décomposition en facteurs premiers, un contre exemple est donné par les deux décompositions suivantes : <center><math>4 = 2\cdot2 = (1 + i\sqrt 3)(1- i\sqrt 3)\;</math></center> Si l'application est encore approximative, l'utilisation d'ensemble de nombres de cette nature s'avère fructueuse. [[Carl Friedrich Gauss]] <small>([[1777]] [[1855]])</small> étudie<ref>[[Carl Friedrich Gauss]] ''Recherches arithmétiques'' trad. française des Disquisitiones arithmeticae par A.-C.-M. Poullet-Delisle 1801 [http://gallica.bnf.fr/ark:/12148/bpt6k29060d lire]</ref> les nombres de la forme ''a'' + ''i''.''b'' permettant, par exemple de fournir des preuves élégantes du [[théorème des deux carrés de Fermat]], ils sont maintenant dénommés [[entier de Gauss|entiers de Gauss]]. [[Ferdinand Eisenstein]] <small>([[1823 en science|1823]] [[1852 en science|1852]])</small> analyse l'anneau des [[entier d'Eisenstein|entiers portant son nom]] et qui offre une démonstration rigoureuse du grand théorème de Fermat pour ''n'' égal à trois analogue à celle d'Euler. === Groupe des unités === [[Image:johann dirichlet.jpg|thumb|left|[[Johann Peter Gustav Lejeune Dirichlet|Dirichlet]] établit le théorème clé associé aux unités d'un anneau d'entiers.]] La résolution générale du dernier théorème de Fermat amène l'étude d'autres anneaux d'entiers. [[Johann Peter Gustav Lejeune Dirichlet]] <small>([[1805 en science|1805]] - [[1859 en science|1859]])</small> comprend que, pour les valeurs supérieures de ''n'', une première obstruction rend la démonstration plus technique. Il utilise l'anneau maintenant appelé des [[entier de Dirichlet|entiers de Dirichlet]] formé des nombres de la forme ''a'' + ''b''.1/2 (1 + √5). L'obstruction réside dans le fait que, si l'anneau est bien euclidien, l'ensemble des éléments inversibles encore appelé [[groupe des unités]] devient infini. Pour ces éléments, aucun outil classique de la théorie des anneaux, comme la [[théorème fondamental de l'arithmétique|décomposition en facteurs premiers]] n'est possible. Il parvient néanmoins à trouver une preuve<ref>[[Dirichlet]] ''Démonstration du théorème de Fermat et de Wilson'' (compte-rendu par Cournot de quelques mémoires d'Abel, Jacobi et Lejeune-Dirichlet, au Journ. der Mathemat., de M. Crelle, t. 3, cah. 4). 1829, t. 11, p. 153-157</ref> complétée quelques mois plus tard par [[Adrien-Marie Legendre]] <small>([[1752]] - [[1833]])</small>. Cette analyse du groupe des unités dans le cas d'[[entier quadratique|entiers quadratiques]] revient à l'étude de la structure des solutions de l'[[équation de Pell-Fermat]]. Une élucidation générale de la structure du groupe des unités d'une fermeture intégrale est finalement donnée par Dirichlet<ref>[[Dirichlet]] ''Vorlesungen über Zahlentheorie'' publié par R. Dedekind Braunschweig Viweg und Sohn 1863</ref> et porte maintenant le nom de [[théorème des unités de Dirichlet]]. La compréhension de la structure du groupe des unités ne permet néanmoins pas de venir à bout du dernier théorème de Fermat. [[Gabriel Lamé]] <small>([[1795]] - [[1870 en science|1870]])</small> prouve bien, quatorze ans après Dirichlet, l'absence de solution pour ''n'' égal à ''sept'' à l'aide d'un anneau entiers quadratique comportant un groupe des unités infini<ref>On trouve une description de la preuve sur le site [http://www.fermatstheorem.com/2006/01/fermats-last-theorem-proof-for-n7.html Fermat's last theorem]</ref>. Cependant la preuve est complexe et non généralisable. === Deuxième obstruction === [[Image:Ernst Eduard Kummer.jpg|thumb|right|[[Ernst Kummer]] comprend comment contourner la deuxième obstruction.]] Lamé croit trouver une solution générale<ref>[[Gabriel Lamé]] Démonstration générale du théorème de Fermat, sur l'impossibilité, en nombres entiers, de l'équation x<sup>n</sup> +y<sup>n</sup> =z<sup>n</sup> ''Comptes Rendus des Séances de l'Académie des Sciences. Paris'' 1847 24, 310-315 [http://gallica.bnf.fr/ark:/12148/CadresFenetre?O=NUMM-2981&M=chemindefer Lire sur Gallica]</ref> en utilisant l'anneau des entiers d'un [[corps cyclotomique]]. Un corps cyclotomique d'indice ''n'' est le plus petit corps contenant les [[racine de l'unité|racines n<sup>ième</sup> de l'unité]] du corps des complexes. L'anneau des entiers est celui des nombres du corps racine d'un polynôme unitaire à coefficients entiers relatifs. Son erreur consiste à supposer, en terme moderne que l'anneau est factoriel, c'est à dire que le [[théorème fondamental de l'arithmétique]] s'applique sur une structure de cette nature. Cette propriété, que l'on sait être fausse dans le cas général pour les anneaux d'entiers quadratiques n'est pas non plus vérifiée pour les entiers cyclotomiques. En [[1844]], soit trois ans plus tôt, [[Ernst Kummer]] <small>([[1810 en science|1810]] - [[1893 en science|1893]])</small> avait établi cette absence de propriété dans le cas général en exhibant un contre exemple, les entiers du corps cyclotomiques des racines 23<sup>ièmes</sup> de l'unité<ref>H.M. Edwards, The background of Kummer's proof of Fermat's Last Theorem for regular primes, ''Arch. History Exact Sci. 14''(1975)</ref>. L'absence de factorialité de ce type d'anneau est, à la suite de Kummer considéré comme la deuxième obstruction pour les anneaux de cette nature<ref>Cette expression est par exemple utilisé p 27 dans le site suivant : [http://www.math.leidenuniv.nl/~edix/public_html_rennes/cours/tano.pdf Théorie algébrique des nombres] Un cours de maîtrise de mathématiques par B. Edixhoven, Université de Rennes 1</ref>. Une manière d'interpréter cette difficulté consiste à considérer qu'il ''manque'' des nombres pour assurer l'unicité de la décomposition en facteurs premiers. Kummer définit des ''nombres idéaux'' palliant les manques et permettant d'exprimer une nouvelle forme de théorème fondamental de l'arithmétique. Elle lui permet de démontrer<ref>[[Ernst Kummer]] Beweis des Fermat'schen Satzes der Unmöglichkeit von x<sup>λ</sup>+y<sup>λ</sup>=z<sup>λ</sup> für eine unendliche Anzahl Primzahlen <sup>λ</sup> ''Monatsber, Akad. d. Wiss.'' Berlin pp 132-139, 140-141, 305-319 [[1847 en science|1847]]</ref> le dernier théorème de Fermat pour toute valeur de ''n'' jusqu'à 100, à l'exception des [[nombre premier régulier|nombres premiers réguliers]], c'est à dire 37, 59 et 67. === Formalisme de Dedekind === A l'instar de [[Leopold Kronecker]] <small>([[1823 en science|1823]] - [[1891 en science|1891]])</small> l'objectif de Dedekind est de généraliser les résultats de Kummer à tout fermeture intégrale d'un corps de nombre et non pas seulement aux corps cyclotomiques. Leurs philosophies sont néanmoins opposées, l'objectif de Dedekind est en rupture avec la tradition calculatoire de Gauss et Kummer. Il cherche à démontrer les propriétés de ces anneaux à l'aide de leurs caractéristiques fondamentales et non pas le fruit de calculs complexes<ref>[[Richard Dedekind]] ''Sur la théorie des nombres entiers algébrique'' Gauthier-Villars Paris, 1877</ref>. A cette occasion, il formalise la notion d'[[idéal]]<ref>La définition est donnée dans ses commentaires de son réédition de ; [[Dirichlet]] ''Vorlesungen über Zahlentheorie'' publié par R. Dedekind Braunschweig Viweg und Sohn 1871</ref> et d'[[idéal principal]]. La multiplication des idéaux principaux correspond à celles de leurs générateurs et se généralise à tous les idéaux. L'objectif est alors de montrer que tout idéal se décompose de manière unique en un produit d'[[idéal premier|idéaux premiers]]. Les nombres idéaux de Kummer deviennent les idéaux premiers non principaux. Un outil essentiel est l'[[idéal fractionnaire]] qu'il formalise<ref>[[Richard Dedekind]] ''Traité sur la théorie des nombres'' trad. C. Duverney, Tricorne, Genève, 2006 {{ISBN|2829302893}}</ref> en [[1876]]. Elle confère à l'ensemble des idéaux une structure de [[groupe abélien]] dont un sous-groupe est composé des idéaux fractionnaires principaux et permet d'exprimer le théorème fondamental sur la structure des idéaux premiers non principaux : Le [[groupe quotient]] des idéaux fractionnaires par les idéaux fractionnaires principaux est fini dans le cas d'une fermeture intégrale d'un corps de nombres algébriques. Ce groupe quotient est appelé [[groupe des classes d'idéaux]]. Il démontre<ref>[[Richard Dedekind]] Zur Theorie der Ideale Nachr der K. Ges. Der Wiss. zu Göttingen 1894</ref> ce résultat dans toute sa généralité à la fin du siècle.<ref>Ce paragraphe provient du texte [http://www.andrew.cmu.edu/user/avigad/Papers/ideals71.pdf Dedekind's 1871 version of the theory of ideals] traduit en anglais par J. Avigad en 2004</ref> === {{XXe siècle}} === A la différence des anneaux principaux, les cas d'anneaux de Dedekind sont finalement fréquents. De plus, ils ne se limitent pas aux fermetures intégrales d'extension de corps. Un vaste sujet utilise largement cette structure : la [[géométrie algébrique]]. Les entiers relatifs sont remplacés par un anneau de polynômes sur un corps fini et le corps de nombre par un ''corps de fonctions''. Un tel anneau vérifie encore les axiomes de Dedekind. De nouveaux outils comme la [[valuation]] sont développés et les [[anneau à valuation discrète|anneaux à valuations discrètes]] permettent d'étudier de nouvelles structures comme les [[nombre p-adique|nombres p-adiques]]. == Exemples == === Entier algébrique === Le premier exemple est donné par l'ensemble des entiers algébriques d'une [[extension finie]] du corps des rationnels. Une première famille d'anneau de cette nature est celle des [[entier quadratique|entiers quadratiques]] correspondant aux entiers d'une [[extension quadratique]]. Deux cas particuliers simples sont les [[entier de Gauss|entiers de Gauss]] et ceux [[entier d'Eisenstein|d'Eisenstein]]. Ces deux anneaux sont euclidiens et le groupe des unités est fini, et même [[groupe cyclique|cyclique]]. Les [[entier de Dirichlet|entiers de Dirichlet]] mettent en évidence une obstruction, le groupe des unités est infini. Les anneaux d'entiers quadratiques permettent d'analyser les deux obstructions et d'en comprendre leur nature à l'aide d'une étude plus simple que celle du cas général. Un exemple très étudié est celui de la fermeture intégrale d'une [[extension cyclotomique]], c'est à dire d'une extension contenant toutes les [[racine d'un polynôme|racines]] d'un [[polynôme cyclotomique]]. La [[théorie de Galois]] est particulièrement riche pour les corps de cette nature. Les extensions sont non seulement [[extension de Galois|galoisiennes]], mais aussi [[extension abélienne|abéliennes]]. Dans le cas général, soit ''K'' une [[extension finie]] de ''Q'' et ''n'' la [[dimension d'un espace vectoriel|dimension]] de ''K'' sur ''Q'', qui ici désigne l'ensemble des rationnels : :* ''La fermeture intégrale ''O''<sub>K</sub> de ''K'' est un anneau de Dedekind.'' La démonstration proposée ici utilise les outils de la [[théorie de Galois]] ainsi que la [[forme trace]] et le [[polynôme minimal d'un nombre algébrique|polynôme minimal]]. {{boîte déroulante début|align=left|titre=Démonstration}} :* '''L'anneau ''O''<sub>K</sub> est commutatif unitaire intègre :''' ''O''<sub>K</sub> est non vide car il contient ''Z'', l'ensemble des entiers relatifs. Si ''a'' et ''b'' sont deux éléments de ''O''<sub>K</sub>, alors ''a.b'' et ''a'' - ''b'' sont aussi des éléments de ''O''<sub>K</sub>. Cette propriété est démontrée dans un cadre général dans l'article [[Polynôme minimal d'un nombre algébrique]]. Comme ''O''<sub>K</sub> contient ''Z'', il contient ''un'' et l'anneau est unitaire. L'anneau est formé des éléments d'un sous ensemble d'un corps commutatif, il est donc commutatif et intègre. :* '''L'anneau ''O''<sub>K</sub> est [[anneau noethérien|noethérien]] :''' Une démonstration dans un cadre plus générale est proposée dans l'article associée. :* '''Le quotient de ''O''<sub>K</sub> par un idéal ''P'' est de cardinal fini :''' Remarquons dans un premier temps que tout idéal ''P'' de ''O''<sub>K</sub> est un ''Z'' module de dimension ''n''. L'article [[Groupe abélien de type fini]] montre que ''P'' est un ''Z'' module de type fini et comme ''O''<sub>K</sub> est libre il est aussi libre. Soit ''p'' un élément de ''P''. L'application de ''O''<sub>K</sub> dans ''P'', qui à ''x'' associe ''p.x'' est un morphisme injectif de ''O''<sub>K</sub> dans ''P'' et l'idéal ''P'' contient une famille libre de cardinal ''n''. Comme il est inclus dans un ''Z'' module de dimension ''n'', il est de dimension ''n''. Le quotient de ''O''<sub>K</sub> par ''P'' est un groupe de type fini et ne contenant que des éléments de torsions. En effet, soit ''h'' un élément de ''O''<sub>K</sub>, il est [[combinaison linéaire]] d'une base de ''P'' en tant qu'élément de l'espace vectoriel ''K''. Quitte à multiplier la combinaison linéaire par le produit des dénominateurs des coefficients non nuls de la combinaison linéaire, on obtient une combinaison linéaire à coefficients dans ''Z'' d'un multiple de ''h'' exprimé dans la base de ''P'', ce qui montre qu'un multiple de ''h'' est élément de ''P''. Cette propriété exprime exactement le fait que l'image de ''h'' dans le [[groupe quotient]] est un élément de torsion. Un groupe abélien de type fini ne contenant que des éléments de torsion est un groupe fini, ce qui termine la démonstration de cette propriété. :* '''Tout idéal premier ''P'' de ''O''<sub>K</sub> est maximal :''' Le quotient de ''O''<sub>K</sub> par ''P'' est un anneau intègre si ''P'' est premier. Tout anneau intègre fini est un [[corps (mathématiques)|corps]], ce qui montre que ''P'' est maximal. :* '''L'anneau ''O''<sub>K</sub> est intégralement clos :''' Montrons que le corps des fractions de ''O''<sub>K</sub> est égal à ''K''. Son corps des fractions est inclus dans ''K'' car ''K'' est un corps. Réciproquement, montrons que tout élément de ''K'' s'écrit comme une fraction d'un élément de ''O''<sub>K</sub> divisé par un élément non nul de ''Z''. Soit ''k'' un élément de ''K'', la preuve du fait que ''O''<sub>K</sub> est noethérien montre l'existence d'un élément non nul ''a''<sub>n</sub> tel que ''a''<sub>n</sub>''k'' est un élément ''h'' de ''O''<sub>K</sub>. On en déduit que ''k'' est égal à ''h''/''a''<sub>n</sub> et est donc bien égal à un élément de ''O''<sub>K</sub> divisé par un élément non nul de ''Z''. Soit ''h'' un entier algébrique du corps des fractions de ''O''<sub>K</sub>. Le sous-anneau engendré par ''h'' et par les coefficients du polynôme minimal est un ''Z'' module de type fini d'après l'article [[Polynôme minimal d'un nombre algébrique]]. Il existe ainsi une sous-[[algèbre sur un anneau|algèbre]] sur ''Z'' contenant ''h'' est de dimension finie, ce qui implique que ''h'' est entier dans ''K'' et donc élément de ''O''<sub>K</sub>. {{Boîte déroulante fin}} === Géométrie algébrique === Si les extensions finies des nombres rationnels contiennent des fermetures intégrales jouissant des propriétés d'un anneau de Dedekind, il en est de même pour les extensions finis de ''F''(''X''). Ici ''F'' désigne un [[corps fini]] et ''F''(''X'') le corps des [[fraction rationnelle|fractions rationnelles]]. Cet ensemble est le [[corps des fractions]] des polynômes formels à coefficients dans ''F''. Une extension finie de ''F''(''X'') est appelé un '''corps de fonctions'''. Il est possible d'y étudier les fermetures intégrales. Si les analogies sont nombreuses, l'arithmétique sur un corps de fonctions est souvent plus facile que sur un corps de nombres<ref>Cette comparaison vient du site suivant, en page I-6 [http://www.institut.math.jussieu.fr/~merel/TAN.pdf Nombres algébriques et nombres p-adiques] par Loïc Merel cours préparatoire aux études doctorales 2003-04</ref>. Plusieurs raisons sont à l'origine de la simplification. Les [[valuation|valeurs absolues]] sur les corps de fonctions sont toutes [[Distance ultramétrique|ultramétrique]], en revanche il en existe une [[archimédien]]ne sur les nombres rationnels. Les corps de fonctions disposent d'un outil bien utile, la [[Polynôme#Polynôme dérivé|dérivation]], qui n'existe pas pour les corps de nombres. Enfin, il est possible de considérer le [[produit tensoriel]] <math>\scriptstyle {F[X]\otimes F[X]}</math>, qui n'a pas d'équivalent intéressant sur les corps de nombres. == Propriétés == === Idéal fractionnaire === {{Article détaillé|Idéal fractionnaire}} Une propriété essentielle d'un anneau de Dedekind réside dans le fait que tout idéal se décompose de manière unique en un produit d'idéaux premiers. Ce résultat remplace le [[théorème fondamental de l'arithmétique]] dans le cas d'un anneau factoriel. Pour établir ces propriétés, il est utile de munir l'ensemble des idéaux d'une multiplication. Le produit de deux idéaux ''I''<sub>1</sub> et ''I''<sub>2</sub> est le plus petit idéal contenant tous les produits ''a.b'' si ''a'' (resp. ''b'') est élément de ''I''<sub>1</sub> (resp. ''I''<sub>2</sub>). Le produit est associatif, il admet un élément neutre l'anneau tout entier et est associatif. Il est alors commode d'enrichir l'ensemble de tous les inverses, la structure devenant alors un [[groupe abélien]]. Les propriétés des idéaux et idéaux fractionnaires caractérisent un anneau de Dedekind. Plus précisément, on dispose des propriétés suivantes : :* ''Soit ''A'' un anneau commutatif unitaire intègre, noethérien et ''K'' son corps des fractions, les propriétés suivantes sont équivalentes :'' #''L'anneau ''A'' est de Dedekind.'' #''Tout idéal premier non nul de ''A'' est inversible.'' #''Tout idéal premier non nul est maximal et pour tout idéal premier ''P'' le ''A''/''M'' espace vectoriel ''M''/''M''<sup>2</sub> est de dimension ''un''.'' :* ''Soit ''A'' un anneau commutatif unitaire, les propriétés suivantes sont équivalentes :'' #''L'anneau ''A'' est de Dedekind.'' #''Tous les idéaux non nuls de <math>A</math> sont inversibles (cette hypothèse implique en particulier que l'anneau <math>A</math> est intègre et noethérien).'' Le [[groupe des classes|groupe des classes d'idéaux]] est le quotient du groupe des idéaux fractionnaires non nuls par le sous-groupe des idéaux fractionnaires principaux. Sa structure renferme d'importantes propriétés de l'anneau de Dedekind. Dans le cas d'une fermeture intégrale d'un corps de nombres de dimension finie sur ''Q'', le groupe des classes est d'ordre fini. {{boîte déroulante début|align=left|titre=Démonstration}} :* '''(1) implique (2) :''' La démonstration est donnée dans l'article détaillé. :* '''(2) implique (1) :''' Montrons dans un premier temps que ''A'' est intégralement clos. Soit ''h'' un entier algébrique non nul sur ''A'' de ''K''. Dire que ''h'' est un entier algébrique revient à dire que : <center><math>(1)\quad \exists (a_i)_{i \in [0,n-1]} \in \mathbb A^n \quad h^n + a_{n-1}h^{n-1} + \cdots + a_0 = 0</math></center> Montrer que ''h'' est élément de ''A'' est équivalent à dire que ''h.A'' est un idéal non fractionnaire. L'article détaillé montre que cette proposition revient à dire que, si ''P'' est un idéal premier, ''v''<sub>P</sub>(''h'') l'exposant de ''P'' dans la décomposition en idéaux premiers de ''h.A'' est positif. Supposons qu'il existe un idéal premier ''M'' tel que ''v''<sub>M</sub>(''h'') soit strictement négatif alors : <center><math>\forall i \in [0, n-1],\quad v_{\mathfrak M}(h^n)= nv_{\mathfrak M}(h)< v_{\mathfrak M}(h^{n-i})\le v_{\mathfrak M}(a_{n-i} h^{n-i})</math></center> L'exposant de ''M'' de l'idéal fractionnaire engendré par une somme d'éléments de ''K'' est supérieur ou égal au minimum des exposants de l'idéal engendré par chaque éléments, on en déduit : <center><math>v_{\mathfrak M}(h^n) < v_{\mathfrak M}(a_{n-1}h^{n-1} + \cdots + a_0)</math></center> Ce qui contredit l'égalité suivante, conséquence de ''(1)'' : <center><math>-h^n=a_{n-1}h^{n-1} + \cdots + a_0 = 0\;</math></center> On en déduit que pour tout idéal premier ''P'', ''v''<sub>P</sub>(''h'') est positif, ce qui montre que ''h'' est un élément de ''A''. Montrons enfin que tout idéal premier non nul ''P'' est maximal. Il existe un idéal ''M'' maximal le contenant, l'objectif est de montrer que ''P'' est égal à ''M''. Comme tout idéal maximal est inversible car premier et que la multiplication des idéaux est commutative et associative : <center><math>(\mathfrak M^{-1}\cdot \mathfrak P)\cdot \mathfrak M = \mathfrak P</math></center> On remarque que ''M''<sup>-1</sup>.''P'' est inclus dans ''A'' car ''P'' est inclus dans ''M'', on en déduit que ''M''<sup>-1</sup>.''P'' est un idéal. Comme ''P'' est premier, soit ''M''<sup>-1</sup>.''P'' est inclus dans ''P'' soit ''M'' est inclus dans ''P''. Si ''M'' est inclus dans ''P'', alors ''P'' est égal à ''M'' et ''P'' est maximal. Il suffit pour conclure de montrer que ''M''<sup>-1</sup>.''P'' n'est pas inclus dans ''P''. Raisonnons par l'absurde, si ''M''<sup>-1</sup>.''P'' est inclus dans ''P'' alors : <center><math>\mathfrak M^{-1} = \mathfrak M^{-1}\cdot(\mathfrak P\cdot\mathfrak P^{-1})= (\mathfrak M^{-1}\cdot\mathfrak P)\cdot\mathfrak P^{-1}\subset \mathfrak P\cdot\mathfrak P^{-1} = \mathbb A</math></center> L'idéal fractionnaire ''M''<sup>-1</sup> n'est pas inclus dans ''A'' car ''A.M'' est inclus dans ''M'' et ne peut être égal à ''A'', ce qui termine la démonstration. :* '''(1) implique (3) :''' Remarquons dans un premier temps que ''M'' est un idéal maximal, ''A'' / ''M'' est bien un corps. De plus, l'article détaillé montre que la décomposition d'un idéal en idéaux premiers est unique, en conséquence ''M'' et ''M'' <sup>2</sup> sont distincts et ''M'' / ''M'' <sup>2</sup> n'est pas réduit à l'élément neutre. Soit ''V'' un sous-espace vectoriel de ''M'' / ''M'' <sup>2</sup> non réduit à l'élément neutre, son image réciproque par le morphisme canonique de ''M'' vers ''M'' / ''M'' <sup>2</sup> est un idéal ''N'' contenant strictement ''M''<sup>2</sup> et contenu dans ''M''. Ceci montre que ''N''.''M'' <sup>-1</sup> est un idéal contenant strictement ''M'', il n'en existe qu'un l'anneau ''A'' car ''M'' est maximal. L'égalité ''N''.''M'' <sup>-1</sup> = ''A'' montre que ''N'' est égal à ''M''. Le seul sous-espace vectoriel différent de l'élément neutre de ''M'' / ''M'' <sup>2</sup> est l'espace lui-même, ce qui montre que l'espace est de dimension ''un''. :* '''(3) implique (2) :''' Soit ''M'' un idéal premier non nul, l'objectif est de montrer qu'il existe un idéal fractionnaire ''F'' tel que ''M.F'' est égal à ''A''. On définit ''F'' par : <center><math>\mathfrak F = \{k \in \mathbb K\; /\; \forall m \in \mathfrak M \quad km \in \mathbb A\}\;</math></center> On remarque de ''F'' est un sous ''A'' module de ''K'' et si ''m'' est un élément de ''M'', alors ''m.F'' est inclus dans ''A'', ce qui montre que ''F'' est un idéal fractionnaire. On remarque de ''F.M'' est un idéal contenant ''M'', ''M'' est premier, il est donc maximal par hypothèse. Il suffit donc de montrer que ''F.M'' contient un élément qui n'est pas dans ''M'' pour conclure. Pour cela, un lemme est utile : ::* ''Soit ''P''<sub>1</sub>, ..., ''P''<sub>r</sub> une famille d'idéaux premiers de ''A'', il existe un morphisme surjectif cannonique φ entre les deux structures suivantes : <center><math> \varphi : \mathbb A \rightarrow \prod_{i=1}^r \frac {\mathbb A}{\mathfrak P_i^{n_i}}\quad \text{avec}\quad n_i \in \mathbb N\quad \text{et}\quad \text{Ker}(\varphi) = \prod_{i=1}^r \mathfrak P_i^{n_i}</math></center> :Ce résultat est une conséquence du [[théorème des restes chinois]]. Il suffit de montrer que ''P''<sub>i</sub><sup>n<sub>i</sub></sup> + ''P''<sub>j</sub><sup>n<sub>j</sub></sup> est égal à ''A'' si ''i'' est différent de ''j''. :Montrons ce résultat pas récurrence sur n<sub>i</sub> + n<sub>j</sub>. Le résultat est vrai si la somme est égale à ''deux'' car tout idéal premier est maximal. Supposons le résultat vrai pour toute somme strictement inférieure à ''p'' et montrons qu'elle est vraie pour toute somme égale à ''p'' (''p'' est strictement supérieur à ''deux''). Soit deux valeurs n<sub>i</sub> et n<sub>j</sub> tel que la somme soit égale à ''p''. L'un des deux termes est supérieur à deux, supposons que ce soit n<sub>i</sub>. Par hypothèse de récurrence, ''P''<sub>i</sub><sup>n<sub>i</sub> - 1</sup> + ''P''<sub>j</sub><sup>n<sub>j</sub></sup> contient ''un''. Il existe ainsi α élément de ''P''<sub>i</sub><sup>n<sub>i</sub> - 1</sup> et β élément de ''P''<sub>j</sub><sup>n<sub>j</sub></sup> tel que α + β = 1. L'élément α est dans ''P''<sub>i</sub> il existe donc une famille finie (''a'' <sub>k</sub> ) d'éléments de ''P''<sub>i</sub> et (α<sub>k</sub> ) d'éléments de ''P''<sub>i</sub><sup>n<sub>i</sub> - 1</sup> tel que : <center><math>\sum_k a_k\alpha_k = \alpha \;\text{et}\quad \alpha_k = \alpha_k.\alpha + \alpha_k\beta\;\text{donc}\quad \sum_k a_k(\alpha_k.\alpha + \alpha_k\beta) + \beta = \alpha\sum_k a_k\alpha_k + \beta(1 + \sum_k\alpha_k) = 1</math></center> :On en déduit que 1 est somme d'un élément de ''P''<sub>i</sub><sup>n<sub>i</sub></sup> et d'un élément de ''P''<sub>j</sub><sup>n<sub>j</sub></sup>. La conclusion du lemme est la conséquence du théorème chinois. Soit ''m'' un élément ''M'' qui n'est pas dans ''M''<sup>2</sup>, il existe au moins un élément de cette nature, sinon le quotient ''M'' / ''M''<sup>2</sup> ne pourrait être une droite vectoriel. Une propriété des anneaux noethériens ''(démontrée dans l'article [[Anneau noethérien]])'' montre l'existence d'une famille d'idéaux premiers (''P''<sub>i</sub>) de ''A'' et d'entiers positifs (''n''<sub>i</sub>) pour ''i'' variant de 1 à ''r'' tel que : <center><math>m\mathbb A \supset \prod_{i=1}^r \mathfrak P^{n_i}\;</math></center> On choisit de plus ''P''<sub>1</sub> égal à ''M''. Soit ''a'' un élément de ''a'' tel que φ(''a'') = (1,0, ...,0), c'est à dire que ''a'' est élément de ''P''<sub>i</sub><sup>n<sub>i</sub></sup> si ''i'' est strictement supérieur à 1 et ''a'' est élément de la classe de 1 dans le quotient de ''A'' par ''M'' <sup>n<sub>1</sub></sup>. ::* ''La fraction de ''K'' : ''a'' / ''m'' est dans l'idéal fractionnaire ''F'' :'' :L'objectif est de montrer que si ''x'' est élément de ''M'', alors ''a.x.m''<sup>-1</sup> est élément de ''A'', ou encore que ''a.x'' est dans ''mA''. Comme l'idéal ''mA'' contient le produit des idéaux ''P''<sub>i</sub><sup>n<sub>i</sub></sup>, cette condition est équivalente à φ(''a.x'') est élément de φ(''m.A''), c'est à dire que la classe de ''x'' est un multiple de la classe ''m'' dans le quotient ''A'' / ''M'' <sup>n<sub>1</sub></sup>. Comme ''M'' / ''M'' <sup>2</sup> est un espace vectoriel de dimension 1, il existe ''a''<sub>1</sub> dans ''A'' tel que ''x'' = ''a''<sub>1</sub>.''m'' + ''x''<sub>2</sub> avec ''x''<sub>2</sub> élément de ''M'' <sup>2</sup>. De même, ''m''<sup>k</sup> engendre ''M'' <sup>k</sup> / ''M'' <sup>k+1</sup>, ce qui montre que : <center><math>x = a_1m + a_2m^2 + \cdots + a_{n_1-1}m^{n_1-1} + x_{n_1} \quad \text{avec}\quad x_{n_1} \in \mathfrak M^{n_1} </math></center> :Par passage au quotient dans ''A'' / ''M'' <sup>n<sub>1</sub></sup>, on obtient : <center><math>x = m(a_1 + a_2m + \cdots a_{n_1-1}m^{n_1-2})\;</math></center> :Ce qui montre que la classe de ''x'' est bien un multiple de la classe de ''m'' et donc que la fraction de ''K'' ''a'' / ''m'' est dans l'idéal fractionnaire ''F''. L'élément ''a'' n'est pas dans ''M'' car tout élément de ''M'' est [[nilpotent]] dans ''A'' / ''M'' <sup>n<sub>1</sub></sup>. L'élément ''a'' est ''M.F'' car ''a'' = ''m.a'' / ''m'', il existe ainsi un élément ''a'' de ''M.F'' qui n'est pas dans ''M'', ''M'' est un idéal maximal et ''M.F'' un idéal contenant ''M'' et ''a'', il est donc égal à ''A''. Ce qui montre que ''M'' est inversible et termine la démonstration. {{Boîte déroulante fin}} === Valuation === {{Article détaillé|Valuation}} L'unicité de la décomposition d'un idéal en idéaux premiers permet la définition d'une famille de fonctions appelées valuations. La valuation en ''P'', ou ''P'' désigne un idéal premier non nul, est une fonction de l'ensemble des idéaux de ''A'' dans ''N'' l'ensemble des entiers positifs qui à un idéal non nul ''J'' associe ''n'', égal au plus petit entier tel que ''P'' <sup>n</sup> contienne ''J''. Cette fonction est souvent notée : ''v''<sub>P</sub>(''J'' ). Cette fonction se prolonge sur les idéaux fractionnaires de ''A'', elle prend alors ces valeurs dans ''Z'' l'ensemble des entiers relatifs. Si <math>\pi</math> désigne l'ensemble des idéaux premiers et ''F'' un idéal fractionnaire : <center><math>\mathfrak F = \prod_{\mathfrak P \in \Pi} \mathfrak P^{v_{\mathfrak P}(\mathfrak F)}</math></center> La fonction qui à ''P'' associe ''v''<sub>P</sub>(''F'' ) est nulle presque partout, c'est à dire que le produit précédent ne contient qu'un nombre fini de facteurs différent de l'élément neutre des anneaux, c'est à dire ''A''. La décomposition introduit un isomorphisme entre le groupe des idéaux fractionnaires et le groupe libre ''Z''<sup>(π)</sup> l'ensemble des fonctions de support presque nul (la fonction est nulle sauf peut être sur un ensemble fini de points) à valeurs dans ''Z''. La fonction valuation se prolonge sur ''K'' le corps des fractions de l'anneau de Dedekind ''A'', à un élément ''k'', ''v''<sub>P</sub>(''k'') est égal à l'image par ''v''<sub>P</sub> de l'idéal fractionnaire ''kA''. La fonctions valuations disposent de nombreuses propriétés cité dans l'article [[Idéal fractionnaire]]. On peut citer, par exemple, le fait qu'un élément ''a'' de ''K'' est entier algébrique si et seulement si toutes ses valuations sont positives. === Localisation === {{Article détaillé|Anneau à valuation discrète}} Une structure utile pour l'analyse d'un anneau de Dedekind est un anneau de fractions particulier. Si ''P'' est un idéal premier non nul, le [[localisation (mathématique)|localisé]] de ''A'' en ''P'' désigne l'ensemble des fractions ''a'' / ''b'' tel que ''a'' est élément de ''A'' et ''b'' un élément de ''A'' qui n'est pas dans ''P''. Il est souvent noté ''A''<sub>(P)</sup>, c'est un anneau principal n'ayant qu'un unique idéal premier. Sa structure est celle d'un anneau à valuation discrète. Comme les idéaux fractionnaires, la structure des localisés de ''A'' caractérise les anneaux de Dedekind, plus précisément : :* ''Soit ''A'' un anneau commutatif unitaire intègre noethérien. L'anneau ''A'' est de Dedekind si et seulement si pour tout idéal premier non nul ''P'', le localisé de ''A'' en ''P'' est un anneau à valuation discrète.'' {{boîte déroulante début|align=left|titre=Démonstration}} :* '''Si ''A'' est de Dedekind, alors le localisé de ''A'' en ''P'' est un anneau à valuation discrète :''' On note ''A''<sub>(P)</sup> le localisé de ''A'' en ''P''. ::* ''L'anneau ''A''<sub>(P)</sup> est intégralement clos :'' :L'objectif est de montrer qu'un élément ''k'' du corps des fraction ''K'' de ''A'' entier sur ''A''<sub>(P)</sup> est un élément de ''A''<sub>(P)</sup>. Il existe une suite d'éléments (''a''<sub>i</sub>) pour ''i'' variant de 0 à ''n'' - 1 et un élément ''b'' de ''A'' - ''P'' tel que : <center><math> k^n + \frac {a_{n-1}}bk^{n-1} + \cdots + \frac {a_0}b = 0 \;</math></center> :On en déduit que ''b.k'' est entier sur ''A'', c'est donc un élément ''a'' de ''A''. En conséquence ''k'' est égal à ''a'' / ''b'' avec ''a'' élément de ''A'' et ''b'' élément de ''A'' - ''P'', ce qui montre que ''k'' est élément de ''A''<sub>(P)</sup> et termine la démonstration du lemme. L'anneau ''A''<sub>(P)</sup> est intégralement clos et est le localisé d'un anneau noethérien, il est donc noethérien. Une démonstration est proposée dans l'article [[Anneau noethérien]]. Le fait que ''A''<sub>(P)</sup> soit un anneau commutatif, unitaire, intègre, noethérien, avec un unique idéal premier montre qu'il est à valuation discrète. Une démonstration est proposée dans l'article détaillé. :* '''Si ''A''<sub>(P)</sup> est un anneau à valuation discrète pour tout idéal premier non nul, alors ''A'' est de Dedekind :''' Soit ''P'' un idéal premier non nul de ''A'', l'objectif est de montrer qu'il est inversible, dans ce cas, les résultats du paragraphe précédent montrent que l'anneau ''A'' est de Dedekind. Soit ''F'' l'idéal fractionnaire défini par : <center><math>\mathfrak F = \{k \in \mathbb K\; /\; \forall m \in \mathfrak M \quad km \in \mathbb A\}\;</math></center> Supposons que ''P.F'' soit différent de ''A'', Il existe alors un idéal ''M'' contenant le produit strictement ''P.F''. Soit (''p''<sub>i</sub>) pour ''i'' variant de 1 à ''n'' une famille génératrice de ''P'' comme ''A'' module. ''PA''<sub>(M)</sup> est un idéal de ''A''<sub>(M)</sup>, il admet un générateur ''g''. L'élément ''p''<sub>i</sub> est dans l'idéal ''PA''<sub>(M)</sup> ce qui montre l'existence d'élément ''a''<sub>i</sub> de ''A'' et ''b''<sub>i</sub> de ''A'' - ''M'' tel que ''p''<sub>i</sub> = ''ga''<sub>i</sub>''b''<sub>i</sub><sup>-1</sup>. Soit ''b'' le produit des éléments ''b''<sub>i</sub>, c'est un élément de ''A'' - ''M'', et ''ba''<sub>i</sub>''x''<sup>-1</sup> est un élément de ''A'', ce qui montre que ''bx''<sup>-1</sup> est un élément de ''F'' et ''b'' est élément de ''F.P.A''<sub>(M)</sup>. Ceci montre que ''b'' est élément de ''M.A''<sub>(M)</sup>. ''b'' est un élément de ''A'' et de ''M.A''<sub>(M)</sup>, on en déduit qu'il est élément de ''M''. Or ''b'' n'est pas élément de ''M'', cette contradiction démontre que ''P.F'' est égal à ''A'', donc que tout idéal premier est inversible et par voie de conséquence, que ''A'' est de Dedekind. {{Boîte déroulante fin}} === Extension finie === {{Article détaillé|Extension algébrique}} Une méthode pour construire un anneau de Dedekind est de considérer la fermeture algébrique d'un corps des fractions ''K'' d'un anneau de Dedekind ''A''. :* ''Soit ''L'' une [[extension simple]] et [[extension séparable|séparable]] de ''K'' et ''B'' la fermeture algébrique de ''A'' dans ''L'', ''B'' est un anneau de Dedekind.'' La séparabilité de ''L'' est utilisée pour montrer l'aspect noethérien de ''B''. La [[forme trace]] de l'anneau ''B'' est non dégénérée, ce qui permet de montrer simplement le caractère noethérien de ''B''. Le corps ''L'' joue un rôle particulier vis à vis de ''B'' : :* ''Le corps des fractions de ''B'' est égal à ''L''.'' L'étude des anneaux de Dedekind d'une extension de cette nature offre des outils d'analyse de la structure du corps ''L''. La [[décomposition des idéaux premiers]] de ''K'' dans ''L'' permet de définir la [[ramification]]. Ce concept est utilisé, par exemple pour établir le [[théorème de Kronecker-Weber]]. La [[théorie des corps de classes]] généralise son usage. {{boîte déroulante début|align=left|titre=Démonstrations}} :* '''L'ensemble ''B'' est un anneau commutatif unitaire et intègre :''' L'ensemble ''B'' est un sous-ensemble non vide de ''L'' contenant ''A'', il suffit de montrer la stabilité de ''B'' pour l'addition, la soustraction et la multiplication. Une démonstration de ces stabilités est donnée dans l'article [[Polynôme minimal d'un nombre algébrique]]. L'anneau ''B'' est commutatif et intègre car ''L'' l'est. Enfin ''B'' est unitaire car il contient ''A''. :* '''Le corps des fractions de ''B'' est égal à ''L''.''' Le corps ''L'' contient ''B'', il contient en conséquence son corps des fractions. Réciproquement montrons que tout élément ''l'' de ''L'' est élément du corps des fractions de ''B''. L'élément ''l'' admet un polynôme minimal, en multipliant ce polynôme par le produit des dénominateurs des coefficients du polynôme on obtient : <center><math>\exists (a_i) \in \mathbb K^n\quad a_nl^n + a_{n-1}l^{n-1} + \cdots + a_0 = 0 \quad \text{et}\quad (a_nl)^n + a_{n-1}(a_nl)^{n - 1} + \cdots + a_1a_n^{n-2}(a_nl) + a_0a_n^{n-1}=0\;</math></center> Notons ''u'' = ''a''<sub>n</sub>''l'', l'égalité précédente montre que ''u'' est entier sur ''A'' donc élément de ''B'' et ''l'' est égal à ''u.a''<sub>n</sub><sup>-1</sup>, ce qui montre que ''l'' est élément du corps des fractions de ''A'' et termine la démonstration. :* '''L'anneau ''B'' est intégralement clos :''' Il s'agit de montrer que tout élément de ''L'' ayant un polynôme minimal à coefficient dans ''B'' est élément de ''B''. Soit ''l'' un entier algébrique de ''L'', Soit (''b''<sub>i</sub>) les différents coefficients du polynôme minimal. La plus petite ''A'' algèbre de ''L'' contenant (''b''<sub>i</sub>) et ''l'' est de type fini, cette propriété montre que ''l'' est entier sur ''A''. La démonstration est donnée dans l'article [[Polynôme minimal d'un nombre algébrique]]. :* '''L'anneau ''B'' est noethérien :''' Une démonstration est proposée dans l'article [[Anneau noethérien]]. :* '''Tout idéal premier de ''B'' est maximal :''' Soit ''P'' un idéal premier de ''B'' et ''M'' un idéal maximal contenant ''P''. On raisonne par l'absurde et l'on suppose qu'il existe un élément ''m'' de ''M'' qui ne soit pas élément de ''P''. Notons ''P''<sub>A</sub> (resp. ''M''<sub>A</sub>) l'intersection de ''P'' (resp. ''M'') avec ''A''. Les idéaux ''P''<sub>A</sub> et ''M''<sub>A</sub> sont premiers, et ''M''<sub>A</sub> contient ''P''<sub>A</sub>, comme l'anneau ''A'' est de Dedekind ces deux idéaux sont égaux. Soit ''P''[''X''] un polynôme unitaire à coefficients dans ''A'' de plus petit degré tel que ''P''[''m''] soit un élément de ''P''. L'ensemble des polynômes unitaires à coefficients dans ''A'' tel que l'image de ''m'' soit dans ''P'' est non vide, il contient au moins le polynôme minimal. Comme ''m'' n'est pas dans ''P'', il n'est pas dans ''A'' et ''P''[''X''] n'est pas de degré ''un''. On utilise les notations : <center><math>P[X] = X^n + a_{n-1}X^{n-1} + \cdots + a_0 \quad\text{et}\quad p = a_nm^n + a_{n-1}m^{n-1} + \cdots +a_1m \;</math></center> La valeur ''P''[''m''] est égal à ''p'' + ''a''<sub>0</sub>. Les valeurs ''p'' et ''P''[''m''] sont dans ''M'', ce qui montre que ''a''<sub>0</sub> est aussi dans ''M''. On en déduit que ''a''<sub>0</sub> est à la fois dans ''M'' et dans ''A'' et donc dans ''P''<sub>A</sub>. Ce qui montre que le polynôme ''Q''[''X''], définit par : <center><math>P[X] = X^{n-1} + a_{n-1}X^{n-2} + \cdots + a_1\;</math></center> vérifie aussi le fait que ''Q''[''m''] soit élément de ''P'', ce qui contredit la minimalité du degré de ''P''[''X'']. Cette contradiction permet de conclure. :* '''Conclusion :''' L'anneau ''B'' est commutatif, unitaire, intègre et noethérien. Il est intégralement clôt, son corps des fractions est ''L'' et tout idéal premier de ''B'' est maximal. On a bien montré que l'anneau ''B'' est de Dedekind. {{Boîte déroulante fin}} == Notes et références == === Notes === {{references|colonnes=2}} === Liens externes === * {{fr}} [http://www.math.leidenuniv.nl/~edix/public_html_rennes/cours/tano.pdf Théorie algébrique des nombres] un cours de maîtrise par Bas Edixhoven de l'Université de Renne I. * {{fr}} [http://www.institut.math.jussieu.fr/~merel/TAN.pdf Nombres algébriques et nombres p-adiques] par Loïc Merel cours préparatoire aux études doctorales 2003-04 === Références === * {{fr}} {{Samuel1}} * {{fr}} {{Serre1}} * {{fr}} [[Nicolas Bourbaki|N. Bourbaki]] ''Eléments de mathématiques, Algèbre commutative chap 8 et 9'' Masson 1983 {{ISBN|2225787166}} * {{en}} G. H. Hardy E. M. Wright ''An Introduction to the Theory of Numbers'' Oxford Science Publications 1980 {{ISBN|0198531710}} * {{en}} K. Ireland M. Rosen ''A Classical Introduction to Modern Number Theory'' Springer; 2nd ed. 1990. Corr. 5<sup>ième</sup> édition imprimée 1998 {{ISBN|038797329X}} {{Portail mathématiques}} [[Catégorie:Théorie algébrique des nombres]] [[Catégorie:anneau]] [[de:Dedekindring]] [[en:Dedekind domain]] [[he:חוג דדקינד]] [[it:Anello di Dedekind]] [[ja:デデキント環]] [[ko:데데킨트 정역]] [[pl:Pierścień Dedekinda]] [[zh:戴德金整環]]