Anneau factoriel

En mathématiques, un anneau factoriel est un cas particulier d'anneau intègre. À l'image des nombres entiers, il existe un équivalent du théorème fondamental de l'arithmétique pour une telle structure. Tout élément d'un anneau factoriel se décompose en un produit d'un élément inversible et d'éléments irréductibles, cette décomposition étant unique aux éléments inversibles près[1]. Par exemple dans Z, l'anneau des entiers relatifs, –2 est irréductible.

Les exemples d'anneau factoriel ne sont pas rares. Tout anneau principal (c'est-à-dire intègre et dont tout idéal est principal) est factoriel. La réciproque n'est pas vraie. Ainsi un anneau de polynômes à coefficients dans un anneau factoriel k est toujours factoriel lui aussi, mais n'est principal que si l'anneau k est un corps. En ce sens, le concept d'anneau factoriel généralise celui d'anneau principal. Il peut être à son tour généralisé en abandonnant l'hypothèse d'unicité de la décomposition en produit de facteurs irréductibles. On obtient ainsi la classe plus large des anneaux atomiques.

Certains résultats usuels de l'arithmétique élémentaire s'appliquent sur un anneau factoriel. Ainsi, le lemme d'Euclide est vérifié et il est possible de définir un plus grand commun diviseur et un plus petit commun multiple bénéficiant presque des propriétés usuelles sur Z.

Définitions

Dans tout ce paragraphe, A désigne un anneau intègre. Le groupe des unités est constitué des éléments qui possèdent un inverse dans A.

La notion d'anneau factoriel s'appuie sur trois définitions :

un élément de A est dit irréductible s'il n'est ni inversible, ni produit de deux éléments non inversibles ;
deux éléments a et b non nuls de A sont dits associés s'il existe un élément inversible u tel que a = ub (cette relation est une relation d'équivalence) ;
un élément p de A est dit premier s'il est non nul et non inversible et vérifie le lemme d'Euclide, c'est-à-dire si pour tout produit ab multiple de p, a ou b est multiple de p.

La définition la plus courante d'anneau factoriel est :

A est dit factoriel s'il vérifie les deux propriétés suivantes :

Pour tout élément a de A, non nul et non inversible, il existe une suite finie p₁,…, p_n d'éléments irréductibles de A dont a est le produit :
$a=p_{1}\cdots p_{n}\;$
Si, pour un tel élément a, on a deux telles suites p₁, …, p_n et q₁, …, q_m, alors m = n et il existe une permutation σ de l'ensemble {1, … , n} ainsi que des éléments inversibles u₁, …, u_n tels que p_i = u_iq_σ(i) pour tout i (la décomposition de a est unique à l'ordre des facteurs et à association près).

C'est cette définition qui est utilisée dans la suite mais on verra, grâce aux premières propriétés ci-dessous, qu'elle équivaut à une définition plus simple :

A est dit factoriel si tout élément non nul et non inversible de A est un produit d'éléments premiers.

Exemple : L'anneau Z des entiers relatifs est factoriel. Ses éléments inversibles sont –1 et 1, donc deux entiers non nuls sont associés lorsqu'ils sont égaux ou opposés. Ses éléments irréductibles sont les entiers naturels premiers et leurs opposés. Tout élément non nul de Z se décompose en un produit d'éléments irréductibles. Par exemple, –28 se décompose en (–2).2.7. On pourrait aussi le décomposer par exemple en (–7).2.2 mais cette dernière décomposition est considérée comme la même que la première, car elle s'en déduit en permutant les facteurs et en les multipliant par des inversibles.

Certains anneaux possèdent des éléments irréductibles particuliers, ainsi un élément irréductible et positif de Z est appelé nombre premier. Dans K[X] (si K est un corps), les éléments particuliers sont les polynômes irréductibles unitaires, c'est-à-dire dont le coefficient du monôme dominant est égal à 1. Chaque classe d'équivalence contient un unique élément irréductible particulier. Cette approche permet de normaliser la décomposition en facteurs irréductibles de telle sorte que l'unicité soit absolue, et plus seulement à permutation et association près.

