Idéal fractionnaire

En mathématiques, et plus précisément en théorie des anneaux, un idéal fractionnaire est une généralisation de la définition d'un idéal. Ce concept doit son origine à la théorie algébrique des nombres. Pour résoudre certaines équations diophantiennes, cette théorie utilise des anneaux d'entiers généralisant celui des entiers relatifs. Ces anneaux (unitaires) ne disposent en général pas d'équivalent du théorème fondamental de l'arithmétique et il n'est pas possible de factoriser un entier en un unique produit de facteurs premiers au groupe des éléments inversibles près. Les idéaux fournissent un équivalent de ce théorème, permettant de résoudre certaines équations diophantiennes ou d'établir des lois de réciprocités équivalentes à la loi de réciprocité quadratique établie par Gauss.

Les idéaux disposent d'une multiplication, cette opération est associative et il existe un élément neutre constitué de l'anneau tout entier. En revanche, le manque d'inverse empêche de munir l'ensemble des idéaux d'une structure de groupe. Dans le cas des anneaux d'entiers, la structure possède toutes les bonnes propriétés pour offrir un contournement. Cette configuration est axiomatisée dans la définition d'un anneau de Dedekind. Dans un premier temps l'anneau est plongé dans son anneau total de fractions, puis la notion d'idéal est généralisée.

Cette notion est aussi utilisée en géométrie algébrique.

Histoire modifier

Ernst Kummer met en évidence le concept de nombre idéal à l'origine des notions d'idéaux et d'idéaux fractionnaires de Richard Dedekind.

Une tentative de Leonhard Euler pour résoudre le dernier théorème de Fermat si n est égal à 3 l'amène à considérer les nombres de la forme a + b $i$ √3, où a et b sont des entiers et $i$ l'unité imaginaire. Sa preuve est fausse : un tel anneau n'est pas factoriel, c'est-à-dire qu'il n'existe pas une unique manière de factoriser un nombre à l'aide de facteurs premiers. Par exemple, 4 est à la fois le carré de l'entier 2 et le produit (1 + $i$ √3)(1 – $i$ √3). Si la mise en œuvre est un peu maladroite, l'idée s'avère bonne. Gauss le montre en étudiant l'anneau des nombres de la forme a + $i$ b, où a et b sont des entiers. Il est euclidien et dispose d'une bonne factorisation. Gotthold Eisenstein découvre le « bon » anneau^[1] pour rendre rigoureuse la démonstration d'Euler. Composé des nombres de la forme a + $j$ b, où $j$ désigne une racine cubique de l'unité, il s'avère aussi être euclidien.

Dans le cas général, il est vain d'espérer trouver une structure euclidienne pour les anneaux d'entiers. Ernst Kummer en comprend la raison profonde, qu'il qualifie de deuxième obstruction. Les équivalents des nombres entiers, sur les anneaux d'entiers algébriques ne sont pas assez « nombreux ». Il ajoute en conséquence ce qu'il appelle des nombres idéaux^[2]. Cette découverte lui permet de démontrer le grand théorème de Fermat pour toutes les valeurs de n inférieures à 100 à l'exception de 37, 59 et 67^[3].

Kummer analyse les entiers algébriques du corps Q[ζ_n], où ζ_n désigne une racine primitive de l'unité, structure maintenant appelée extension cyclotomique. Richard Dedekind et Leopold Kronecker cherchent à généraliser la théorie à toute extension finie des nombres rationnels. Leurs approches sont opposées : Kronecker s'inscrit dans la tradition calculatoire, instaurée par Gauss et suivie par Kummer, tandis que Dedekind cherche une théorie fondée sur les caractéristiques structurelles des anneaux d'entiers, quitte à ne pas disposer d'algorithme effectif^[4]. Cette philosophie l'amène à réécrire quatre fois son traité de la théorie des nombres. La version de 1876 contient la définition moderne d'idéal et d'idéal fractionnaire^[5]. Son approche abstraite le pousse à étudier la structure algébrique des idéaux, et particulièrement leur multiplication. L'adjonction des idéaux fractionnaires assure l'existence d'un inverse. La dernière version de son traité, datée de 1894, montre en toute généralité et sous sa forme moderne l'unicité de la décomposition remplaçant le théorème fondamental de l'arithmétique^[6].

Définitions modifier

Dans tout cet article, A désigne un anneau commutatif (unitaire) et K son anneau total des fractions : si A est intègre (ce qui sera le cas la plupart du temps), K est donc le corps des fractions de A, et dans le cas général, K est l'anneau localisé S⁻¹A de A par rapport au sous-ensemble S des éléments réguliers (c.-à-d. non diviseurs de zéro).

