Entier quadratique
210557
31715986
2008-07-19T21:18:37Z
Jean-Luc W
53231
/* Conjugué et norme */Oups
{{homon|Entier (homonymie)}}
En [[mathématiques]], un '''entier quadratique''' est un [[nombre réel]] ou [[nombre complexe|complexe]] [[racine d'un polynôme]] du second degré à coefficients dans les [[nombre entier|nombres entiers]] et dont le coefficient du terme du plus haut degré est égal à 1. Un '''irrationnel quadratique''' est une notion un peu équivalente. Elle correspond encore à un nombre réel ou complexe racine d'un polynôme du second degré à coefficients rationnels, cette fois quelconque.
Ces nombres particuliers disposent de propriétés [[algèbre|algébriques]]. Si α est un entier quadratique, l'ensemble des nombres de la forme ''a'' + ''b''.α, où ''a'' et ''b'' désignent deux nombres entiers, est stable pour l'addition, la soustraction et la multiplication. Un tel ensemble est qualifié d'[[anneau (mathématiques)|anneau]]. Si β est un irrationnel quadratique, l'ensemble des nombres de la forme ''a'' + ''b''.β, où ''a'' et ''b'' désignent deux nombres rationnels, est stable pour les quatre opérations, on parle cette fois de [[corps (mathématiques)|corps]].
Un nombre quadratique, entier ou irrationnel, est ainsi avant tout un élément d'un ensemble, structuré par deux opérations. Cette approche est au cœur de la [[théorie algébrique des nombres]]. Au lieu d'étudier un nombre particulier, comme le [[nombre d'or]], l'analyse de la structure d'anneau associé, ici celui des [[entier de Dirichlet|entiers du corps ''Q''(√5)]] est plus fructueuse. Cette démarche est ancienne, dès le {{VIe siècle}} les [[mathématiques indiennes|mathématiciens indiens]] avaient déjà découvert une ''multiplication'' sur un ensemble de cette nature, qui permet de résoudre certains cas particuliers de l'[[équation de Pell-Fermat]]. [[Carl Friedrich Gauss|Gauss]], un mathématicien du {{XIXe siècle}}, préfigure la démarche moderne et fixe le vocabulaire avec l'étude des [[entier de Gauss|entiers portant maintenant son nom]]. Il découvre que cet anneau est [[anneau euclidien|euclidien]], permettant de développer une [[arithmétique]] analogue à celle des [[entier relatif|entiers relatifs]], avec sa version du [[théorème fondamental de l'arithmétique]] et ses [[nombre premier de Gauss|nombres premiers]].
Ces structures sont parfois sujet à une difficulté, qualifiée d'obstruction. Elle concerne les éléments inversibles pour la multiplication, ils sont parfois en nombre infini. Une deuxième obstruction existe si l'anneau n'est pas [[anneau euclidien|euclidien]]. L'unicité de la décomposition en facteurs premiers ne s'applique plus et les techniques usuelles de l'arithmétique s'avèrent inopérantes. Une analyse plus profonde de la structure de l'anneau permet d'y remédier à l'aide du concept d'[[idéal]].
Les anneaux d'entiers quadratiques forment en général la première classe d'exemples dans laquelle on tente de faire fonctionner des théories inaccessibles dans le cas général (voir par exemple le [[théorème de Kronecker-Weber]] en [[théorie des corps de classes]]). L'étude des entiers quadratiques admet une version plus algébrique : l'étude des [[forme quadratique à coefficients entiers|formes quadratiques à coefficients entiers]]. Il n'y a pas d'analogue à cette interprétation dans les [[corps de nombres]] en général.
== Motivation ==
La première motivation historique est la résolution d'[[équation diophantienne|équations diophantiennes]] du deuxième degré. Ces équations sont à coefficients entiers et les solutions recherchées sont entières. Un exemple célèbre est ''x''<sup>2</sub> - 61.''y''<sup>2</sub> = 1, traité<ref>J. Stillwell ''Mathematics and its History'' Springer Science 2<sup>ième</sup> éd 2004 p 72-74 {{ISBN|0387953361}}</ref> par [[Brahmagupta]], un mathématicien indien, reprise par [[Fermat]] dans un défi présenté à la communauté européenne en [[1657]]<ref>Fermat termine son défi par : {{Citation|J'attends la solution de ces questions ; si elle n'est fournie ni par l'Angleterre, ni par la Gaule Belgique ou Celtique, elle le sera par la Narbonnaise}} L. Hua J. Rousseau ''Fermat a-t-il démontré son grand théorème? l'hypothèse "Pascal"'' L'Harmattan 2002 p 113 {{ISBN|2747528367}}</ref>.
En vue de résoudre cette équation, il est judicieux d'étudier les nombres de la forme ''a'' + ''b''√61, ici ''a'' et ''b'' désignent deux entiers relatifs. On remarque que si α et β sont de cette forme, alors leur somme et leur produit l'est aussi. De plus, si α et β sont deux solutions de l'équation, α.β l'est aussi. Résoudre l'équation revient en fait à déterminer un sous-ensemble particulier de l'anneau des entiers quadratiques de la forme ''a'' + ''b''√61. Cet ensemble correspond à un [[sous-groupe]] du [[groupe des unités]], c'est à dire des éléments possédant un inverse dans l'anneau.
Un deuxième exemple est l'étude des propriétés arithmétiques associées au [[nombre d'or]] φ. Une fois encore, les nombres de la forme ''a'' + ''b''.φ forment une structure stable pour l'addition et la multiplication, appelé [[anneau (mathématiques)|anneau]]. Il est particulier dans le sens où il admet une [[division euclidienne]]. Cette division euclidienne offre une structure suffisamment proche de celle des entiers relatifs pour que le terme d' '''entier''' soit utilisé pour écrire un élément de l'ensemble. Les techniques de résolution sont absolument analogues à celle de l'arithmétique élémentaire.
Pour ''Z'', il est utile d'enrichir la structure pour obtenir un ensemble munis d'une addition et d'une multiplication tel que tout élément non nul soit inversible. La technique utilisée, appelée [[corps des fractions]] permet de construire ''Q'', le [[corps (mathématiques)|corps]] des [[nombre rationnel|nombres rationnels]]. Elle s'applique aussi aux anneaux d'entiers quadratiques. On obtient une structure dont les éléments sont appelés parfois ''rationnels quadratiques'' par analogie avec les entiers relatifs. A travers le concept de [[tour d'extension quadratique]], cette structure est l'un des fondements de la compréhension des figures [[construction à la règle et au compas|constructibles à la règle et au compas]].
== Exemples ==
=== Anneaux euclidiens ===
{{Article détaillé|anneau euclidien}}
Les [[entier algébrique|entiers algébriques]] sur un corps quadratique forment des anneaux aux propriétés variables en fonction d'une valeur ''d'' correspondant à un [[entier sans facteur carré]].
Si ''d'' est égal à -1, l'anneau est celui des [[entier de Gauss|entiers de Gauss]]. Il est formé des nombres complexes de la forme ''a'' + i.''b'' avec ''a'' et ''b'' deux [[entier relatif|entiers relatifs]] et ''i'' l'[[unité imaginaire]]. Il correspond à une structure simple, il est euclidien et en conséquence [[anneau principal|principal]] et [[anneau factoriel|factoriel]]. Le [[groupe des unités]] est fini et [[groupe cyclique|cyclique]]. Cette configuration se produit pour quelques valeurs de ''d'' comme -2 et -3. Si ''d'' est égal à -3, l'anneau est celui des [[entier d'Eisenstein|entiers d'Eisenstein]]. Sur chacun de ces anneaux, les outils de l'[[arithmétique]] élémentaire s'appliquent avec succès. Le [[lemme d'Euclide]], l'[[identité de Bézout]] ou encore la [[théorème fondamental de l'arithmétique|décomposition en facteurs premiers]] se traduisent pratiquement sans modification. Ceux plus sophistiqués de l'[[arithmétique modulaire]] comme le passage au [[anneau quotient|quotient]], le [[petit théorème de Fermat]] ou la [[loi de réciprocité quadratique]] se généralisent aussi sans difficulté majeure.
=== Groupe des unités ===
{{Article détaillé|Groupe des unités}}
Si ''d'' est positif, une première difficulté apparait, elle est illustrée par l'anneau des [[entier de Dirichlet|entiers de Dirichlet]] qui correspond à l'arithmétique du [[nombre d'or]] 1/2(1 + √5). Cette arithmétique est étudiée en profondeur à l'aide des outils élémentaires dans l'article associé. Si l'anneau est parfois euclidien, le groupe des unités devient infini. Pour toutes ces valeurs, aucun des théorèmes ou propriétés cités précédemment n'est utilisable. Pour la résolution d'[[équation diophantienne|équations diophantiennes]] comme celle du [[Démonstrations du dernier théorème de Fermat|grand théorème de Fermat pour ''n'' = 5]], les contournements deviennent acrobatiques. Comprendre la structure du groupes des unités revient à résoudre l'[[équation de Pell-Fermat]]. Dirichlet appelle ''obstruction'' cette difficulté. Si ''d'' est négatif, cette difficulté n'apparaît jamais, le groupe des unités est fini et cyclique.
=== Anneaux non factoriels ===
{{Article détaillé|Anneau factoriel}}
Si la [[valeur absolue]] de ''d'' augmente, une deuxième ''obstruction'' voit le jour. Le cas où ''d'' est égal à -5, l'anneau des entiers est ''Z''[''i''.√5] est le premier exemple. Il correspond au plus petit anneau contenant l'ensemble des entiers relatifs ''Z'' et ''i''.√5. L'égalité suivante met en évidence cette obstruction :
<center><math>2.3=(1+i.\sqrt 5)(1-i.\sqrt 5)\;</math></center>
Aucun des quatre entiers de l'égalité précédente ne possède de diviseur autre de 1 et lui-même (au groupe des unités près). Ils correspondraient donc à des [[nombre premier|nombres premiers]]. L'égalité montre que 6 possède dans cet anneau deux décompositions en facteurs premiers. L'anneau n'est ni euclidien, ni principal ni factoriel. D'autres outils doivent être mis en jeu pour appréhender cette situation.
== Caractérisation ==
=== Irrationnel quadratique ===
L'un des objets de l'article est l'étude des nombres répondant à la définition suivante :
:* Un '''irrationnel quadratique''' est un [[nombre complexe]] non [[nombre rationnel|rationnel]] solution d'une [[équation du second degré]] à coefficients rationnels.
Il existe une manière simple de caractériser les nombres quadratiques :
:* ''Un nombre α est irrationnel quadratique si, et seulement si, il existe deux rationnels ''a'' et ''b'', tel que ''b'' soit non nul, et un [[entier sans facteur carré]] ''d'' tel que α est égal à ''a + b.√d''.''
Il existe une convention prise ici, que les [[analyse (mathématiques)|analystes]] ne font pas. Il n'est dit nul part que ''d'' est un entier ''positif'', ce qui sous-entend que l'expression √''d'' peut décrire la [[racine carrée]] d'un nombre négatif. En analyse, cette situation est dangereuse, on ne sait pas si cette racine désigne ''i''.√-''d'' ou -''i''.√''d'' et il n'est pas possible d'adopter une convention qui rende la fonction racine continue sur l'ensemble des nombres complexes. Le paragraphe suivant montre que cette difficulté n'existe pas dans le contexte de cet article. Pour une raison de commodité, l'usage du radical racine pour des entiers négatifs est fréquent en [[théorie algébrique des nombres]]<ref>Par exemple: B. Edixhoven ''[http://www.math.leidenuniv.nl/~edix/public_html_rennes/cours/tano.pdf Théorie algébrique des nombres]'' Cours de maîtrise de l'Université de Renne I</ref>, cette convention est utilisée ici.
Si α est solution d'une équation du second degré à coefficients rationnels alors la technique de résolution de cette équation à l'aide d'un discriminant montre qu'il existe trois rationnels ''a'', ''c'' et ''e'' tel que α = ''a'' + ''c''.√''e''. Si ''e'' est une fraction dont un représentant est ''f'' / ''g'', quitte à multiplier en haut et en bas de la fraction par les facteurs non carrés du dénominateur, il est possible d'écrire ''e'' sous la forme d'un entier divisé par un carré parfait. Il est alors possible de sortir le dénominateur du radical. On peut donc choisir ''e'' entier. Si ''e'' contient des facteurs carrés, il est encore possible de les sortir du radical, on obtient alors une expression de la forme ''a'' + ''b''.√''d'', où ''a'' et ''b'' sont des nombres rationnels et ''d'' un entier sans carré parfait. Comme le nombre α n'est pas choisi rationnel, le coefficient ''b'' n'est pas nul.
Réciproquement si α est égal à ''a'' + ''b''.√''d'', il est solution de l'équation suivante :
<center><math> X^2 - 2a X + (a^2 - db^2) = 0 \;</math></center>
=== Corps quadratique ===
{{Article détaillé|Extension quadratique}}
Le nombre ''d'' désigne dans le reste de l'article un entier sans facteur carré, la lettre ''Z'' désigne l'anneau des nombres entiers, ''Q'' le corps des rationnels, ''R'' celui des réels et ''C'' celui des complexes.
L'intérêt de la notion de nombre quadratique provient de structures algébriques sous-jacentes à ce nombre. On étudie plus les propriétés des structures associées que le nombre lui même. Une des structures essentiels correspond au plus petit ensemble contenant l'irrationnel quadratique, contenant 1 et stable par addition, soustraction, multiplication et division. Evidemment, cette stabilité ne concerne pas la division par 0.
L'ensemble des nombres de la forme ''x'' + ''y''.√''d'' est généralement noté ''Q''[√''d''], les résultats précédents s'expriment, en terme mathématiques, par le fait que ''Q''[√''d''] dispose d'une structure de [[corps (mathématiques)|corps]].
:* Un '''corps quadratique''' ''K'' est un sous-corps du corps des complexes tel qu'il existe un entier sans facteur carré ''d'' et ''K'' est égal à ''Q''[√''d'']. Un élément de ce corps est appelé '''nombre quadratique'''.
Ainsi les définitions de nombre quadratique et irrationnel quadratique sont très similaires. Tout irrationnel quadratique est un nombre quadratique, réciproquement, un nombre quadratique non rationnel et un irrationnel quadratique. On peut imaginer définir un corps quadratique différemment, comme un corps ne contenant que des nombres quadratiques. La proposition suivante montre qu'une telle démarche est licite.
:* ''Soit un corps commutatif ''K'' contenant ''Q'' mais non restreint à ''Q'' et qui ne contienne que des nombres quadratiques. Il existe un entier ''d'', sans facteur carré, tel que ''K'' soit isomorphe à ''Q''[√''d''].''
Les algébristes construisent souvent le corps ''K'' d'une autre manière, Il considère tout d'abord l'[[anneau (mathématiques)|anneau]] des [[polynôme]]s à coefficients dans les rationnels. Comme l'ensemble ''Q'' des rationnels est un corps, cet anneau est [[anneau euclidien|euclidien]]. Le polynôme ''X''<sup>2</sup> - ''d'' est irréductible si ''d'' est un entier sans facteur carré. Irréductible signifie qu'il ne peut pas s'exprimer comme un produit de deux polynômes de degré 1. L'[[Idéal]] engendré par ''X''<sup>2</sup> - ''d'' est un [[idéal maximal]] car l'anneau des polynômes est euclidien, donc [[anneau principal|principal]], et le [[Anneau quotient|quotient]] de l'anneau des polynômes par cet idéal maximal est un corps. Tout élément de ce corps s'écrit ''x'' + ''y''.√''d'' si √''d'' désigne la classe du polynôme ''X''. Le signe de ''d'' ne modifie en rien la validité de la construction. Comme ''X''<sup>2</sub> - ''d'' est dans l'ideal quotient, la classe de ''X'' possède un carré égal à ''d'', qu'il soit positif ou négatif, ce qui justifie la notation. Elle est d'autant plus cohérente que ce corps est une copie, le terme exact est [[isomorphisme|isomorphe]], du plus petit sous-corps de ''C'' contenant √''d'' ou ''i''.√-''d'' si ''d'' est négatif.
{{boîte déroulante début|align=left|titre=Démonstration}}
:* '''Le plus petit sous-corps contenant le nombre quadratique ''a'' + ''b''.√''d'' est ''K''[''d''] :'''
Comme cet ensemble est stable par addition et soustraction et contient 1, il contient tous les entiers. Comme il est stable par division, il contient tous les rationnels. Par hypothèse il contient le nombre quadratique ''a'' + ''b''.√''d'', en additionnant -''a'', on remarque qu'il contient ''b''.√''d'' et en divisant par ''b'', il contient aussi √''d''. Il contient donc 1 et √''d'', et nécessairement tous les nombres de la forme ''x'' + ''y''.√''d'', où ''x'' et ''y'' décrivent l'ensemble des rationnels.
Réciproquement, l'ensemble des nombres de la forme ''x'' + ''y''.√''d'' contient 1 et ''a'' + ''b''.√''d''. Il est stable pour les quatres opérations. La stabilité de l'addition et de la soustraction est évidente, celle de la multiplication provient de la propriété suivante :
<center><math>\forall x_1,y_1,x_2,y_2 \in \mathbb Q\quad (x_1 + y_1\sqrt d)(x_2 + y_2\sqrt d)= x_1x_2 + dy_1y_2 + (x_1y_2 + x_2y_1)\sqrt d</math></center>
Il faut encore vérifier que tout élément non nul admet bien un inverse dans cet ensemble. On remarque tout d'abord que ''x''<sup>2</sup> - ''d''.''y''<sup>2</sup> ne peut être nul. S'il l'était alors ''d'' serait un quotient de carrés parfaits or ''d'' est un entier sans facteur carré. Il suffit alors de remarquer que si ''x'' et ''y'' est un couple de rationnels non tous les deux nuls :
<center><math>(x + y\sqrt d)\left(\frac x{x^2 - dy^2} - \frac y{x^2 - dy^2}\sqrt d \right)= 1</math></center>
:* '''Soit un corps commutatif ''K'' contenant ''Q'' mais non restreint à ''Q'' qui ne contiennent que des nombres quadratiques. Il existe un entier ''d'', sans facteur carré, tel que ''K'' soit isomorphe à ''Q''[√''d''] :'''
La [[théorie de Galois]] permet de résoudre cette question très simplement en faisant appel au [[théorème de l'élément primitif]]. Il suffit de considérer n'importe qu'elle [[extension finie]] de ''Q'' dans ''K'', elle admet un élément primitif, elle est donc de degré 2. Le corps ''K'' n'admet que des sous-corps de degré 2 sur ''Q'', il est donc de degré 2.
Il est néanmoins possible de démontrer sans outil puissant ce petit résultat. Nous savons à priori quatre choses sur le corps ''K'' : qu'il est commutatif, de [[caractéristique d'un anneau|caractéristique nulle]] et que tout élément est racine d'un polynôme de degré inférieur ou égal à 2 à coefficients dans son corps caractéristique et qu'il contient un élément qui n'est pas dans le corps caractéristique.
La caractéristique d'un corps est égal au plus petit entier ''n'', tel que 1, additionné ''n'' fois à lui-même soit égal à 0. Si un tel ''n'' n'existe pas, le corps est qualifié de caractéristique nulle. Le corps caractéristique est le plus petit sous-corps de ''K''. Il contient nécessairement 1 et donc le sous corps engendré par 1. Si le corps est de caractéristique nulle, il contient une copie de ''Z'' et nécessairement une copie de ''Q''. On identifie en général cette copie avec ''Q'' ce que nous faisons ici.
Dans le cas présent, il existe un élément α qui n'est pas dans ''Q'', cet élément est racine d'un polynôme de degré 2, à coefficients dans ''Q'' et irréductible. Il est donc de la forme ''a'' + √''d''.''b'' où ''a'' et ''b'' sont des rationnels et √''d'' un nombre tel que son carré est égal à ''d'', un élément de ''Q''. La même approche que celle utilisée précédemment montre que ''d'' peut être choisi entier sans facteur carré. Soit α<sub>1</sub> un élément quelconque de ''K'', l'objectif est de montrer qu'il existe deux rationnels ''a''<sub>1</sub> et ''b''<sub>1</sub> tel que α<sub>1</sub> = ''a''<sub>1</sub> + ''b''<sub>1</sub>.√''d''.
Si α<sub>1</sub> est rationnel l'objectif est immédiatement atteint. Supposons qu'il ne le soit pas. Le même raisonnement que précédemment montre que α<sub>1</sub> = ''a''<sub>1</sub> + ''b''<sub>1</sub>.√''f'' où ''f'' est encore un entier sans facteur carré. Il suffit donc de montrer que ''f'' est égal à ''d''. Pour cela remarquons que √''d'' et √''f'' sont deux éléments de ''K'' leur somme est encore élément de ''K'', donc solution d'une équation du second degré à coefficients dans ''Q''.
Soit ''P''[X] = ''X''<sup>2</sub> + h''X'' + ''k'' un polynôme à coefficients dans ''Q'' et ayant √''d'' + √''f'' comme racine. On dispose de l'égalité suivante :
<center><math>d + f + 2\sqrt {df} + h(\sqrt d + \sqrt f) + k = 0 \quad\text{et}\quad d + f + k + h\sqrt d = \sqrt f(h + 2\sqrt d)</math></center>
On remarque que ''h'' + 2√''d'' ne peut être nul car √''d'' n'est pas rationnel alors que ''h'' l'est. On en déduit que √''f'' est le quotient de deux éléments de ''Q''[√''d''], ce qui montre qu'il est élément de ''Q''[√''d''] et :
<center><math>\exists h_1, k_1 \in \mathbb Q \quad \sqrt f = h_1 + k_1\sqrt d \quad\text{et}\quad f = h_1^2 + dk_1^2 + 2h_1k_1\sqrt d</math></center>
Ceci montre qu'un rationnel multiplié par √''d'' est un rationnel. Le seul rationnel ayant cette propriété est 0, et soit ''h''<sub>1</sub> soit ''k''<sub>1</sub> est nul. Si ''k''<sub>1</sub> est nul, √''f'' est rationnel, ce qui est contraire aux hypothèses, donc ''h''<sub>1</sub> est nul et √''f'' = ''k''<sub>1</sub>√''d'', et ''f'' est égal à ''k''<sub>1</sub><sup>2</sub>.''d''. Or ''f'' est un entier sans facteur carré, donc ''k''<sub>1</sub> est égal à 1 et ''f'' à ''d''.
Il est temps de conclure. ''K'' contient ''Q''[√''d''] car c'est un corps contenant √''d''. Réciproquement tout élément de ''K'' est contenu dans ''Q''[√''d''] d'après l'analyse précédente. Les deux structures sont bien égales.
{{Boîte déroulante fin}}
=== Entier quadratique ===
Un des charmes d'un corps quadratique, général à tout corps algébrique, est qu'il présente une structure un peu analogue à celle des nombres rationnels. Tout comme les nombres rationnels disposent d'entiers, un corps quadratique dispose aussi d'entiers, la définition peut néanmoins paraître un peu étrange en premier abord, la suite montre qu'elle est parfaitement justifiée :
:* Un '''entier quadratique''' est un élément d'un corps quadratique dont le [[polynôme minimal d'un nombre algébrique|polynôme minimal]] est à coefficients dans ''Z''.
Le polynôme minimal d'un nombre α est le polynôme à coefficients rationnels de plus petit degré, de monôme dominant ayant un coefficient égal à 1 et ayant α pour [[racine d'un polynôme|racine]]. L'article sur ce concept montre qu'il est unique et tout polynôme à coefficients rationnels ayant α pour racine est un multiple du polynôme minimal. Un irrationnel quadratique possède un polynôme minimal nécessairement de degré 2, un entier algébrique peut aussi être rationnel et posséder un polynôme minimal de degré 1, cette différence subtile, permet de considérer un élément de ''Z'' comme un entier quadratique. Il serait étrange de considérer 1 comme non entier et 1/2 comme un irrationnel quadratique, d'où la différence dans la définition.
L'article [[entier algébrique]] correspondant à la généralisation du concept pour un corps algébrique quelconque montre que les seuls entiers algébriques de ''Q'' sont les éléments de ''Z''. L'analogie va plus loin :
:* ''La somme, la différence et le produit de deux entiers algébriques est un entier algébrique.''
Cette situation est encore comparable à celle de ''Z''. On peut encore dire que l'ensemble des entiers algébriques d'un corps quadratique forme un [[anneau (mathématiques)|anneau]]. Cette situation est la même pour tout les corps algébriques, d'où une définition générale :
:* L'anneau des entiers d'un corps algébrique ''K'' est appelé '''fermeture intégrale''' du corps algébrique et est souvent noté ''O''<sub>K</sub>.<ref>C'est la définition 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>
Il est intéressant de caractériser l'ensemble des entiers algébriques d'un corps quadratique :
:* ''Si ''d'' est congru à ''1'' modulo ''4'', alors l'anneau des entiers algébrique de ''Q[√d]'' est égal à ''Z[(1 + √d) / 2]'', sinon l'anneau est égal à ''Z[√d]''.''
L'expression, ''Z''[<math>\omega</math>] désigne l'ensemble des nombres de la forme ''a''<sub>0</sub> + ''a''<sub>1</sub>.ω + ''a''<sub>2</sub>.ω<sup>2</sub> + ... + ''a''<sub>n</sub>.ω<sup>n</sub>, où ''a''<sub>0</sub>, ''a''<sub>1</sub>, ..., ''a''<sub>n</sub> sont des éléments de ''Z''. Ici, ω<sup>2</sub> s'écrit toujours comme une combinaison linéaire à coefficients dans ''Z'' de 1 et de ω, elle est donnée par le polynôme minimal, si ω désigne une des valeurs de l'énoncé de la proposition, à savoir (1 + √''d'') / 2 ou bien √''d''. Dans toute la suite de l'article ω désigne cette valeur. Un élément de l'anneau ''Z''[ω] est donc de la forme ''a'' + ω.''b'', où ''a'' et ''b'' sont des élements de ''Z''.
{{boîte déroulante début|align=left|titre=Démonstrations}}
:* '''Supposons que ''d'' ne soit pas congru à 1 modulo 4 :'''
Soit ''a'' et ''b'' deux entiers relatifs et ''v'' = ''a'' + ''b''.√''d'', alors ''v'' est racine du polynôme ''P''[''X''] suivant et est donc algébrique :
<center><math>P[X] = X^2 - 2a.X + a^2 - d.b^2\;</math></center>
Réciproquement, supposons ''w'' algébrique, il existe deux rationnels α et β tel que ''w'' = α + β.√''d'' et si le polynôme minimal de ''w'' est noté ''Q''[''X''] alors :
<center><math>Q[X] = X^2 - 2\alpha.X + \alpha^2 - d.\beta^2\quad \text{et}\quad 2\alpha \in \mathbb Z\; ,\quad \alpha^2 - d.\beta^2 \in \mathbb Z\;</math></center>
les nombres 2.α et 4(α<sup>2</sup> - ''d''.β<sup>2</sup>) sont des entiers relatifs et 4.''d''.β<sup>2</sup> l'est aussi. Comme ''d'' ne contient aucun facteur carrré, 2.β est un entier relatif.
Si ''d'' est congru à 2 modulo 4, alors 2.''d''.β<sup>2</sup> est élément de ''Z'' et 2.α<sup>2</sup> aussi, comme 2.α est un entier relatif, α l'est aussi. On en déduit que ''d''.β<sup>2</sup> est un entier relatif, comme ''d'' n'est pas un multiple de 4, et que 2.β est un entier relatif, β l'est aussi.
Si ''d'' est congru à 3 modulo 4, (2.α)<sup>2</sup> - ''d''.(2.β)<sup>2</sup>) est un multiple de 4, si (2.β) est impair, alors (2.β)<sup>2</sup> est congru à 1 modulo 4, ''d''.(2.β)<sup>2</sup> est congru à 3 modulo 4 et (2.α)<sup>2</sup> - ''d''.(2.β)<sup>2</sup>) est congru à 2 modulo 4, ce qui est impossible, c'est un multiple de quatre. On en déduit que 2.β est pair et β est entier. Ceci montre que ''d''.(2.β)<sup>2</sup> est un multiple de 4, et donc (2.α)<sup>2</sup> aussi, on en déduit que α est entier.
:* '''Supposons que ''d'' soit congru à 1 modulo 4 :'''
Soit ''a'' et ''b'' deux entiers relatifs et ''v'' = ''a'' + ''b''(1 + √''d'')/2, alors ''v'' est racine du polynôme ''P''[''X''] suivant et est donc entier algébrique car ''d'' - 1 est un multiple de quatre :
<center><math>P[X] = X^2 - (2a+b).X + a^2 + a.b - b^2\frac{d-1}4\;</math></center>
Réciproquement, supposons ''w'' algébrique, il existe deux rationnels α et β tel que ''w'' = α + β.(1 + √''d'')/2 et si le polynôme minimal de ''w'' est noté ''Q''[''X''] alors :
<center><math>Q[X] = X^2 - (2\alpha + \beta).X + \alpha^2 + \alpha.\beta - \beta^2\frac{d-1}4\quad \text{et}\quad 2\alpha + \beta \in \mathbb Z\; ,\quad (\alpha + \frac\beta 2)^2 - \beta^2\frac d4 \in \mathbb Z\;</math></center>
On en déduit que (2α + β)<sup>2</sup> - ''d''.β<sup>2</sup> est un multiple de 4, comme 2α + β est un entier relatif, ''d''.β<sup>2</sup> l'est aussi. Comme ''d'' ne contient aucun facteur carré, β est un entier relatif. Comme (2α + β)<sup>2</sup> - ''d''.β<sup>2</sup> est un multiple de quatre et que β est un entier relatif, 4(α<sup>2</sup> + α.β) est un multiple de 4 (car ''d'' - 1 est un multiple de quatre) et (2α)<sup>2</sup> + 2.(2.α).β est un multiple de 4. Comme 2α + β et β sont des entiers relatifs, 2α l'est aussi. Si 2α est impair, alors (2α)<sup>2</sup> + 2.(2.α).β est impair, or cette valeur est un multiple de 4, donc α est un entier relatif, ce qui termine la démonstration.
:* '''La fermeture algébrique d'un corps quadratique est un anneau :'''
L'ensembe considéré est manifestement un groupe abélien, il suffit donc de montrer la stabilité pour la multiplication, les autres propriétés se déduisent du fait que la fermeture algébrique est une partie d'un corps. Soit ''d'' un entier relatif sans facteur carré, les deux égalités suivantes montrent que dans tous les cas, la fermeture est stable par multiplication :
<center><math>\forall a,b,a',b' \in \mathbb Z \quad (a + b.\sqrt d)(a' + b'.\sqrt d)= aa' + d.bb' +(ab'+ba')\sqrt d
\;</math></center>
<center><math>\forall a,b,a',b' \in \mathbb Z \quad (a + b\frac{1+\sqrt d}2)(a' + b'\frac{1+\sqrt d}2)= aa' + \frac {d -1}4.bb' +(ab'+ba')\frac{1+\sqrt d}2\;</math></center>
{{Boîte déroulante fin}}
=== Fermeture intégrale et clôture intégrale ===
La configuration est celle du corps, ici un corps quadratique, contenant un anneau, celui des entiers quadratiques. Elle ressemble un peu à celle de ''Q'' et ''Z'' à cet égard. La relation entre ''Z'' et ''Q'' est aussi caractérisé par le fait que ''Q'' est le [[corps des fractions]] de ''Z'', c'est à dire le plus petit corps contenant ''Z''. En fait, ''Q'' est construit comme l'ensemble des couples (''a'', ''b''); où ''a'' est un entier et ''b'' un entier non nul, quotienté par une [[relation d'équivalence]].On peut appliquer la même méthode à l'anneau des entiers d'un corps quadratique pour rechercher le plus petit corps contenant cet anneau.
:* ''Le corps des fractions de la fermeture intégrale d'un corps quadratique ''Q[√d]'' est isomorphe à ''Q[√d]''.''
Pour cette raison le terme de '''rationnel quadratique''' désigne un élément de ce corps. Un '''rationnel quadratique''' est un nombre quadratique, il correspond soit à un irrationnel quadratique, soit à un élément de ''Q''. Comme précédemment, on peut se poser la question de la forme d'un anneau unitaire (c'est à dire qui contient l'élément 1) composé uniquement d'entiers quadratiques. La situation est un peu différente que celle de ''Q'' et ''Z'', ici il existe d'autres anneaux, toujours inclus dans une fermeture intégrale :
:* ''Soit ''A'' un anneau unitaire contenant strictement ''Z'' et formé uniquement d'entiers quadratiques. Il existe un entier ''d'', non carré parfait, tel que ''A'' est égal à ''Z[ω]'' ou ω est égal soit à ''√d'' soit, si ''d'' est congru à 1 modulo 4, à ''(1 + √d) / 2''.''
La nuance provient de la nature de ''d''. Dans une fermeture intégrale ''d'' est un entier sans facteur carré, comme 2 ou -6. Dans la proposition précédente ''d'' est un entier non carré parfait comme 18 ou -12. Or 18 et -12 ne sont pas des entiers sans facteur carré. Ainsi le corps ''Q'[√3] contient l'anneau ''Z''[√3] mais aussi ''Z''[√12]. Cette différence donne lieu à la définition suivante :
:* Un anneau d'entiers quadratiques est dit '''intégralement clos''' si et seulement s'il est égal à sa clôture intégrale<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>.
Le corps des fractions de ''Z''[√12] contient √3 et est en fait égal à ''Q''[√3]. La fermeture intégrale de ''Q''[√3] est égal à ''Z''[√3] qui contient strictement ''Z''[√12], qui n'est ainsi pas intégralement clos. Les anneaux intégralement clos sont les plus riches en propriétés. Par, ''Z''[√-3] n'est pas un anneau euclidien, ni même [[anneau factoriel|factoriel]]. Pour s'en rendre compte, il suffit de considérer la double décomposition suivante du nombre 4 en facteurs irréductibles :
<center><math>4 = 2\times 2 = (1 + \sqrt -3)(1- \sqrt -3)\;</math></center>
En revanche, l'anneau ''Z''[1/2(1 +√-3)] composé des [[entier d'Eisenstein|entiers d'Eisenstein]] est euclidien, comme le montre l'article sur la question.
Enfin, il existe une propriété fort utile sur les anneaux unitaires d'entiers quadratiques :
:* ''l'intersection d'un anneau unitaire d'entiers quadratiques et de ''Q'' est égal à ''Z''.''
{{boîte déroulante début|align=left|titre=Démonstrations}}
:* '''Le corps des fractions de la fermeture intégrale d'un corps quadratique ''Q[√d]'' est isomorphe à ''Q[√d]''.'''
Le plus petit corps contenant les entiers quadratiques de ''Q''[√''d''] contient 1 et √''d'', il contient nécessairement ''Q''[√''d'']. Réciproquement ''Q''[√''d''] contient tous les éléments de l'anneau des entiers, ce qui montre que ''Q''[√''d''] est bien le plus petit corps contenant la fermeture intégrale. C'est donc, à un isomorphisme près, son corps des fractions.
:* '''Soit ''A'' un anneau unitaire contenant strictement ''Z'' et formé uniquement d'entiers quadratiques. Il existe un entier ''f'', non carré parfait, tel que ''A'' est égal à ''Z[ω]'' ou ω est égal soit à ''√f'' soit, si ''f'' est congru à 1 modulo 4, à ''(1 + √f) / 2''.'''
On utilise pour cela le corps des fractions de ''A''. Les démonstrations précédentes montrent que ''Q.A'', c'est à dire l'ensemble des produits d'un rationnel par un élément de ''A'' est un corps, contenu dans son corps des fractions. Comme le corps des fractions est le plus petit contenant l'anneau, il est égal à ''Q.A''. Ce qui montre l'existence d'un entier quadratique ω, de la forme de celle construite précédemment, tel que le corps des fractions de ''A'' soit égal à ''Q''[ω]. Comme ''A'' est composé d'entiers quadratiques, ''A'' est un sous anneau de ''Z''[ω] car ''Z''[ω] contient tous les entiers quadratiques du corps. Il suffit de caractériser les sous-anneaux unitaires de ''Z''[ω] pour démontrer cette proposition.
Supposons dans un premier temps qu'il existe un entier ''d'' sans facteur carré et non congru à 1 modulo 4 tel que ω soit égal à √''d'' et considérons l'ensemble ''E'' de tous les entiers strictement positifs ''n'' tel que ''n''.√''d'' soit dans ''A''. Montrons que cet ensemble est non vide, ''A'' n'est pas réduit à ''Z'', il contient un élément de ''Z''[ω] qui n'est pas un entier relatif. Soit ''a'' + ''b''.√''d'' un tel entier, avec ''a'' et ''b'' inclus dans ''Z'' et ''b'' non nul. Comme tous les entiers de ''A'' sont éléments de ''Z''[ω], un élément de ''A'' possède nécessairement une forme de cette nature. Comme ''Z'' est inclus dans ''A'', -''a'' est élément de ''A'' et -''a'' + ''a'' + ''b''.√''d'' = ''b''.√''d'' est aussi élément de ''A''. Et |''b''| est élément de ''E''. ''E'' est un ensemble non vide d'entiers strictement positifs, il possède donc un élément minimal ''m''.
On définit ''f'' comme égal à ''m''<sup>2</sub>.''d''. On remarque que √''f'' est un élément de ''A'' puisque soit ''m''√''d'' soit -''m''√''d'' l'est (si -''m''√''d'', alors ''m''√''d'' l'est aussi par stabilité de la soustraction). Par conséquence ''Z''[√''f''] est inclus dans ''A''. Montrons maintenant l'inclusion inverse. Soit ''a'' + ''b''.√''d'' un élément quelconque de ''Z'', une fois encore ''b''.√''d'' est élément de ''A''. considérons la division euclidienne de |''b''| par ''m'', |''b''| = ''p.m'' + ''r''. Comme |''b''|.√''d'' et ''p.m''.√''d'' sont des éléments de ''A'', par stabilité ''r''.√''d'' l'est aussi. Or ''r'' est strictement plus petit que ''m'', le fait que ''r''.√''d'' soit élément de ''A'' montre que ''r'' est nul et ''b'' est un multiple de ''m''. En conclusion ''a'' + ''b''.√''d'' est bien un élément de ''Z''[√''f'']. On a montré que ''Z''[√''f''] contient ''A'' et est contenu dans ''A'', ils sont donc égaux.
Supposons maintenant que ω = 1/2(1 + √''d'') ou ''d'' est congru à 1 modulo 4. Le raisonnement précédent s'applique encore et il existe un entier strictement positif ''m'' tel que ''A'' soit égal à ''Z''[''m''/2(1 + √''d'')]. Si ''m'' est paire, ''A'' est engengré par la somme d'un entier et de ''m''√''d'' que l'on note toujours ''f'', ce qui montre que ''A'' est égal à ''Z''[√''f'']. Supposons que ''m'' soit impair, alors ''A'' est engendré par (''m'' - 1)/2 + 1/2(1 + √''f'') et donc par 1/2(1 + √''f''). Il ne reste plus qu'à monter que ''f'' est congru à 1 modulo 4. Dans ce dernier cas, ''m'' est impair, le carré de tout nombre impair est congru à 1 modulo 4, ''d'' l'est aussi, donc ''f'' égal à ''m''<sup>2</sup>.''d'' est congru à 1 modulo 4, ce qui termine la démonstration.
:* '''l'intersection d'un anneau unitaire d'entiers quadratiques et de ''Q'' est égal à ''Z'' :'''
Dire que l'anneau est unitaire, signifie qu'il contient élément 1, par stabilité de l'addition et de la soustraction, il contient ''Z'', réciproquement soit ''a'' un élément de l'intersection de l'anneau et de ''Q'', comme il est élément de l'anneau, il est racine d'un polynôme de coefficient de monôme dominant égal à 1 et à coefficients dans ''Z''. Ce polynôme admet pour racine ''a'' et son congugé est encore égal à ''a'' qui est donc une racine double, ont en déduit que son polynôme minimal est égal à ''X''<sup>2</sub> - 2''a.X'' + ''a''<sup>2</sub>. Ce qui montre que 2.''a'' et ''a''<sup>2</sub> sont des éléments de ''Z''. Dire que 2.''a'' est élément de ''Z'' revient à dire qu'il existe un entier ''b'' tel que ''a'' est égal à ''b''/2. Dire que ''b''<sup>2</sub>/4 est entier signifie que ''b'' est un multiple de 2, ce qui montre que ''a'' est entier.
{{Boîte déroulante fin}}
=== Conjugué et norme ===
{{Article détaillé|Norme (arithmétique)}}
Deux applications sont ont un rôle privilégié dans les corps quadratiques.
:* L'application de ''Q''[√''d''] dans lui-même qui à au nombre ''a'' + ''b''.√''d'' associe ''a'' - ''b''.√''d'' est dite '''application conjuguée'''.
L'article [[Extension quadratique]] montre qu'il n'existe que deux [[automorphisme]]s de corps. Un automorphisme est un [[homomorphisme|morphisme]] [[bijection|bijectif]] et un morphisme désigne une application respectant la structure, ici les deux opérations d'addition et de multiplication. Un morphisme φ vérifie :
<center><math>\forall \alpha,\beta \in \mathbb Q[\sqrt d]\quad \varphi(\alpha + \beta) = \varphi(\alpha) + \varphi(\beta)\quad\text{et}\quad \varphi(\alpha \cdot \beta) = \varphi(\alpha) \cdot \varphi(\beta)</math></center>
Les deux automorphismes sont l'identité et l'application conjuguée. On remarque que si ''d'' est égal à -1, on retrouve le terme [[complexe conjugué|conjugué]] des nombres complexes.
La deuxième application importante est la suivante :
:* L'application de ''Q''[√''d''] dans ''Q'' qui à un nombre quadratique associe le produit de ce nombre par son conjugué est appelé '''norme'''.
Dans le reste de l'article, l'application norme est noté ''N''. Dans le cas où ''d'' est égal à -1, on trouve le carré de la ''norme'' géométrique usuel. On peut se poser la question de savoir pourquoi les arithméticiens omettent d'ajouter la racine, à la différence des géomètres. La raison est la nature de l'ensemble d'arrivé de la fonction, il est égal à ''Q'', ce qui n'est plus vrai avec la définition des géomètres. Cette propriété est essentielle pour de nombreux usages.
Si ''d'' est un entier positif, la norme n'a pas de raison d'être positive. La norme du nombre quadratique ''a'' + ''b''.√''d'' est ''a''<sup>2</sub> - ''d.b''<sup>2</sup>. Si ''d'' est égal à 2, ''a'' à 1 et ''b'' à 1, on trouve en effet -1.
:* ''L'application norme de ''Q''[√''d''] respecte la multiplication :''
<center><math>\forall \alpha,\beta \in \mathbb Q[\sqrt d]\quad \mathcal N(\alpha\cdot\beta) = \mathcal N(\alpha) \cdot\mathcal N(\beta)</math></center>
Cette propriété est une conséquence directe de la définition de la norme, si α et β désigne deux nombres quadratiques de ''Q''[√''d''], α' et β' leurs conjugués, alors :
<center><math>\mathcal N(\alpha\cdot\beta) = \alpha\beta\cdot \alpha'\beta' = \alpha\alpha'\cdot\beta\beta' = \mathcal N(\alpha) \cdot\mathcal N(\beta)</math></center>
:* ''L'application congugué est un automorphisme de la fermeture intégrale de ''Q''[√''d''] et, dans cet ensemble, la norme est à valeur dans ''Z''.''
On remarque que si α est un entier quadratique, son conjugué possède le même polynôme minimal, il est donc aussi entier quadratique. L'application conjuguée est injective sur ''A'' car elle l'est sur ''K''. Comme l'application est [[Involution (mathématiques)|involutive]], c'est à dire que le conjugué du conjugué est l'élément initial, elle est nécessairement surjective. Puisque l'application conjugué est un morphisme dans ''K'', il l'est nécessairement dans un sous-ensemble et à fortiori dans la fermeture intégrale. Soit α' le conjugué de α. On a déjà démontré que le produit de deux entiers quadratiques est encore un entier quadratique, on en déduit que α.α' est un entier quadratique élément de ''Q'', il est donc élément de ''Z'', d'après la proposition précédente.
Si ω est égal à √''d'', la norme prend la forme ''(1)'', si ''d'' est congru à 1 modulo 4 et que ω est égal à 1/2(1 + √''d'') elle prend la forme ''(2)'' :
<center><math>\forall a,b \in \mathbb Z \quad \begin{align}
(1)\quad d &\equiv 2\;\text{ou}\;3 &\mod 4 \quad &\mathcal N(a + b.\omega) = a^2 - d.b^2 \\
(2)\quad d &\equiv 1 &\mod 4 \quad &\mathcal N(a + b.\omega) = a^2 + ab - \frac {d-1}4b^2
\end{align}</math></center>
== Théorèmes fondamentaux ==
{{Article détaillé|Idéal de l'anneau des entiers d'un corps quadratique}}
=== Groupe des unités ===
{{Article détaillé|Groupe des unités d'un anneau d'entiers quadratiques}}
[[Image:Entier de Dirichlet Unite.jpg|250px|right|thumb|Les éléments du groupe des unités se répartissent sur 4 branches d'[[hyperbole]] qui s'obtiennent à l'aide de rotations d'un quart de tour.]]
La première difficulté à résoudre pour comprendre la structure d'un anneau d'entiers quadratiques est son [[groupe des unités]], c'est à dire le groupe formé par les éléments inversibles et munis de la multiplication. Une première remarque simplifie l'analyse, un entier quadratique est inversible si et seulement si sa norme est égale à ±1. Ce qui ramène la question à l'étude d'une des deux équations diophantienne ''x''<sup>2</sub> - ''d.y''<sup>2</sub> = ±1 ou si ''d'' est congru à 1 modulo 4 et si ''f'' désigne l'entier tel que ''d'' = 4''f'' - 1 : ''x''<sup>2</sup> + ''x.y'' - ''f.y''<sup>2</sup> = ±1.
La première équation est étudiée<ref>L E Dickson ''History of the theory of numbers vol. II, Diophantine analysis'' 1920 réimpression Dover Publications 2005 {{ISBN|0486442330}}</ref> depuis [[Diophante]] et porte le nom d'[[équation de Pell-Fermat]]. Elle est résolue<ref>[[Bhāskara II]] ''Bijaganita'' [[1150]] cf le site de l'Université de St Andrew [http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Pell.html Pell's equation]</ref> de manière algorithmique par [[Bhaskara II]] un [[mathématiques indiennes|mathématicien indien]] du {{XIIe siècle}} et par [[Joseph Louis Lagrange]] en [[1767]] de manière théorique<ref>Le texte des travaux de Lagrange est disponible : [http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/?IDDOC=41029 Solution d'un problème d'arithmétique]</ref>, à l'aide des [[fraction continue d'un nombre quadratique|fractions continues]].
Si ''d'' est strictement négatif, le groupe est réduit à ±1, sauf dans les cas où ''d'' est égal à -1, le groupe contient alors 4 éléments ''(cf l'article [[Entier de Gauss]])'', ou si ''d'' est égal à -3 et il en contient 6. Si ''d'' est strictement positif, le groupe des unités contient une infinité de solutions. Plus précisément, il est isomorphe à ''Z/2Z x Z''. Il existe une unique unité ρ dont les deux coordonnées sont positives et tel que toutes les autres s'expriment sous la forme ''e''.ρ <sup>k</sup> où ''e'' est égal à ±1 et ''k'' un élément de ''Z''. Il existe deux algorithmes célèbres et relativement efficaces pour trouver cette unité dite '''fondamentale'''.
Graphiquement si l'on représente l'anneau à l'aide du repère [[base orthonormale|orthonormale]] (1, ω) les points de l'anneau se situent sur le quadrillage régulier contenant le point 0 et formé de carrés de coté 1. Les éléments du groupe de l'unités se trouvent sur 4 branches d'hyperboles qui s'obtiennent par rotations successives d'un quart de tour.
L'analyse du groupe des unités ne nécessite pas l'usage des propriétés de fermeture intégrale de l'anneau. En conséquence, les résultats sont encore vrais pour un anneau d'entiers quadratiques quelconque.
=== Idéal fractionnaire ===
{{Article détaillé|Idéal fractionnaire}}
L'article [[Idéal de l'anneau des entiers d'un corps quadratique]] montre que les idéaux possèdent de nombreuses propriétés, ils se multiplient :
:* Soit ''M'' et ''N'' deux idéaux, le '''produit des deux idéaux''' est l'idéal engendré par les produits d'éléments de ''M'' et de ''N''.''
La multiplication est associative, commutative et l'idéal ''Z''[''u''] est l'élément neutre. Pour former un groupe, il suffit d'adjoindre des inverses. Pour obtenir cette propriété, la notion d'idéal est étendue :
:* Une partie ''F'' de ''Q[u]'' est dit '''idéal fractionnaire''' de ''Z''[''u''] si ''F'' est un sous-module de ''Q[u]'' (en tant que ''Z'' module) et s'il existe un entier relatif ''z'' tel que ''z''.''F'' est inclus dans ''Z''[''u''].
L'ensemble des idéaux fractionnaires forme un [[groupe abélien]]. Les idéaux premiers ont un rôle importants, tout idéal fractionnaire se décompose de manière unique en un produit de puissances positives ou négatives d'idéaux premiers. Ce résultat remplace le [[théorème fondamental de l'arithmétique]] manquant.
L'unicité de la décomposition permet par exemple de montrer que :
:* ''Soit ''N'' et ''M'' deux idéaux de ''Z''[''u''], la norme relative du produit des idéaux est égal au produit de la norme des idéaux :''
<center><math>\mathcal N_{\mathbb Q[u]/\mathbb Q}(\mathfrak N\cdot\mathfrak M) = \mathcal N_{\mathbb Q[u]/\mathbb Q}(\mathfrak N)\cdot \mathcal N_{\mathbb Q[u]/\mathbb Q}(\mathfrak M)</math></center>
Ces propriétés, à l'exception de la dernière qui se trouve dans l'article [[Norme (arithmétique)]], sont démontrées dans l'article détaillé.
=== Groupe des classes ===
{{Article détaillé|groupe des classes}}
La deuxième obstruction est la conséquence des idéaux premiers mais non principaux. Pour comprendre leur structure, remarquons dans un premier temps que les idéaux fractionnaires principaux ''Princ'' (''Q[u]'') forment un sous-groupe du groupe ''F''(''Q[u]'') des idéaux fractionnaires. Comme le groupe des idéaux fractionnaires est abélien, le sous-groupe est [[sous-groupe normal|normal]] et il est possible de quotienter ''F''(''Q[u]'') par ''Princ'' (''Q[u]'') :
:* Le quotient du groupe des idéaux fractionnaires par le groupe des idéaux fractionnaires principaux est appelé '''groupe des classes d'idéaux''' du corps ''Q[u]''.
Le théorème clé associé est le suivant :
:* ''L'ordre du groupe des classes de ''Q[u]'' est fini.''
La technique pour s'en rendre compte est géométrique. On considère un disque de rayon suffisamment large pour contenir un point d'un idéal. Ce rayon est proportionnel à la racine de la norme de l'idéal. Une manipulation permet de trouver un idéal d'une classe donnée dans un disque de rayon ou l'expression de la norme se simplifie.
Le [[théorème de Stark-Heegner]] précise pour quels entiers ''d'' l'anneau est principal si ''d'' est négatif :
:* ''L'anneau des entiers du corps quadratique ''Q''[√d] pour les valeurs de ''d'' réduites et négatives est principal si, et seulement si, ''d'' est une des valeurs suivantes : −1, −2, −3, −7, −11, −19, −43, −67 ou −163.<ref>La démonstration est technique, on la trouve par exemple sur le site [http://www.math.columbia.edu/~goldfeld/GaussProblem.pdf The Gauss class number problem for imaginary quadratic fields] par G. Goldfeld</ref>
{{boîte déroulante début|align=left|titre=Détail de la démonstration}}
La difficulté consiste à trouver un élément ''m'' d'un idéal ''M'' de norme relative la plus petite possible. Il existe en fait une valeur ''b'' tel que le disque de rayon ''bN''<sub>Q[u]/Q</sub>(''M'') contienne toujours un élément de ''M''. Une fois cette existence établie, on montre que tout élément du groupe des classes d'idéaux contient un représentant de norme majorée par ''b''. Le théorème se démontre alors simplement. Les détails sont données dans l'article détaillé.
Si ''d'' est négatif, il existe une preuve plus simple pour montrer l'existence de ''b''. Elle est donnée ici :
L'anneau ''Z''[''u''] est muni de la norme euclidienne ||.|| qui associe la valeur 1 au point 1 et √|d| à √d.
:* ''Le disque ''D'' de ''Z''[''u''], de centre l'origine et de rayon 2.δ, où δ est égal à ''(√|d|.M( N ) / π)''<sup>½</sup>, contient au moins un point ''a'' de ''M'' non nul :''
Le disque de rayon δ contient strictement plus que M( N ) points de ''Z''[''u'']. Or ''Z''[''u''] / ''M'' contient ''N'' ( ''M'' ) classes distinctes. Il existe donc deux points ''b'' et ''c'' distincts et éléments de la même classe. Le point ''a'' égal à ''b'' - ''c'' est un point de ''M'' distinct de l'élément nul et à une distance inférieure à 2.δ de l'origine, ce qui permet de conclure.
:* ''Si ''d'' est strictement négatif, la classe de ''M'' dans le groupe des classes contient un représentant de norme inférieure ou égal à 4.''√-d / π'' :''
Considérons l'idéal ''Q'' égal à ''a''.''M'' <sup>-1</sup>. Si α est élément de ''M'' <sup>-1</sup>, le produit de α et d'un élément de ''M'' est entier, donc le produit ''a''.α est aussi entier et ''Q'' est un idéal non fractionnaire de ''Z''[''u'']. L'égalité suivante montre que ''Q'' est dans la classe étudiée :
<center><math> \mathfrak Q= a\mathbb Q[u]\cdot \mathfrak M^{-1}</math></center>
On remarque que, si ''a''<sub>1</sub> et ''a''<sub>2</sub> sont les deux coordonnées de ''a'', considéré comme un point de ''Q[u]'' (les coordonnées ''a''<sub>1</sub> et ''a''<sub>2</sub> ne sont alors pas nécessairement entières si ''d'' est congru à 1 modulo 4), dans la base (1, √-d), alors :
<center><math>\|a\|^2 = a_1^2 -da_2^2 = \mathcal N_{\mathbb Q[u]/\mathbb Q}(a)</math></center>
On en déduit :
<center><math>\mathcal N_{\mathbb Q[u]/\mathbb Q}(\mathfrak Q) = \frac {\mathcal N(a)}{\mathcal N_{\mathbb Q[u]/\mathbb Q}(\mathfrak M)}= \frac {\|a\|^2}{\mathcal N_{\mathbb Q[u]/\mathbb Q}(\mathfrak M)}\le \frac {(2\delta)^2}{\mathcal N_{\mathbb Q[u]/\mathbb Q}(\mathfrak M)}=\frac {4\sqrt{-d}\mathcal N_{\mathbb Q[u]/\mathbb Q}(\mathfrak M)}{\pi\mathcal N_{\mathbb Q[u]/\mathbb Q}(\mathfrak M)}= \frac {4\sqrt{-d}}{\pi}</math></center>
''Remarque'' : L'article détaillé montre qu'il est possible d'obtenir une meilleur majoration de la norme d'un représentant de la classe de ''M''. Il existe un idéal ''Q'' dans la classe de ''M'' de norme inférieure ou égale à 2.√-d / π.
{{Boîte déroulante fin}}
== Applications ==
=== Classification des nombres premiers ===
{{Article détaillé|Décomposition des idéaux premiers}}
La structure des entiers sur les corps quadratiques amène à étudier non pas les diviseurs d'un nombre premier ''p'', mais les facteurs premiers de l'idéal ''pZ[u]''. Cette analyse est utile pour la résolutions d'équations diophantiennes.
==== Nombre premier inerte ====
La première situation est celle où ''pZ[u]'' est un idéal premier :
:* On dit que ''p'' est '''inerte''' dans ''Z''[''u''] si l'idéal principal engendré par ''p'' est premier.
:* ''Le nombre premier ''p'' est inerte si et seulement si ''d'' n'est pas un résidu quadratique modulo ''p''.''
:* ''Le corps premier ''Z''[''u'']/''pZ''[''u''] est isomorphe à ''F''<sub>p<sup>2</sup></sub>.''
{{boîte déroulante début|align=left|titre=Démonstrations}}
:* '''Le nombre premier ''p'' est inerte si et seulement si -''d'' n'est pas un résidu quadratique modulo ''p'' :'''
Le nombre premier ''p'' est inerte, si et seulement s'il n'existe pas de morphisme de ''Z''[''u''] dans un le [[corps fini]] ''F''<sub>p</sub> à ''p'' élément. En effet, si un tel morphisme existe, son noyau est un idéal premier de norme ''p'' et si un idéal premier de norme ''p'' existe alors le morphisme de ''Z''[''u''] dans le quotient remplit la condition.
Un tel morphisme existe si et seulement s'il est possible d'associer à √d une valeur dans ''F''<sub>p</sub>, la seule valeur possible est une racine de l'équation ''X''<sup>2</sup> = d, c'est à dire que ''d'' est résidu quadratique modulo ''p''. Si tel est le cas, il existe une unique manière de prolonger l'application ''m'' qui à 1 associe 1 et à √d une de ces deux racines quadratiques dans ''F''<sub>p</sub>. Comme l'idéal ''pZ[u]'' est premier un tel morphisme n'existe pas un tel morphisme n'existe pas et -''d'' n'est pas un résidu quadratique modulo ''p''.
:* '''Le corps premier ''Z''[''u'']/''pZ''[''u''] est isomorphe à ''F''<sub>p<sup>2</sup></sub> :'''
La norme de ''pZ[u]'' est égal à ''p''<sup>2</sup>. Si ''p'' est inerte, ''Z''[''u'']/''pZ''[''u''] est un corps de cardinal la valeur absolue de norme de ''p'', c'est à dire ''p''<sup>2</sup>. Il n'existe qu'un unique corps contenant ''p''<sup>2</sup> éléments : ''F''<sub>p<sup>2</sup></sub>, ce qui permet de conclure.
{{Boîte déroulante fin}}
==== Nombre premier décomposé ====
La deuxième situation est celle où ''pZ[u]'' n'est pas premier et contient dans sa décomposition deux idéaux premiers :
:* On dit que ''p'' est '''décomposé''' si son idéal principal contient deux idéaux premiers distincts.
Soit σ l'endomorphisme de ''Z''[''u''] qui à 1 associe 1 et à √d associe -√d. Cette application est un morphisme d'anneau. L'application σ est dite conjugué. Dans le cas où ''d'' est négatif, elle se confond avec la fonction [[conjugué]] des nombres complexes.
:* ''Les deux idéaux sont conjugués l'un de l'autre et ce sont les seuls idéaux de norme ''p''.''
L'anneau quotient ''Z''[''u''] / ''pZ''[''u''] est isomorphe au produit ''F''<sub>p</sub>x''F''<sub>p</sub>.
{{boîte déroulante début|align=left|titre=Démonstrations}}
:* '''Les deux idéaux sont conjugués l'un de l'autre et ce sont les seuls idéaux de norme ''p''.'''
Remarquons tout d'abord que la norme de ''p'' est égal à ''p''<sup>2</sup>. Comme le produit des normes d'idéaux est égal à la norme du produit des idéaux et que le seul idéal de norme 1 est ''Z''[''u''], la décomposition en idéal premier de ''pZ[u]'' ne peut contenir plus de 2 idéaux distincts. Supposons qu'elle contienne exactement deux idéaux distincts ''M''<sub>1</sub> et ''M''<sub>2</sub>.
Alors les normes de ''M''<sub>1</sub> et ''M''<sub>2</sub> sont égales à ''p'' et ''Z''[''u'']/''M''<sub>i</sub>, si ''i'' est égal à 1 ou à 2, est isomorphe au corps premier de cardinal ''p''. Le paragraphe précédent montre qu'il existe un élément ''r'' du corps premier ''F''<sup>p</sub> tel que ''r''<sup>2</sup> est égal à -''d''. Il existe exactement deux morphismes de corps de ''Z''[''u''] dans ''F''<sub>p</sub>, ils associent à 1 la valeur 1 dans ''F''<sub>p</sub> et à √''d'' respectivement les valeurs ''r'' et -''r''. Les idéaux ''M''<sub>1</sub> et ''M''<sub>2</sub> sont les deux noyaux respectifs de ces deux morphismes. Ces deux morphismes sont conjugués, leurs noyaux le sont donc aussi.
:* '''L'anneau quotient ''Z''[''u''] / ''pZ''[''u''] est isomorphe au produit ''F''<sub>p</sub>x''F''<sub>p</sub> :'''
Montrons que l'intersection de ''M''<sub>1</sub> et ''M''<sub>2</sub> est égal au produit ''M''<sub>1</sub>.''M''<sub>2</sub>. Remarquons que le produit est nécessairement inclus dans l'intersection. Réciproquement soit ''m'' un élément de l'intersection. Comme ces deux idéaux sont maximaux et distincts, ''M''<sub>1</sub> + ''M''<sub>2</sub> est égal à ''Z''[''u''], et 1 est la somme d'un élément de ''M''<sub>1</sub> et d'un élément de ''M''<sub>2</sub> : ''m''<sub>1</sub> + ''m''<sub>2</sub> = 1 et donc ''m.m''<sub>1</sub> + ''m.m''<sub>2</sub> = ''m'', ce qui démontre l'égalité.
Le [[théorème chinois]] généralisé et le fait que ''Z''[''u''] / ''M''<sub>i</sub> soit le corps à ''p'' éléments montrent que :
<center><math>\frac {\mathbb Z[u]}{p\mathbb Z[u]}=\frac {\mathbb Z[u]}{\mathfrak M_1 \cdot \mathfrak M_2}= \frac {\mathbb Z[u]}{\mathfrak M_1 \cap \mathfrak M_2}= \frac {\mathbb Z[u]}{\mathfrak M_1}\times \frac {\mathbb Z[u]}{\mathfrak M_2}=\mathbb F_p\times\mathbb F_p</math></center>
{{Boîte déroulante fin}}
==== Nombre premier ramifié ====
Il se peut que ''pZ''[''u''] ne soit contenu que dans un unique idéal premier :
:* On dit que ''p'' est '''ramifié''' s'il existe un unique idéal premier ''M'' contenant ''p'' et que ''pZ''[''u''] n'est pas premier.
Si ce cas se produit, alors
:* ''Si le nombre premier ''p'' est ramifié, l'idéal ''pZ[u]'' est égal au carré de l'unique idéal premier contenant ''p''.''
:* ''Le nombre premier ''p'' est ramifié, si et seulement s'il divise le discriminant de l'anneau ''Z''[''u''].''
L'anneau quotient ''Z''[''u''] / ''pZ''[''u''] est de cardinal ''p''<sup>2</sup> et contient au moins un élément [[nilpotent]], non nul.
{{boîte déroulante début|align=left|titre=Démonstrations}}
:* '''Si le nombre premier ''p'' est ramifié, l'idéal ''pZ[u]'' est égal au carré de l'unique idéal ''M'' premier contenant ''p'' :'''
Il a déjà été démontré que la décomposition de ''pZ[u]'' est le produit d'un ou deux idéaux premiers. Si ''p'' n'est pas premier, alors ''pZ[u]'' est un produit de deux idéaux premiers. Comme il n'en existe qu'un, noté ''M'', contenant l'idéal ''pZ[u]'', il est nécessairement égal à ''M''<sup>2</sup>.
:* '''L'anneau quotient ''Z''[''u''] / ''pZ''[''u''] contient au moins un élément nilpotent :'''
''M'' contient un élément qui n'est pas multiple de ''p'' car, par hypothèse ''M'' n'est pas égal à l'idéal engendré par ''p''. Soit α la classe de cet élément dans ''Z''[''u''] / ''pZ''[''u'']. Comme le carré de ''M'' est égal à ''pZ''[''u''], α<sup>2</sup> est nul. L'élément α n'est pas nul dans ''Z''[''u''] / ''pZ''[''u''] car il contient un représentant qui n'est pas dans ''M'', en revanche son carré l'est. Ce qui montre que l'anneau quotient contient au moins un élément nilpotent.
:* '''Le nombre premier ''p'' est ramifié, si et seulement s'il divise le discriminant de l'anneau ''Z''[''u''].'''
Supposons que ''p'' soit ramifié, le quotient de ''Z''[''u''] par ''pZ''[''u''] est un ''F''<sub>p</sub> espace vectoriel. Il contient un élément non nul α nilpotent d'ordre deux. L'élément α n'est pas colinéaire à la classe de 1 car aucun multiple de 1 n'est nilpotent, (1, α) forme donc une base de l'espace vectoriel quotient. Soit ''x'' et ''y'' deux vecteurs de coordonnées (''x''<sub>1</sub>, ''x''<sub>2</sub>) et (''y''<sub>1</sub>, ''y''<sub>2</sub>) dans la base (1, α). La matrice Μ<sub>xy</sub> de l'homothétie de rapport ''xy'' est la suivante :
<center><math>\Mu_{xy} = \begin{pmatrix} x_1y_1 & 0 \\ x_1y_2 +x_2y_1 & x_1y_1 \end{pmatrix}</math></center>
On en déduit la forme trace et la matrice ''T'' associée :
<center><math>\text{Tr}\langle x,y\rangle = 2x_1y_1\quad \text{et}\quad T = \begin{pmatrix} 2 & 0 \\ 0 & 0 \end{pmatrix} </math></center>
Le déterminant de ''T'' est ainsi nul. Ce déterminant est le quotient dans ''Z''/p''Z'' du discriminant de l'anneau ''Z''[''u'']. On en déduit que le discriminant est un multiple de ''p'', ce qu'il fallait démontrer.
Réciproquement, si ''p'' n'est pas un diviseur du discriminant, le déterminant de ''T'' dans le quotient ''Z''[''u''] / ''pZ''[''u''] est, à un facteur multiplicatif près, la classe du discriminant de ''Z''[''u''] dans ''Z''/p''Z'' qui n'est pas nul. En conséquence, il n'existe pas d'élément nilpotent, ce qui montre que ''p'' ne peut être ramifié.
{{Boîte déroulante fin}}
=== Equation diophantienne ===
La raison initiale du développement des corps quadratiques est l'étude d'équations diophantiennes d'ordre deux. Illustrons par deux exemples comment la théorie précédente permet de venir à bout de questions de cette nature.
==== ''x''<sup>2</sup> + ''2''.''y''<sup>2</sup> = ''p'' ====
Le cas ''d'' égal à -1 ou à -3 est traité dans l'article [[théorème des deux carrés de Fermat]]. Ici, ''d'' est égal à -2 :
<center><math>p = x^2 + 2y^2 \Leftrightarrow p\equiv 1\mbox{ ou }p\equiv 3\pmod{8}</math></center>
En effet, calcul analogue à celui présenté pour les [[entier de Gauss|entiers de Gauss]] montre que l'anneau est euclidien donc principal. S'il existe un idéal contenant ''p'' éléments, comme il est principal et que sa norme est égale à ''p'', le tour est joué. Cette méthode s'applique à tous les anneaux d'entiers euclidiens.
{{boîte déroulante début|align=left|titre=Détails de la démonstration}}
Dans un premier temps déterminons les valeurs de ''p'' tel que -2 est un résidu quadratique. L'article [[Loi de réciprocité quadratique]] montre que -1 est un carré si et seulement si ''p'' est congru à 1 modulo 4. La valeur 2 est un carré si et seulement si ''p'' est congru à 1 ou à 7 modulo 8. On obtient le tableau suivant :
<center>
{| class="wikitable"
|
{| border="1"
| '''modulo''' || '''1''' || '''3''' || '''5''' || '''7'''
|-
| '''-1''' || + || - || + || -
|-
| ''' 2''' || + || - || - || +
|-
| '''-2''' || + || + || - || -
|}
|}
</center>
Le signe + signifie que la valeur est un carré pour un nombre premier congru à la valeur de la première ligne modulo 8. On en conclut que ''-2'' est un carré modulo ''p'' si et seulement si ''p'' est congru à 1 ou à 3.
Si cette condition n'est pas remplie, il est impossible de construire un morphisme de ''Z''[''i''√2] dans ''Z''/''pZ'', ce qui montre que ''p'' est inerte et qu'il n'y a pas de solution.
Si ''p'' est congru à 1 ou à 3 modulo 8, il existe dans ''Z''/''pZ'' une valeur ''r'' de carré égal à -2. L'application qui à l'entier algébrique ''a'' + ''b.i''√2 associe ''a'' + ''b.r'' dans ''Z''/''pZ'' est un morphisme d'anneau. Son noyau est un idéal de ''Z''[''i''√2]. Comme l'anneau est euclidien, l'idéal est principal, soit α + β.''i''√2 un générateur. La norme de ce générateur est égal au cardinal de l'anneau quotient, en l'occurrence ''p''. La norme de l'idéal est aussi la valeur absolue de la norme d'un générateur. Elle est égale à α<sup>2</sup> + 2.β<sup>2</sup> et à ''p''. Ce qui résout l'équation.
{{Boîte déroulante fin}}
==== ''x''<sup>2</sup> + ''5''.''y''<sup>2</sup> = ''p'' ====
Si ''d'' est égal à 5, la situation est plus délicate car l'anneau ''Z''[''i''√5] n'est pas euclidien, elle se résume de la manière suivante :
<center><math>p = x^2 + 5y^2 \Leftrightarrow p\equiv 1\mbox{ or }p\equiv 9\pmod{20},</math></center>
<center><math>2p = x^2 + 5y^2 \Leftrightarrow p\equiv 3\mbox{ or }p\equiv 7\pmod{20}.</math></center>
Si initialement la méthode est la même que pour le cas euclidien, il devient nécessaire d'établir la nature des idéaux de norme ''p''. S'il est principal, une solution existe, sinon la valeur ''p'' n'est pas atteinte par la fonction. Le groupe des classes permet de s'en rendre compte. Cette méthode est générale, cependant pour des valeurs importantes de ''d'' les calculs s'avèrent fastidieux.
{{boîte déroulante début|align=left|titre=Détail de la démonstration}}
Dans un premier temps recherchons les nombres premiers inertes. L'application de la loi de réciprocité quadratique montre que 5 est un résidu quadratique modulo ''p'' si et seulement si ''p'' est un résidu quadratique modulo ''5''. Or ''Z''/5''Z'' contient deux classes de résidus, celle de 1 et celle de 4. On en déduit le tableau suivant, construit comme précédemment :
<center>
{| class="wikitable"
|
{| border="1"
| '''modulo''' || '''1''' || '''3''' || '''7''' || '''9''' || '''11''' || '''13''' || '''17''' || '''19'''
|-
| '''-1''' || + || - || - || + || - || + || + || -
|-
| ''' 5''' || + || - || - || + || + || - || - || +
|-
| '''-5''' || + || + || + || + || - || - || - || -
|}
|}
</center>
Un raisonnement analogue au précédent montre que les classes de 11, 13, 17 et 19 sont inertes.
Il reste quatre classes ramifiées ou décomposées. Il s'agit de déterminer si les idéaux associés sont principaux ou non. Pour cela examinons le groupe des classes de l'anneau. Un résultat établi précédemment montre que toute classe contient un idéal de norme inférieure à 4.√5 / π. Comme la norme est un entier relatif, la seule valeur possible pour un représentant d'une classe différente de celle des idéaux principaux est 2. On vérifie qu'un unique idéal : ''M''<sub>2</sub> contenant 2 et 1 + ''i''.√5 est de norme 2. Il n'est pas principal car aucun élément de l'anneau n'a pour norme en valeur absolue 2.
:* ''Le groupe des classes de l'anneau d'entiers algébriques ''Z''[''i''√5] est d'ordre 2.''
Le discriminant de ''Z''[''i''√5] est égal à -20, l'idéal ''M''<sub>2</sub> est ramifié et l'anneau quotient ''Z''[''i''√5] / ''M''<sub>2</sub> contient des éléments nilpotents comme 1 + ''i''.√5, dont le carré est multiple de 2.
L'existence d'un idéal premier non principal de norme 2 amène à étudier la parité des solutions de l'équation. Soit ''a'' et ''b'' deux entiers relatifs premiers entre eux tel que ''a''<sup>2</sup> + 5.''b''<sup>2</sup> soit un multiple de ''p''. Si la somme est paire, les entiers ''a'' et ''b'' sont impairs et donc congru à 1 ou à 3 modulo 4. Leur carré est congru à 1 modulo 8, en conséquence ''a''<sup>2</sup> + 5.''b''<sup>2</sup> est congru à 6 modulo 8 et ''p'' est congru à 3 modulo 4. Dans ce cas là, ''p'' est congru à 3 ou 7 modulo 20. Si la somme est impaire, l'un des deux nombres est pair et l'autre impair, le carré de celui impair est congru à 1 modulo 4 et l'autre est un multiple de quatre. La somme est donc congru à 1 modulo 4 et ''p'' est congru à 1 ou 9 modulo 20.
Si ''p'' est congru à 3 ou à 7 modulo 20, l'équation ne peut admettre de solution égale à ''p'' car toute solution est paire. En conséquence, aucun idéal ''M''<sub>p</sub> de norme ''p'' ne peut être principal, il serait en effet généré par une solution de l'équation. En revanche, l'idéal ''M''<sub>2</sub>.''M''<sub>p</sub> l'est car le groupe des classes est d'ordre deux et ''M''<sub>2</sub> n'est pas principal. L'idéal ''M''<sub>2</sub>.''M''<sub>p</sub> est de norme 2.''p'', il contient un générateur et sa norme est égal à 2.''p'', ce qui revient à dire que si ''p'' est congru à 3 ou 7 modulo 20, l'équation ''x''<sup>2</sup> + ''5''.''y''<sup>2</sup> = 2.''p'' admet une solution.
Si ''p'' est congru à 1 ou à 9 modulo 20, l'équation ''x''<sup>2</sup> + ''5''.''y''<sup>2</sup> = 2''p'' ne peut admettre de solution. Le raisonnement précédent montre que ''M''<sub>2</sub>.''M''<sub>p</sub> ne peut être principal et donc ''M''<sub>p</sub> l'est, ce qui permet de conclure.
{{Boîte déroulante fin}}
=== Classification des formes quadratiques ===
== Notes et références ==
=== Notes ===
<references />
=== 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://mathworld.wolfram.com/QuadraticField.html Quadratic field] dans MathWorld par E. Weisstein
=== Références ===
* {{fr}} {{Samuel1}}
* {{fr}} {{Serre1}}
* {{en}} G. H. Hardy E. M. Wright ''An Introduction to the Theory of Numbers'' Oxford Science Publications 1980 {{ISBN|0198531710}}
* {{en}} D. A. Cox ''Primes of the Form ''x''<sup>2</sup>+''ny''<sup>2</sup>'' Wiley-Interscience 1989 {{ISBN|0471506540}}
* {{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]]
[[de:Quadratischer Zahlkörper]]
[[el:Τετραγωνικό σώμα]]
[[en:Quadratic field]]
[[pl:Ciało kwadratowe]]
[[zh:二次域]]