Il est toujours possible d'établir une normalisation de cette nature. Il suffit de définir une famille (p_i) d'éléments irréductibles telle que si i est différent de j alors p_i n'est pas associé à p_j et tout élément irréductible est associé à un p_i. L'axiome du choix montre qu'il est toujours possible de trouver une famille maximale d'éléments irréductibles deux à deux non associés : on prend un représentant par classe d'association d'éléments irréductibles. Cette normalisation est utilisée dans la suite de l'article : elle n'est pas nécessaire mais permet d'alléger les énoncés. Un élément a non nul d'un anneau factoriel s'écrit ainsi de façon unique :

a=u\prod _{i\in I}p_{i}^{v_{p_{i}}(a)}~,

où u est un élément inversible. La fonction v_{p_i}, de A dans l'ensemble N des entiers naturels, s'appelle une valuation p-adique. La valeur v_{p_i}(a) est aussi appelée ordre de multiplicité de p_i dans a.

Dans la suite de l'article A désigne un anneau factoriel et (p_i) une telle famille d'éléments irréductibles (sauf mention explicite contraire).

Motivation

L'arithmétique dans l'anneau des entiers relatifs permet la démonstration de nombreux théorèmes. Les démonstrations utilisent le fait que cet anneau est euclidien donc principal. En revanche, de nombreux anneaux ne le sont pas, par exemple celui des polynômes à coefficients dans les entiers relatifs ou encore les polynômes en plusieurs indéterminées sur un corps commutatif.

Ce dernier exemple est important : les variétés algébriques sont définies comme les racines d'un idéal de polynômes à plusieurs variables. Ainsi la sphère réelle est définie comme les racines communes des polynômes à trois indéterminées multiples de X² + Y² + Z² – 1. L'anneau des fonctions polynomiales définies sur la sphère n'est ni euclidien, ni même principal. En revanche, il est factoriel[2].

Sur un anneau factoriel, certains théorèmes fondamentaux des anneaux principaux restent vrais. Ainsi, le lemme d'Euclide, les propriétés des plus petits communs multiples et des plus grands communs diviseurs ou encore le théorème fondamental de l'arithmétique restent valables (ce dernier est vérifié par définition).

Tous ne s'appliquent plus, ainsi un idéal premier n'est pas toujours maximal. Dans Z[X], l'anneau des polynômes à coefficients dans l'anneau Z des entiers relatifs, l'idéal 2Z[X] n'est pas maximal et Z[X]/2Z[X] n'est pas un corps car la classe de X n'est pas inversible. L'identité de Bézout n'est pas toujours vérifiée : dans Z[X], les éléments 2 et X n'ont pas de facteur commun, pourtant l'idéal engendré par 2 et X n'est pas l'anneau tout entier. En fait, un anneau factoriel dans lequel l'identité de Bézout est satisfaite est un anneau principal[3].

Exemples et contre-exemples