Un sous-A-module M de K est dit inversible^[7] s'il existe un sous-A-module N de K tel que M.N = A, où M.N désigne le sous-module produit engendré par les produits d'éléments de M et de N.
Un idéal fractionnaire de A est une partie de K de la forme d⁻¹J où d est un élément régulier de A et J un idéal de A^[8]. Autrement dit, c'est un sous-A-module M de K tel qu'il existe un élément régulier d de A pour lequel d.M est inclus dans A^[9].Attention à cette appellation trompeuse : un idéal fractionnaire de A n'est pas toujours un idéal de A. En fait les idéaux de A sont exactement, parmi ses idéaux fractionnaires, ceux qui sont inclus dans A.
Un idéal fractionnaire F est dit principal s'il est engendré (comme A-module) par un élément, autrement dit s'il est de la forme F = d⁻¹J où J est un idéal principal de A.
Pour tous sous-A-modules F et G de K, on note (G : F) le sous-module « transporteur de F dans G »^[10] constitué des éléments k de K tels que kF soit inclus dans G, et l'on note F⁻¹ le sous-module (A : F).

On remarque aussitôt que :

tout sous-A-module de K inversible est de type fini^[11] ;
tout sous-A-module de K de type fini est un idéal fractionnaire^[9] ;
pour tous idéaux fractionnaires F non nul et G, (G : F) est un idéal fractionnaire^[9] ;
si un idéal fractionnaire F est inversible alors F⁻¹ est l'unique idéal fractionnaire H tel que H.F = A^[12]. Par conséquent :
- F est inversible si et seulement si le produit F⁻¹.F est égal à A tout entier,
- si F est inversible alors pour tout sous-A-module G de K, (G : F) = G.F⁻¹^[12] ;
l'ensemble des idéaux fractionnaires inversibles forme un groupe abélien (pour le produit défini plus haut), dont le neutre est l'anneau A lui-même.

Caractérisations des anneaux de Dedekind modifier

La définition d'un anneau de Dedekind adoptée par de nombreux auteurs, et reprise dans l'article Anneau de Dedekind est : anneau (commutatif unitaire) intègre, noethérien, intégralement clos, et dont tout idéal premier non nul est maximal. Nous la reprenons ici, mais nous verrons qu'elle équivaut à celle due à Dedekind (anneau dont tout idéal non nul est inversible), plus adaptée à l'objectif d'un analogue, en termes d'idéaux, du théorème fondamental de l'arithmétique.

Théorème — Les propriétés suivantes sont équivalentes :

A est un anneau de Dedekind,
tout idéal premier non nul de A est inversible,
tout idéal non nul de A est inversible,
A est intègre et tout idéal non nul de A est produit d'idéaux maximaux,
A est intègre et tout idéal de A est produit d'idéaux premiers.

De plus, si A est un anneau de Dedekind, la décomposition de tout idéal non nul en produit d'idéaux premiers est unique (à l'ordre près des facteurs).

Démonstration

$1\Rightarrow 2$ : Soit P un idéal premier non nul de A. Le localisé A_P étant un anneau de valuation discrète donc principal, il existe un élément t de P engendrant l'idéal P.A_P de A_P, c'est-à-dire tel que P soit inclus dans t.A_P.

Par ailleurs, A étant noethérien, soit (p₁, ... , p_r) une famille finie génératrice de P. Chaque p_i appartient à tA_P, donc il existe dans A un élément a n'appartenant pas à P tel que les (a/t)p_i appartiennent à A, si bien que (a/t).P est inclus dans A.

Définissons l'idéal fractionnaire Q = A + (a/t)A et vérifions qu'il est inverse de P. Par construction, Q.P est un idéal de A contenant P. Puisqu'il contient aussi l'élément (a/t)t = a qui n'est pas dans P, et que P est maximal, on en déduit que Q.P = A.

$2\Rightarrow 3$ ^[13]^,^[14] : Dans l'ensemble inductif des idéaux non inversibles de A, soit P un élément maximal. Montrons (pour conclure à l'absurde) que P est premier, en supposant qu'il contient un produit ab mais ne contient pas a et en montrant qu'alors il contient b. L'idéal Q := P + aA contenant strictement P, il est inversible, et PQ⁻¹ est un idéal de A non inversible (comme P) et contenant P, donc égal à P (par choix de ce dernier). Or il contient aussi b (puisque P contient bQ). Donc b appartient bien à P.

