Entier quadratique


Entier quadratique
Page d'aide sur l'homonymie Pour les articles homonymes, voir Entier (homonymie).

En mathématiques, un entier quadratique est un nombre réel ou complexe, racine d'un polynôme du second degré à coefficients dans les 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 (non rationnel) ou complexe, racine d'un polynôme du second degré à coefficients rationnels, cette fois quelconque.

Ces nombres particuliers disposent de propriétés 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. 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.

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 entiers du corps Q(5) est plus fructueuse. Cette démarche est ancienne, dès le VIe siècle les 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. Gauss, un mathématicien du XIXe siècle, préfigure la démarche moderne et fixe le vocabulaire avec l'étude des entiers portant maintenant son nom. Il découvre que cet anneau est euclidien, permettant de développer une arithmétique analogue à celle des entiers relatifs, avec sa version du théorème fondamental de l'arithmétique et ses nombres premiers.

Ces structures sont parfois sujettes à 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 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 formes quadratiques à coefficients entiers (en). Il n'y a pas[réf. nécessaire] d'analogue à cette interprétation dans les corps de nombres en général.

Sommaire

Préambule

Motivation

La première motivation historique est la résolution d'é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 x2 - 61.y2 = 1, traité[1] par Brahmagupta, un mathématicien indien, reprise par Fermat dans un défi présenté à la communauté européenne en 1657[2].

En vue de résoudre cette équation, il est judicieux d'étudier les nombres de la forme a + b61, 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 β correspondent à deux couples d'entiers solutions de l'équation, alors c'est aussi le cas pour α.β. Résoudre l'équation revient en fait à déterminer un sous-ensemble particulier de l'anneau des entiers quadratiques de la forme a + b61. 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. 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 des 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 nombres rationnels obtenus à partir des entiers relatifs. À travers le concept de tour d'extension quadratique, cette structure est l'un des fondements de la compréhension des figures constructibles à la règle et au compas.

Anneaux euclidiens

Article détaillé : Anneau euclidien.

Les 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 entiers de Gauss. Il est formé des nombres complexes de la forme a + i.b avec a et b deux entiers relatifs et i l'unité imaginaire. Il correspond à une structure simple, il est euclidien et en conséquence principal et factoriel. Le groupe des unités est fini et cyclique. Cette configuration se produit pour quelques valeurs de d comme -2 et -3. Si d est égal à -3, l'anneau est celui des 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 décomposition en facteurs premiers se traduisent pratiquement sans modification. Ceux plus sophistiqués de l'arithmétique modulaire comme le passage au 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 entiers de Dirichlet qui correspond à l'arithmétique du nombre d'or (1 + 5)/2. 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'équations diophantiennes comme celle du 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 :

2.3=(1+i.\sqrt 5)(1-i.\sqrt 5)\;

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 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 :

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 analystes ne font pas. Il n'est dit nulle 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[3], 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 :

 X^2 - 2a X + (a^2 - db^2) = 0 \;

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. Évidemment, 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 commutatif.

  • 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 est 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. Ils considèrent tout d'abord l'anneau des polynômes à coefficients dans les rationnels. Comme l'ensemble Q des rationnels est un corps, cet anneau est euclidien. Le polynôme X2 - 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 X2 - d est un idéal maximal car l'anneau des polynômes est euclidien, donc principal, et le 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 X2 - 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 isomorphe, du plus petit sous-corps de C contenant d ou i.-d si d est négatif.

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 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. 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. Cette situation est la même pour tous 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 de Z dans K et est souvent noté OK[4].


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[ω] désigne l'ensemble des nombres de la forme a0 + a1.ω + a22 + ... + ann, où a0, a1, ..., an sont des éléments de Z. Ici, ω2 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 éléments de Z.

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ée 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 l'anneau des entiers 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.

Le corps des fractions de Z[12] contient 3 et est en fait égal à Q[3]. L'anneau des entiers 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 contre, Z[-3] n'est pas un anneau euclidien, ni même factoriel. Pour s'en rendre compte, il suffit de considérer la double décomposition suivante du nombre 4 en facteurs irréductibles :

4 = 2\times 2 = (1 + \sqrt -3)(1- \sqrt -3)\;

En revanche, l'anneau Z[(1 +-3)/2] composé des 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 égale à Z.

Outils et théorèmes

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 automorphismes de corps. Un automorphisme est un morphisme 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 :