L'anneau Z est un exemple simple d'anneau factoriel. Un autre exemple est l'anneau Z[i] des entiers de Gauss : les complexes s'écrivant sous la forme a + ib où a et b sont des entiers relatifs.
Si K est un corps alors l'anneau K[X] des polynômes à coefficients dans K est factoriel. Plus généralement, dès que A est factoriel, il en est de même de A[X₁, … , X_n].
On démontre que tout anneau principal (à plus forte raison tout anneau euclidien) est aussi factoriel.
Un anneau d'entiers quadratiques non factoriel (bien qu'intégralement clos) est Z[i√5]. Par exemple, 6 se décompose à la fois en 2 x 3 et en (1 + i√5) x (1 - i√5).
Parmi les Z[ζ] où ζ est une racine de l'unité, seuls trente sont factoriels. Par exemple, Z[ $e i2π/ n$ ] est factoriel pour 1 ≤ n ≤ 22, mais pas pour n = 23. Pour trouver une solution très générale à cette difficulté, Ernst Kummer crée des nombres idéaux, maintenant formalisés par les travaux de Richard Dedekind à travers le concept d'anneau de Dedekind.
Tout sous-anneau strictement compris entre Z et Z[ $e i2π/3$ ] est non factoriel (car non intégralement clos). Un contre-exemple célèbre est le sous-anneau Z[i√3], dans lequel 4 possède deux décompositions différentes : 4 = 2 × 2 = (1 + i√3)(1 – i√3). On soupçonne fortement que Leonhard Euler se soit implicitement appuyé sur la factorialité de Z[i√3] pour un argument important et non justifié de sa démonstration du dernier théorème de Fermat dans le cas n = 3 (Algebra 1770).
Un contre-exemple « géométrique » est celui du quotient de K[X, Y, Z] par l'idéal engendré par X² – YZ. Soit p l'application de passage au quotient ; p(X²) admet deux décompositions distinctes en facteurs irréductibles : on a p(X²) = p(X)p(X) mais aussi p(X²) = p(Y)p(Z).
Un contre-exemple de même nature est l'anneau des polynômes trigonométriques[4], dans lequel sin² = (1 + cos)(1 – cos). Il est isomorphe au quotient de K[X, Y] par l'idéal engendré par X² + Y² – 1 = Y² – (1 + X)(1– X) ou encore, au quotient du contre-exemple précédent par l'idéal engendré par p(Y + Z – 2).
Un contre-exemple plus anecdotique est celui de l'anneau Z/4Z : tout élément non nul et non inversible s'y écrit de façon unique (à association près) comme produit d'éléments irréductibles, mais Z/4Z n'est pas factoriel faute d'intégrité.

Propriétés

Premières propriétés

Tout anneau factoriel est un anneau à PGCD.
Voir la section suivante pour plus de détails. Un tel anneau vérifie le lemme de Gauss. Par conséquent :
- Dans un anneau factoriel, tout élément irréductible est premier.
- Tout anneau factoriel A est intégralement clos.
  Autrement dit : les seuls éléments de son corps des fractions qui sont entiers sur A (c'est-à-dire racines d'un polynôme unitaire à coefficients dans A) sont les éléments de A.

Un anneau intègre est factoriel si et seulement s'il vérifie les deux propriétés suivantes :

(1) Toute suite croissante d'idéaux principaux est stationnaire.

(2) Tout élément irréductible est premier.

Démonstration

Si A vérifie les deux propriétés (1) et (2) alors il est factoriel : voir par exemple Antoine Chambert-Loir, « Algèbre commutative », université de Rennes 1, 2005, p. 66-68 ou le paragraphe « Factorialité de A, décomposition primaire » dans la leçon sur les anneaux sur Wikiversité.
Si l'anneau est factoriel alors il vérifie les propriétés (1) et (2) :
Soit σ la fonction de A\{0} dans l'ensemble N des entiers naturels qui à a associe le nombre de facteurs non inversibles dans la décomposition en facteurs irréductibles de a. L'unicité de la décomposition dans un anneau factoriel montre que la fonction σ est bien définie.
Soit a et b deux éléments non nuls de A. L'unicité de la décomposition montre aussi que σ(ab) = σ(a) + σ(b). Ainsi si c divise strictement a, alors σ(a) est strictement plus grand que σ(c).
- Toute suite croissante d'idéaux principaux est stationnaire :
  Soit (a_nA) une suite croissante d'idéaux principaux. Si la suite (a_n) est constante égale à 0, la suite est stationnaire. Sinon, quitte à réindexer la suite, supposons que a₀ n'est pas nul. Dire que l'idéal a_n+1A contient strictement l'idéal a_nA signifie que a_n+1 divise strictement a_n. Cela ne peut arriver que pour un nombre fini (inférieur ou égal à σ(a₀)) d'entiers n, ce qui montre que la suite est constante à partir d'un certain rang, c'est-à-dire stationnaire.
- Tout élément irréductible est premier :
  C'est le lemme d'Euclide.

On en déduit par exemple[5] :

Tout anneau principal est factoriel.

Par ailleurs, dans l'article « Anneau principal », on démontre :

Tout anneau de Dedekind factoriel est principal.

Diviseur et multiple communs

Soit (a_n) une famille d'éléments non nuls de A.