$3\Rightarrow 4$ + unicité de la décomposition en premiers : L'hypothèse 3 entraîne que A est intègre (car les idéaux principaux non nuls sont inversibles) et noethérien (tout idéal inversible étant de type fini). Soit I un idéal non nul de A, montrons qu'il est produit de maximaux. S'il est égal à A, c'est le cas (sous forme d'un produit indexé par le vide). Sinon, soit $M_{1}$ un idéal maximal contenant I : $M_{1}$ est non nul donc inversible, et $IM_{1}^{-1}$ est un idéal de A contenant strictement I. On construit de cette manière une suite strictement croissante d'idéaux de la forme $IM_{1}^{-1}\ldots M_{n}^{-1}$ qui (par noethérianité) est finie, c'est-à-dire qu'il existe un entier naturel n tel que $IM_{1}^{-1}\ldots M_{n}^{-1}=A$ , d'où $I=M_{1}\ldots M_{n}$ . Montrons maintenant que si $P_{1}\ldots P_{m}=M_{1}\ldots M_{n}$ avec $P_{i}$ premiers alors m=n et (à permutation près) $(P_{1},\ldots ,P_{n})=(M_{1},\ldots ,M_{n})$ . Si m=0 c'est immédiat. Sinon, comme $P_{1}$ est premier et contient le produit $M_{1}\ldots M_{n}$ , il contient l'un d'entre eux, disons par exemple $M_{1}$ donc (par maximalité de $M_{1}$ ) $P_{1}=M_{1}$ . En multipliant l'équation de départ par $M_{1}^{-1}$ il reste $P_{2}\ldots P_{m}=M_{2}\ldots M_{n}$ , d'où (en itérant) le résultat souhaité.

$4\Rightarrow 5$ : Immédiat.

$5\Rightarrow 2$ : cf.

Bourbaki AC VII § 2 exercice 9, ou
(en) Pierre Samuel et Oscar Zariski, Commutative algebra, vol. 1 chap. V § 6 theorem 10, ou encore
théorème 11.149 (attribué à Matusita) dans Szpirglas

(dans ces trois sources, la série d'arguments est la même).

$2\Rightarrow 1$ : Sous l'hypothèse 2 (qui entraîne 3, 4, 5, et l'unicité de la décomposition en premiers), on a déjà vu que A est noethérien et intègre. De plus (cf paragraphe Valuation ci-dessous) on peut associer à chaque idéal premier non nul P de A une valuation v_P sur K de telle sorte que A soit l'intersection des anneaux de valuation associés. Il est donc intégralement clos (voir l'article Élément entier). Tout idéal premier non nul P est maximal (par existence d'une décomposition en maximaux et unicité de la décomposition en premiers). Ainsi, A vérifie toutes les propriétés requises pour être un anneau de Dedekind.

Il en résulte immédiatement que si A est un anneau de Dedekind alors :

le groupe des idéaux fractionnaires inversibles est le plus gros qu'on puisse espérer : il est constitué de l'ensemble Fr (A) de tous les idéaux fractionnaires non nuls (car un tel idéal est de la forme d⁻¹J = J.(dA)⁻¹ avec J idéal de A non nul de A donc inversible) ;
le groupe Fr (A) est le groupe abélien libre sur l'ensemble P(A) des idéaux premiers non nuls de A, c'est-à-dire que tout idéal fractionnaire se décompose de manière unique en un produit fini de puissances positives ou négatives d'idéaux premiers (l'existence d'une telle décomposition pour les idéaux fractionnaires se déduit de celle pour les idéaux, et de l'écriture ci-dessus d'un idéal fractionnaire ; l'unicité également, en se ramenant, par produit, à des puissances positives) ;
un idéal fractionnaire est un idéal de A si et seulement si toutes les puissances, dans sa décomposition en produit d'idéaux premiers, sont positives (« si » est immédiat, « seulement si » se déduit de la fin du théorème).

Valuation modifier

Article détaillé : Valuation.

On suppose ici que A est un anneau vérifiant la propriété 2 du théorème précédent, et toutes ses conséquences (propriétés 3 à 5, intégrité, noethérianité, unicité de la décomposition en premiers). On va expliciter les valuations sur A qui permettent de compléter la preuve de 2 ⇒ 1 dans ce théorème. Dans un premier temps, on se fixe idéal premier non nul P :

P\in P(A)

.

L'unicité de la décomposition en facteurs premiers des idéaux fractionnaires permet, comme pour les entiers naturels ou les rationnels, de définir une valuation sur le groupe multiplicatif Fr(A) :