\forall \alpha,\beta\in\Q[\sqrt d]\quad \varphi(\alpha + \beta) =  \varphi(\alpha) + \varphi(\beta)\quad\text{et}\quad \varphi(\alpha \cdot \beta) =  \varphi(\alpha) \cdot \varphi(\beta)

Les deux automorphismes sont l'identité et l'application conjuguée. On remarque que si d est égal à -1, on retrouve le terme 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ée 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 a2 - d.b2. Si d est égal à 2, a à 1 et b à 1, on trouve en effet -1.

  • L'application norme de Q[d] respecte la multiplication :
\forall \alpha,\beta\in\Q[\sqrt d]\quad \mathcal N(\alpha\cdot\beta) = \mathcal N(\alpha) \cdot\mathcal N(\beta)

Cette propriété est une conséquence directe de la définition de la norme, si α et β désignent deux nombres quadratiques de Q[d], α' et β' leurs conjugués, alors :

\mathcal N(\alpha\cdot\beta) = \alpha\beta\cdot \alpha'\beta' = \alpha\alpha'\cdot\beta\beta' = \mathcal N(\alpha) \cdot\mathcal N(\beta)
  • La conjugaison est un automorphisme de l'anneau des entiers de Q[d] et, sur cet ensemble, la norme est à valeurs 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 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 a 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 + d)/2 elle prend la forme (2) :

\forall a,b\in\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}

Groupe des unités

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 x2 - d.y2 = ±1 ou si d est congru à 1 modulo 4 et si f désigne l'entier tel que d = 4f - 1 : x2 + x.y - f.y2 = ±1.

La première équation est étudiée[5] depuis Diophante et porte le nom d'équation de Pell-Fermat. Elle est résolue de manière algorithmique par Bhāskara II[6], un mathématicien indien du XIIe siècle, et par Joseph-Louis Lagrange en 1767 de manière théorique[7], à l'aide des 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 eke 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 orthonormal (1, ω) les points de l'anneau se situent sur le quadrillage régulier contenant le point 0 et formé de carrés de côté 1. Les éléments du groupe des 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.

Décomposition en idéaux premiers

La deuxième obstruction est la conséquence des idéaux premiers mais non principaux. On a vu qu'ils induisent des décompositions multiples d'un entier quadratique en facteurs premiers. Deux théorèmes permettent encore de travailler malgré cette obstruction, ils ne s'appliquent que sur des fermetures intégrales, c'est-à-dire que l'anneau doit contenir tous les entiers quadratiques.

La manière d'analyser cette situation pour Ernst Kummer est de considérer qu'il manque des nombres irréductibles. Les idéaux premiers sont alors vus comme les nombres premiers manquants. L'objectif consiste à ne plus décomposer un nombre mais un idéal :

  • Tout idéal de l'anneau des entiers d'un corps quadratique Q[ω] se décompose de manière unique, à l'ordre près, en un produit d'idéaux premiers.

Pour étudier un tel anneau, il devient nécessaire d'expliciter les idéaux premiers. La majorité consiste en idéaux principaux et quelques autres ne le sont pas. Un deuxième théorème précise :

  • Il n'existe qu'un nombre fini d'idéaux premiers non principaux dans l'anneau des entiers d'un corps quadratique.

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[8].

Dans le cas des entiers d positifs, les anneaux principaux sont beaucoup plus nombreux. En 2008, il est conjecturé qu'il en existe une infinité.

Applications

Classification des nombres 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 à Fp2.

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 FpxFp.

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 p2 et contient au moins un élément nilpotent, non nul.

Équation 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.

x2 + 2.y2 = 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 :

p = x^2 + 2y^2 \Leftrightarrow p\equiv 1\mbox{ ou }p\equiv 3\pmod{8}

En effet, calcul analogue à celui présenté pour les 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.

x2 + 5.y2 = p

Si d est égal à 5, la situation est plus délicate car l'anneau Z[i5] n'est pas euclidien, elle se résume de la manière suivante :

p = x^2 + 5y^2 \Leftrightarrow p\equiv 1\mbox{ or }p\equiv 9\pmod{20},
2p = x^2 + 5y^2 \Leftrightarrow p\equiv 3\mbox{ or }p\equiv 7\pmod{20}.

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.


Classification des formes quadratiques

Voir Principe local-global.

Notes et références