Le plus grand commun diviseur de ces éléments est, parmi les diviseurs communs aux a_n, celui qui est multiple de tous les autres. Il est unique à produit près par un inversible : c'est le produit de tous les irréductibles p_i présents dans la décomposition en facteurs irréductibles de chaque a_n, affectés chacun d'un exposant égal au plus petit de ses ordres de multiplicité dans les a_n.
Le plus petit commun multiple des a_n est, parmi les multiples communs (s'il en existe) à ces éléments, celui qui est diviseur de tous les autres. Il est unique à produit près par un inversible s'il existe (ce qui est toujours le cas si l'ensemble des a_n est fini) : c'est le produit des facteurs p_i présents dans la décomposition en facteurs irréductibles d'au moins l'un des a_n, affectés chacun d'un exposant égal au plus grand de ses ordres de multiplicité dans les a_n.
Les a_n sont dits premiers entre eux, ou premiers entre eux dans leur ensemble, si leur plus grand diviseur commun est égal à 1. Ils sont dits premiers entre eux deux à deux si pour toute paire {m, n} d'indices, a_m et a_n sont premiers entre eux.

Ces définitions généralisent les notions de plus petit commun multiple et plus grand commun diviseur. Dans ce contexte, certaines des propriétés vraies sur un anneau principal s'appliquent encore, d'autres non. La relation d'ordre partiel utilisée ici (ou plus exactement : de préordre partiel) est la divisibilité : a est plus petit que b si c'est un diviseur de b. Elle se traduit en termes d'idéaux par l'ordre inverse de l'inclusion : a est plus petit que b si l'idéal engendré par a contient l'idéal engendré par b.

Soient (a_n) une famille d'éléments non nuls de A et a, b deux éléments non nuls de A.

Il existe un élément inversible u tel que ${\text{pgcd}}(ba_{n})=u~b~{\text{pgcd}}(a_{n}).$
Si la famille (a_n) est finie, il existe un élément inversible u tel que ${\text{ppcm}}(ba_{n})=u~b~{\text{ppcm}}(a_{n}).$
Si la famille (a_n) est finie et si les a_n sont premiers entre eux deux à deux, il existe un élément inversible u tel que ${\text{ppcm}}(a_{n})=u~\prod _{n}a_{n}.$
Il existe un élément inversible u tel que $ab=u~{\text{ppcm}}(a,b)~{\text{pgcd}}(a,b).$
Le plus petit idéal principal contenant tous les a_n est l'idéal engendré par le plus grand commun diviseur des a_n.

En effet, il suffit de remarquer qu'un idéal principal, engendré par un élément d, contient tous les a_n si et seulement si d divise tous les a_n, c'est-à-dire divise leur plus grand commun diviseur, autrement dit si cet idéal contient celui engendré par le plus grand commun diviseur. Ce plus petit idéal principal contenant tous les a_n contient l'idéal engendré par la famille, mais lorsque ce dernier n'est pas principal, l'inclusion est stricte. Ainsi dans Z[X], l'idéal engendré par 2 et X est l'ensemble des polynômes dont le terme constant est pair, mais le plus petit idéal principal le contenant est l'anneau entier. Dans un anneau principal, les deux idéaux sont égaux. Ce résultat est connu sous le nom de théorème de Bachet-Bézout.

Si les a_n admettent un plus petit commun multiple, l'intersection des idéaux engendrés par les a_n est l'idéal principal engendré par ce plus petit commun multiple.
Si R désigne la relation d'équivalence d'association définie dans le paragraphe « Définitions » et A* l'ensemble des éléments non nuls de l'anneau, alors l'ensemble quotient A*/R des classes d'association, muni des opérateurs pgcd et ppcm, forme un treillis.

Anneaux des polynômes

Les anneaux de polynômes représentent la première motivation historique pour les anneaux factoriels. Si les coefficients sont choisis dans un corps commutatif, l'anneau dispose d'une division euclidienne, dans le cas contraire une autre arithmétique apparaît. En 1801, Carl Friedrich Gauss publie un traité[6] au début duquel il montre une propriété, appelée aujourd'hui lemme de Gauss sur les polynômes, qui est le cas particulier pour l'anneau Z du lemme ci-dessous sur les « contenus ».

Dans ce paragraphe A désigne un anneau factoriel et K son corps des fractions. Il est utile, pour étudier les polynômes à coefficients dans A, d'expliciter deux définitions :

Un polynôme P de A[X] est dit primitif si les seuls éléments de A divisant tous les coefficients de P à la fois sont les inversibles, autrement dit si P n'est pas divisible par un polynôme constant non inversible.
Le contenu d'un polynôme P non nul à coefficients dans K est un élément a de K tel qu'il existe un polynôme primitif Q de A[X] tel que aQ soit égal à P. Dans cet article, on note cont(P) le contenu de P[7] :

P={\text{cont}}(P)Q,\quad {\text{cont}}(P)\in K,\quad Q\in A[X],\quad Q\ {\text{primitif}}.

Parmi les propriétés suivantes, les deux premières donnent un sens à cette définition du contenu :

Tout polynôme non nul à coefficients dans A (resp. K) possède un contenu appartenant à A (resp. K).
Le contenu d'un polynôme est unique à produit près par un élément inversible de A.
Soient P et Q deux polynômes non nuls à coefficients dans K, l'égalité suivante est vérifiée, à produit près par un élément inversible de A : ${\text{cont}}(PQ)={\text{cont}}(P){\text{cont}}(Q).$

Le résultat suivant est connu sous le nom de lemme de Gauss dans le cas où A est l'anneau ℤ des entiers relatifs :

Un polynôme non constant à coefficients dans A est irréductible dans A[X] si et seulement s'il est primitif dans A[X] et irréductible dans K[X].

On en déduit le corollaire suivant :

Pour tout entier naturel n, l'anneau de polynômes en n indéterminées A[X₁, …, X_n] est factoriel[8].

Démonstrations

Tout polynôme P non nul à coefficients dans A (resp. K) possède un contenu appartenant à A (resp. K) :
Si P est à coefficients dans A, il suffit de poser cont(P) = le pgcd de ses coefficients : le quotient de P par cet élément de A sera bien primitif. Si maintenant les coefficients de P sont seulement dans K, c'est-à-dire sont des fractions d'éléments de A, on se ramène au cas précédent en réduisant ces fractions à un dénominateur commun b (par exemple le produit de leurs dénominateurs respectifs) : P s'écrit R / b avec b élément non nul de A et R polynôme à coefficients dans A, auquel le début du raisonnement s'applique. De R = cont(R)Q avec Q primitif on déduit ainsi P = (cont(R) / b)Q, ce qui montre la proposition.
Le contenu d'un polynôme non nul est unique à produit près par un élément inversible de A :
Si P est à coefficients dans A, son contenu ne peut être que le pgcd de ses coefficients. Il est donc déterminé de façon unique à produit près par un inversible. Si maintenant P = R / b avec les mêmes notations que précédemment, de P = cont(P)Q on déduit R = b.cont(P)Q donc cont(R) = b.cont(P), si bien que le contenu de P, égal au quotient par b de celui de R, est, comme lui, déterminé de façon unique à produit près par un inversible.
Soient P et Q deux polynômes non nuls à coefficients dans K, l'égalité suivante est vérifiée, à produit près par un élément inversible de A[9] : ${\text{cont}}(PQ)={\text{cont}}(P){\text{cont}}(Q)$ Par définition du contenu, on peut supposer que P et Q sont à coefficients dans A, et il suffit de montrer qu'alors, s'ils sont primitifs, leur produit l'est aussi. Or si p est un élément irréductible de A et si r (resp. s) est le plus grand des indices des coefficients de P (resp. Q) non divisibles par p, alors le coefficient d'indice r + s de PQ est une somme de produits dont tous sauf un sont divisibles par p, de sorte que cette somme n'est pas divisible par p. (Une variante plus abstraite de ce raisonnement est la suivante : p est premier dans A puisque A est factoriel, donc A/pA est intègre, donc l'anneau (A/pA)[X] l'est aussi. Comme P et Q sont primitifs, leurs images par le morphisme canonique de A[X] dans (A/pA)[X] sont non nulles, donc l'image de PQ, produit de ces deux images, est aussi non nulle.) Ainsi, aucun élément irréductible p de A n'est un diviseur commun à tous les coefficients de PQ, et ce polynôme produit est donc bien primitif.
Soit P un polynôme non constant à coefficients dans A. Le polynôme est irréductible dans A[X] si et seulement s'il est primitif dans A[X] et irréductible dans K[X] :
Il s'agit de prouver que si P est irréductible dans A[X] alors il est primitif, et que si P est primitif alors son irréductibilité (ou sa réductibilité) dans A[X] équivaut à celle dans K[X].
Supposons P irréductible dans A[X] et observons la décomposition P = cont(P)Q : les deux facteurs sont dans A[X], donc l'un des deux doit être inversible, or ce ne peut pas être Q (qui est de même degré que P). Par conséquent cont(P) est inversible dans A[X] donc dans A, si bien que P est primitif.
Supposons maintenant P primitif et montrons qu'il est réductible dans K[X] si et seulement s'il l'est dans A[X]. Si P est réductible dans K[X] alors il existe deux polynômes B et C dans K[X], non nuls et non inversibles, donc non constants, tels que P = B.C. La proposition précédente montre l'existence dans A[X] de deux polynômes Q et R de mêmes degrés respectifs que B et C, donc non inversibles, tels que : $P={\text{cont}}(BC)QR={\text{cont}}(P)QR=QR,$ si bien que P est réductible dans A[X]. Réciproquement, si P est réductible dans A[X], c'est-à-dire produit de deux éléments non inversibles de A[X] alors (comme P est primitif) les deux facteurs sont non constants, donc non inversibles dans K[X], si bien que P est réductible dans K[X].
L'anneau A[X] est factoriel[10] :
La méthode usuelle, pour démontrer l'existence et l'"unicité" (à permutation et association près) de la décomposition d'un élément non nul P de A[X] en produit d'irréductibles, consiste à utiliser sa décomposition dans l'anneau K[X], dont on sait qu'il est factoriel (et même euclidien).
Soit P = P₁ … P_m une décomposition de P en produit d'éléments irréductibles P_i de K[X]. Pour chaque indice i, notons c_i « le » contenu (à produit près par une unité de A) de P_i, et Q_i le polynôme primitif P_i/c_i. D'après la proposition précédente, les Q_i sont irréductibles dans A[X]. Or P = c Q₁ … Q_m, en notant c le produit des c_i. Cet élément c est égal au contenu de P, donc il appartient à A. Notons alors c = p₁ … p_n « sa » décomposition en irréductibles dans A. On obtient une décomposition de P en produit d'irréductibles de A[X] : P = p₁ … p_nQ₁ … Q_m.
Si P = r₁ … r_n'S₁ … S_m' en est une autre (en distinguant de même parmi les facteurs, par des notations différentes, polynômes constants et non constants) alors, par "unicité" de la décomposition de P dans K[X], m' = m et (quitte à réordonner les S_i) S_i = u_iQ_i où u_i est a priori dans K, mais est en fait égal au contenu de S_i, donc est un élément inversible de A. Par élimination, les deux produits p₁ … p_n et r₁ … r_n' sont donc associés dans A. Par factorialité de A, ils ont alors (même nombre de facteurs, n' = n et) mêmes facteurs (à permutation et association près), ce qui termine la preuve d'unicité de la décomposition de P dans A[X].
Soit n un entier naturel, l'anneau A[X₁, … , X_n] est factoriel :
Cette proposition (immédiate pour n = 0 puisqu'il s'agit alors de l'anneau A) se déduit de la précédente par récurrence sur le nombre n d'indéterminées, en utilisant l'isomorphisme naturel d'anneaux entre A[X₁, … , X_{n – 1}][X_n] et A[X₁, … , X_n].

La propriété précédente admet une réciproque dont la preuve est aisée : si un anneau A est tel que A[X] soit factoriel, alors A est factoriel.

Notes et références

Dans un anneau noethérien, la décomposition existe, mais n'est pas unique en général.
(en) Pierre Samuel, « Unique Factorization », Amer. Math. Month., vol. 75, n^o 9,‎ novembre 1968, p. 945-952 (lire en ligne) le démontre comme exemple d'application d'un théorème de Nagata (réciproque partielle du fait que tout anneau de fractions d'un anneau factoriel est factoriel).
Cette caractérisation est énoncée dans l'exercice 6 du chapitre 2 de Daniel Perrin, Cours d'algèbre [détail des éditions], p. 61, avec la précision que l'hypothèse de noethérianité n'est pas nécessaire.
(en) Hale F. Trotter, « An Overlooked Example of Nonunique Factorization », Amer. Math. Month., vol. 95, n^o 4,‎ avril 1988, p. 339-342 (lire en ligne).
Voir par exemple le paragraphe « Factorialité de A, décomposition primaire » dans la leçon sur les anneaux sur Wikiversité..
Carl Friedrich Gauss, Disquisitiones arithmeticae, 1801 [détail des éditions], § 42.
On trouve ces deux définitions, par exemple sur la page Théorème de permanence de la factorialité(Gauss) du site les-mathematiques.net. Certains auteurs choisissent de définir uniquement le contenu d'un polynôme à coefficients dans A[X], par exemple Chambert-Loir 2005, p. 73.
Ce théorème s'étend à tout anneau de polynômes en une infinité d'indéterminées, en utilisant qu'un tel anneau est la réunion de ses sous-anneaux de polynômes en un nombre fini d'indéterminées : cf. N. Bourbaki, Éléments de mathématique, AC VII § 3, exercice 2.
La démonstration est tirée de (en) Serge Lang, Algebra, Addison-Wesley, 1965, p. 127.
Les deux dernières démonstrations s'inspirent de Lang 1965, p. 126-128.

Voir aussi

(en) P. M. Cohn, « Unique Factorization Domains », Amer. Math. Month., vol. 80, n^o 1,‎ janvier 1973, p. 1-18 (DOI 10.2307/2319253) — Généralités sur la factorialité, incluant le cas des anneaux non commutatifs.

Portail de l’algèbre

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] Dans un anneau noethérien, la décomposition existe, mais n'est pas unique en général.

[2] (en) Pierre Samuel, « Unique Factorization », Amer. Math. Month., vol. 75, n^o 9,‎ novembre 1968, p. 945-952 (lire en ligne) le démontre comme exemple d'application d'un théorème de Nagata (réciproque partielle du fait que tout anneau de fractions d'un anneau factoriel est factoriel).

[3] Cette caractérisation est énoncée dans l'exercice 6 du chapitre 2 de Daniel Perrin, Cours d'algèbre [détail des éditions], p. 61, avec la précision que l'hypothèse de noethérianité n'est pas nécessaire.

[4] (en) Hale F. Trotter, « An Overlooked Example of Nonunique Factorization », Amer. Math. Month., vol. 95, n^o 4,‎ avril 1988, p. 339-342 (lire en ligne).

[5] Voir par exemple le paragraphe « Factorialité de A, décomposition primaire » dans la leçon sur les anneaux sur Wikiversité..

[6] Carl Friedrich Gauss, Disquisitiones arithmeticae, 1801 [détail des éditions], § 42.

[7] On trouve ces deux définitions, par exemple sur la page Théorème de permanence de la factorialité(Gauss) du site les-mathematiques.net. Certains auteurs choisissent de définir uniquement le contenu d'un polynôme à coefficients dans A[X], par exemple Chambert-Loir 2005, p. 73.

[8] Ce théorème s'étend à tout anneau de polynômes en une infinité d'indéterminées, en utilisant qu'un tel anneau est la réunion de ses sous-anneaux de polynômes en un nombre fini d'indéterminées : cf. N. Bourbaki, Éléments de mathématique, AC VII § 3, exercice 2.

[9] La démonstration est tirée de (en) Serge Lang, Algebra, Addison-Wesley, 1965, p. 127.

[10] Les deux dernières démonstrations s'inspirent de Lang 1965, p. 126-128.