L'application v_P qui à un idéal fractionnaire F non nul associe l'exposant de P dans sa décomposition en idéaux premiers, et qui associe à l'idéal nul la valeur infinie, est appelée valuation sur Fr(A) en P.

v_{P_{i}}\left(\prod _{j=1}^{n}P_{j}^{\alpha _{j}}\right)=\alpha _{i}\quad {\text{et}}\quad v_{P}(\{0\})=\infty .

Des résultats du paragraphe précédent on déduit immédiatement que pour tous $F,G\in Fr(A)$ :

$v_{P}(F\cdot G)=v_{P}(F)+v_{P}(G)$
$v_{P}(F+G)=\min {\big (}v_{P}(F),v_{P}(G){\big )}$
$v_{P}(F\cap G)=\max {\big (}v_{P}(F),v_{P}(G){\big )}$

Ceci permet de définir une valuation sur K en restreignant v_P aux idéaux fractionnaires principaux non nuls :

l'application qui à un élément k du corps des fractions K de A associe v_P(kA) est appelée valuation sur K en P. Cette application est encore notée v_P.

\forall k\in K^{*},\;v_{P}(k)=v_{P}(kA)\quad {\text{et}}\quad v_{P}(0)=\infty .

Sur K, la famille de valuations (v_P), quand P parcourt maintenant l'ensemble P(A) des idéaux premiers non nuls, vérifie en outre :

Pour tout élément non nul x de A, v_P(x) n'est strictement positif que pour un ensemble fini d'idéaux $P\in P(A)$ (et est nul pour les autres).

Autrement dit, x n'appartient qu'à un nombre fini d'idéaux premiers.

« Théorème d'approximation »^[15] : Soient $P_{1},\ldots ,P_{q}\in P(A)$ distincts, $n_{1},\ldots ,n_{q}\in \mathbb {N}$ et $k_{1},\ldots ,k_{q}\in K$ . Il existe alors $k\in K$ tel que

{\text{pour tout }}i\in [1,q],\quad v_{P_{i}}(k-k_{i})\geq n_{i}{\text{ et}}

{\text{pour tout }}P\in P(A){\text{ distinct des }}P_{i},\quad v_{P}(k)\geq 0.

Groupe des classes d'idéaux modifier

Article détaillé : Groupe des classes d'idéaux.

Les idéaux fractionnaires principaux non nuls forment un sous-groupe du groupe des idéaux fractionnaires non nuls. Le groupe quotient est appelé groupe des classes. Si A est l'anneau des entiers algébriques d'un corps de nombres alors son groupe des classes est d'ordre fini. Ce résultat est une des clés permettant de résoudre des équations diophantiennes et particulièrement celle liée au dernier théorème de Fermat.

Toutes ces propriétés sont étudiées aussi, dans le cadre plus simple des entiers quadratiques, dans l'article Idéal de l'anneau des entiers d'un corps quadratique.

Idéaux divisoriels modifier

Soit F un idéal fractionnaire non nul de A.

Notons F_v l'intersection de tous les idéaux fractionnaires principaux qui contiennent F.

C'est un idéal fractionnaire non nul, et même^[9] : F_v = (F⁻¹)⁻¹.

On dit que F est divisoriel si F_v = F, ou encore si F est l'intersection d'une famille non vide d'idéaux fractionnaires principaux^[9].

F_v est le plus petit idéal divisoriel contenant F^[9].

Si G est divisoriel alors (G : F) est divisoriel^[9].

Notes et références modifier

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Fractional ideal » (voir la liste des auteurs).