Notes

  1. (en) John Stillwell (en), Mathematics and its History, Springer, 3e éd., 2010 (ISBN 978-1-44196052-8), p. 75-77
  2. Fermat termine son défi par : « 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 » (Laurent Hua et Jean Rousseau, Fermat a-t-il démontré son grand théorème ? l'hypothèse "Pascal", L'Harmattan, 2002 (ISBN 978-2-74752836-8), p. 113).
  3. Par exemple Bas Edixhoven (de) et Laurent Moret-Bailly, Théorie algébrique des nombres, cours de maîtrise de mathématiques, université de Rennes I, 2004 [lire en ligne] .
  4. Ne pas confondre avec la fermeture algébrique, ou clôture algébrique.
  5. (en) Leonard Eugene Dickson, History of the Theory of Numbers [détail des éditions], vol. 2
  6. Bhāskara II, Bijaganita (1150), cf (en) John J. O’Connor et Edmund F. Robertson, « Pell's equation », dans MacTutor History of Mathematics archive, université de St Andrews [lire en ligne] ..
  7. J.-L. Lagrange, Solution d'un problème d'arithmétique
  8. La démonstration est technique, on la trouve par exemple sur le site The Gauss class number problem for imaginary quadratic fields par G. Goldfeld

Références

  • (en) David A. Cox, Primes of the Form x2+ny2, Wiley, 1997 (1re éd. 1989) (ISBN 978-0-47119079-0) 
  • (en) G. H. Hardy et E. M. Wright (en), An Introduction to the Theory of Numbers [détail des éditions]
  • (en) Kenneth Ireland et Michael Rosen (de), A Classical Introduction to Modern Number Theory, Springer, 1990 (réimpr. 1998), 2e éd. (ISBN 978-0-38797329-6) 
  • Pierre Samuel, Théorie algébrique des nombres [détail des éditions]
  • Jean-Pierre Serre, Cours d'arithmétique [détail des éditions]

Lien externe

(en) Eric W. Weisstein, « Quadratic Field », MathWorld


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Entier quadratique de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Entier De Dirichlet — Pour les articles homonymes, voir Entier (homonymie). Dirichlet En mathématiques, et plus précisément en arithmétique modulai …   Wikipédia en Français

  • Entier de dirichlet — Pour les articles homonymes, voir Entier (homonymie). Dirichlet En mathématiques, et plus précisément en arithmétique modulai …   Wikipédia en Français

  • Entier Algébrique — Pour les articles homonymes, voir Entier (homonymie). En mathématiques, les entiers algébriques forment une famille de nombres qui généralise l ensemble des nombres entiers dits relatifs. Ils jouent un rôle analogue à ces derniers en théorie… …   Wikipédia en Français

  • Entier algebrique — Entier algébrique Pour les articles homonymes, voir Entier (homonymie). En mathématiques, les entiers algébriques forment une famille de nombres qui généralise l ensemble des nombres entiers dits relatifs. Ils jouent un rôle analogue à ces… …   Wikipédia en Français

  • Entier De Gauss — Pour les articles homonymes, voir Entier (homonymie). Carl Friedrich Gauss. En mathématiques, et plus précisément en …   Wikipédia en Français

  • Entier de gauss — Pour les articles homonymes, voir Entier (homonymie). Carl Friedrich Gauss. En mathématiques, et plus précisément en …   Wikipédia en Français

  • Entier de Dirichlet — Pour les articles homonymes, voir Entier (homonymie). Dirichlet En mathématiques, et plus précisément en arithmétique modulaire, nous appellerons …   Wikipédia en Français

  • Entier algébrique — Pour les articles homonymes, voir Entier (homonymie). En mathématiques, les entiers algébriques forment une famille de nombres qui généralise l ensemble des nombres entiers dits relatifs. Ils jouent un rôle analogue à ces derniers en théorie… …   Wikipédia en Français

  • Entier de Gauss — Pour les articles homonymes, voir Entier (homonymie). Carl Friedrich Gauss. En mathématiques, et plus précisément en théorie algébrique des nombres, un entier de …   Wikipédia en Français

  • Entier d'Eisenstein — Les entiers d Eisenstein sont les points d intersection d un treillis triangulaire dans le plan complexe En mathématiques, les entiers d Eisenstein, nommés en l honneur du mathématicien Gotthold Eisenstein, sont des nombres complexes de la forme …   Wikipédia en Français