↑ John Horton Conway et Richard Guy, Le livre des nombres, Eyrolles, 1998 (ISBN 9782212036381).
↑ (en) H. M. Edwards, « The background of Kummer's proof of Fermat's Last Theorem for regular primes », Arch. History Exact Sci., vol. 14, n^o 3,‎ 1975, p. 219-236 (DOI 10.1007/BF00327448).
↑ E. Kummer, « Sur la théorie des nombres complexes », CRAS, 1847.
↑ Une analyse est proposée en introduction du texte (en) Dedekind's 1871 version of the theory of ideals de Jeremy Avigad, 2004.
↑ R. Dedekind (trad. C. Duverney), Traité sur la théorie des nombres, Genève, Tricorne, 2006 (ISBN 2829302893) — Le livre de Dedekind donnant la définition d'idéal fractionnaire.
↑ (de) R. Dedekind, « Zur Theorie der Ideale », Nachr. der K. Ges. der Wiss. zu Göttingen, 1894.
↑ N. Bourbaki, Algèbre commutative, chap. II, § 5, n^o 4.
↑ Définition 11.112 de Aviva Szpirglas, Algèbre L3 : Cours complet avec 400 tests et exercices corrigés [détail des éditions], chapitre Idéaux inversibles – Anneaux de Dedekind mis en ligne par Lionel Ducos (université de Poitiers), collaborateur de ce livre.
↑ ^{a b c d e f et g} Bourbaki AC, chap. VII, § 1, n^o 1.
↑ Bourbaki AC, chap. I, § 2, n^o 10.
↑ Szpirglas, Proposition 11.115.
↑ ^{a et b} Bourbaki AC, chap. II, § 5, n^o 6.
↑ Szpirglas, Théorème 11.148.
↑ (en) Tsit Yuen Lam et Manuel Lionel Reyes, « A prime ideal principle in commutative algebra », J. Algebra, vol. 319, n^o 7,‎ 2008, p. 3006-3027 (lire en ligne), Cor. 3.15.
↑ Jean-Pierre Serre, Corps locaux [détail des éditions] p. 23, ou Bourbaki AC, VII § 2, n^o 4.

Voir aussi modifier

Lien externe modifier

Bas Edixhoven et Laurent Moret-Bailly, Théorie algébrique des nombres, cours de maîtrise de mathématiques, université de Rennes 1, 2004 (lire en ligne)

Ouvrages modifier

Historique modifier

(en) H. M. Edwards, Divisor Theory, Modern Birkhäuser Classics, Boston, 1990 (ISBN 978-0-81763448-3)

Mathématiques modifier

(en) G. H. Hardy et E. M. Wright, An Introduction to the Theory of Numbers (1^re éd. 1938) [détail des éditions]
Pierre Samuel, Théorie algébrique des nombres [détail de l’édition]
Jean-Pierre Serre, Cours d'arithmétique, 1970 [détail des éditions]

Portail de l’algèbre

[1] John Horton Conway et Richard Guy, Le livre des nombres, Eyrolles, 1998 (ISBN 9782212036381).

[2] (en) H. M. Edwards, « The background of Kummer's proof of Fermat's Last Theorem for regular primes », Arch. History Exact Sci., vol. 14, n^o 3,‎ 1975, p. 219-236 (DOI 10.1007/BF00327448).

[3] E. Kummer, « Sur la théorie des nombres complexes », CRAS, 1847.

[4] Une analyse est proposée en introduction du texte (en) Dedekind's 1871 version of the theory of ideals de Jeremy Avigad, 2004.

[5] R. Dedekind (trad. C. Duverney), Traité sur la théorie des nombres, Genève, Tricorne, 2006 (ISBN 2829302893) — Le livre de Dedekind donnant la définition d'idéal fractionnaire.

[6] (de) R. Dedekind, « Zur Theorie der Ideale », Nachr. der K. Ges. der Wiss. zu Göttingen, 1894.

[7] N. Bourbaki, Algèbre commutative, chap. II, § 5, n^o 4.

[8] Définition 11.112 de Aviva Szpirglas, Algèbre L3 : Cours complet avec 400 tests et exercices corrigés [détail des éditions], chapitre Idéaux inversibles – Anneaux de Dedekind mis en ligne par Lionel Ducos (université de Poitiers), collaborateur de ce livre.

[Bourbaki_ACchap._VII,_§_1,_<abbr_class="abbr"_title="numéro">n<sup>o</sup></abbr>&nbsp;1-9] {a b c d e f et g} Bourbaki AC, chap. VII, § 1, n^o 1.

[Bourbaki_ACchap._I,_§_2,_<abbr_class="abbr"_title="numéro">n<sup>o</sup></abbr>&nbsp;10-10] Bourbaki AC, chap. I, § 2, n^o 10.

[SzpirglasProposition_11.115-11] Szpirglas, Proposition 11.115.

[Bourbaki_ACchap._II,_§_5,_<abbr_class="abbr"_title="numéro">n<sup>o</sup></abbr>&nbsp;6-12] {a et b} Bourbaki AC, chap. II, § 5, n^o 6.

[SzpirglasThéorème_11.148-13] Szpirglas, Théorème 11.148.

[14] (en) Tsit Yuen Lam et Manuel Lionel Reyes, « A prime ideal principle in commutative algebra », J. Algebra, vol. 319, n^o 7,‎ 2008, p. 3006-3027 (lire en ligne), Cor. 3.15.

[15] Jean-Pierre Serre, Corps locaux [détail des éditions] p. 23, ou Bourbaki AC, VII § 2, n^o 4.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]