Anneau factoriel 251143 29209105 2008-05-02T19:16:03Z 90.40.219.107 En [[mathématiques]], un '''anneau factoriel''' est un cas particulier d'[[anneau]] [[commutatif]], unitaire et [[anneau intègre|intègre]]. A l'image des [[entier relatif|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. Un élément irréductible est un élément qui, dans une décomposition en produit de deux facteurs, contient toujours un [[groupe des unités|élément inversible]]. Par exemple dans ''Z'', l'anneau des entiers, -2 est irréductible. La décomposition en facteurs irréductibles est unique dans un anneau factoriel, aux éléments inversibles près. Les exemples d' '''anneau factoriel''' ne sont pas rares. Tout [[anneau principal]], c'est-à-dire tel que tout [[idéal]] est [[idéal principal|principal]] est factoriel. La réciproque n'est pas vraie. Ainsi un anneau de [[polynôme]]s à coefficients dans un anneau factoriel est factoriel mais n'est pas principal si l'anneau n'est pas un [[corps (mathématiques)|corps]]. En ce sens, le concept d'anneau factoriel généralise celui d'anneau principal. 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 == Une première définition est nécessaire pour exprimer celle d'anneau factoriel : :* Un élément ''a'' non nul d'un anneau commutatif unitaire et intègre est dit '''irréductible''' si et seulement s'il n'est pas inversible et si toute décomposition en deux facteurs ''b'' et ''c'' de ''a'', ''a'' = ''b''.''c'' comporte un élément inversible (soit ''b'' soit ''c''). La définition la plus courante d'anneau factoriel est : :* Un anneau commutatif unitaire intègre ''A'' est dit '''factoriel''' si et seulement s'il vérifie les deux propriétés suivantes : (1) Pour tout élément ''a'' non nul de ''A'', il existe un élément inversible ''u'' est une suite finie ''p''<sub>1</sub>, …, ''p''<sub>n</sub> d'éléments irréductibles de ''A'' tel que : <center><math>a = u p_1\cdots p_n\;</math></center> (2) La decomposition est unique au sens suivant. Soit ''v'' un élément inversible et ''q''<sub>1</sub> … ''q''<sub>m</sub> une deuxième décomposition de ''a'' : <center><math>a = u p_1\cdots p_n= v q_1\cdots q_m \;</math></center> alors ''n'' est égal à ''m'' et il existe une [[permutation]] <math>\sigma</math> de l'ensemble [1, ''n''] et des éléments inversibles ''w''<sub>i</sub> tel que : <center><math> \forall i \in [1,n ]\quad p_i = w_iq_{\sigma (i)}\;</math><ref>Cette définition est par exemple utilisée dans p 66 dans le site : [http://perso.univ-rennes1.fr/antoine.chambert-loir/2005-06/g1/algcom-p6.pdf Algèbre commutative] par A. Chambert-Loir de l'Université de Rennes I</ref></center> </br> Dans un anneau factoriel ''A'', il est possible de définir une ''relation d'association'' entre éléments irréductibles. Deux éléments irréductible ''p'' et ''q'' de ''A'' sont associés s'il existe un élément inversible ''u'' tel que ''p'' = ''u.q''. Cette relation est une relation d'équivalence. Certains anneaux possèdent des éléments irréductibles particuliers, ainsi un élément irréductible et positif de ''Z'' est appelé nombre premiers. Dans ''K''[''X''] les éléments particuliers sont les polynômes irréductibles unitaires, c'est-à-dire dont le coefficient du monôme dominant est égal à ''un''. 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é ne soit plus définie aux éléments inversibles près. Il est toujours possible d'établir une normalisation de cette nature. Il suffit de définir une famille (''p''<sub>i</sub>) d'éléments irréductibles tel que si ''i'' est différent de ''j'' alors ''p''<sub>i</sub> n'est pas associé à ''p''<sub>j</sub> et si π est un élément irréductible il existe un indice ''i'' tel que π est associé à ''p''<sub>i</sub>. Le [[lemme de Zorn]] montre qu'il est toujours possible de trouver une famille maximale d'éléments irréductibles deux à deux non associés. Cette normalisation est utilisée dans la suite de l'article pour ne pas alourdir les énoncées. Elle n'est pas nécessaire, cependant les unicités s'expriment alors aux éléments inversibles près. Un élément ''a'' d'un anneau factoriel s'écrit : <center><math>a =u \prod_{i\in I}p_i^{v_p(a)}</math></center> La fonction de ''A'' dans ''N'', l'ensemble des entiers naturels, qui à ''a'' associe ''v''<sub>p<sub>i</sub></sub>(''a'') s'appelle une [[Valuation|valuation p-adique]]. La valeur ''v''<sub>p<sub>i</sub></sub>(''a'') est aussi appelée '''ordre de multiplicité''' de ''p''<sub>i</sub> dans ''a''. Dans la suite de l'article ''A'' désigne un anneau factoriel et (''p''<sub>i</sub>) 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 [[anneau euclidien|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 à plusieurs variables (en nombre fini) sur un corps. Ce dernier exemple est important, les [[variété algébrique|variétés algébriques]] sont définies comme les [[racine d'un polynôme|racines]] d'un idéal de polynômes à plusieurs variables. Ainsi la [[sphère]] [[nombre réel|réelle]] est définie comme les racines communes des polynômes à trois indéterminées multiples de ''X''<sup>2</sup> + ''Y''<sup>2</sup> + ''Z''<sup>2</sup> - 1. L'anneau des fonctions polynomiales définies sur la sphère n'est ni euclidien ni principal. En revanche, il est factoriel. 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 diviseur 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 ''Z'', l'anneau des entiers relatifs, 2''Z''[''X''] n'est pas maximal et ''Z''[''X''] / 2''Z''[''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. == Exemples et contre-exemples == *L'anneau '''Z''' est évidemment le premier exemple d'anneau factoriel. Mais on trouve aussi l'[[entier de Gauss|anneau de Gauss]] '''Z'''[i] des complexes s'écrivant sous la forme a + ib où a et b sont des entiers relatifs. *Si K est un corps alors l'ensemble K[X] des [[polynôme]]s à coefficient dans K est un anneau factoriel, ainsi que K[X<sub>1</sub>, X<sub>2</sub>, ...,X<sub>n</sub>]. Plus généralement, dès que A est factoriel, il en est de même de A[X]. *On démontre que tout anneau euclidien ou tout anneau principal est aussi factoriel * Le contre-exemple le plus célèbre est l'anneau non-factoriel <math>\mathbb Z[i\sqrt 3]</math> dans lequel on trouve deux décompositions différentes de 4 : <math>4 = 2 \times 2 = (1 + i\sqrt{3})(1 - i\sqrt{3}) </math>. Propriété qui donna l'occasion à [[Leonhard Euler]] de présenter une démonstration fausse du [[dernier théorème de Fermat]] pour n = 3 (''Algebra'' 1770). Pour pallier cette difficulté, la méthode la plus simple est d'utiliser les [[entier d'Eisenstein|entiers d'Eisenstein]]. La configuration générale d'une situation de cette nature est étudiée dans l'article sur l'[[entier quadratique]]. Pour trouver une solution très générale à cette difficulté [[Ernst Kummer]] crée des ''nombres idéaux'', maintenant formalisé par les travaux de [[Richard Dedekind]] à travers le concept d'[[anneau de Dedekind]]. * Un contre-exemple "géométrique" est celui du quotient de K[X,Y,Z] par l'idéal engendré par <math> X^2 -YZ</math>. Soit p l'application de passage au quotient. <math>p(X^2)</math> admet deux décompositions distinctes en facteurs irréductibles : on a <math>p(X^2)=p(X)p(X)</math> mais aussi <math>p(X^2)= p(Y)p(Z)</math> == Propriétés == === Premières propriétés === :* ''Un anneau commutatif unitaire et intègre est factoriel si et seulement s'il vérifie les deux propriétés suivantes :'' :: (1)'' Toute suite d'idéaux principaux croissantes est stationnaire à partir d'un certain rang.'' :: (2) ''Tout idéal engendré par un élément irréductible est [[idéal premier|premier]].''<ref>La démonstration proposée s'inspire de celle donnée en page 66 du site [http://perso.univ-rennes1.fr/antoine.chambert-loir/2005-06/g1/algcom-p6.pdf Algèbre commutative] par A. Chambert-Loir de l'Université de Rennes I</ref> Cette caractéristique est parfois plus simple pour établir le caractère factoriel d'un anneau. La proposition suivante en est un exemple : :* ''Tout anneau principal est factoriel.'' En effet, un anneau principal est [[anneau noethérien|noethérien]], la première propriété est ainsi vérifiée. De plus si ''p'' est irréductible, l'idéal des multiples de ''p'' est premier et maximal. Ces propriétés sont démontrées dans l'article [[Anneau principal]]. :* ''Tout anneau factoriel est [[Anneau de Dedekind|intégralement clos]].'' Comme un anneau factoriel ''A'' est commutatif unitaire intègre, il est possible de considérer son [[corps des fractions]]. Un élément de ''K'' est dit [[entier algébrique|entier]] sur ''A'' si son [[polynôme minimal d'un nombre algébrique|polynôme minimal]] est à coefficients dans ''A''. L'article [[Polynôme minimal d'un nombre algébrique]] montre que l'ensemble ''B'' des entiers algébriques de ''K'' sur ''A'' forme un anneau. Si ''B'' est égal à ''A'', alors ''A'' est dit intégralement clos. La démonstration est identique à celle présentée dans l'article [[Anneau principal]]. :* ''Soit π est un élément irréductible de ''A'', si π divise le produit de deux éléments ''a'' et ''b'', alors il divise soit ''a'' soit ''b''.'' Ce résultat est connu sous le nom de [[lemme d'Euclide]] ou parfois lemme de Gauss. Il est la conséquence directe de l'unicité de la décomposition de ''a.b'' en facteurs irréductibles. {{boîte déroulante début|align=left|titre=Démonstration}} :* '''Un anneau commutatif unitaire et intègre est factoriel s'il vérifie les deux propriétés suivantes :''' :: (1) '''Toute suite d'idéaux principaux croissantes est stationnaire à partir d'un certain rang.''' :: (2) '''Tout idéal engendré par un élément irréductible est [[idéal premier|premier]].''' En vue de montrer cette implication, une décomposition de la démonstration est utile. Soient ''A'' un anneau vérifiant les hypothèses de la première définition et ''a'' un élément de ''A'' non nul. ::* ''Il existe un élément irréductible qui divise ''a'' si ''a'' n'est pas inversible :'' Si ''a'' est irréductible la proposition est démontrée, sinon on construit par récurrence une suite (''a''<sub>n</sub>) par récurrence de la manière suivante, ''a''<sub>0</sub> est égal à ''a'', supposons la suite définie jusqu'à l'ordre ''n''&nbsp;–&nbsp;1, si ''a''<sub>n - 1</sub> est irréductible alors ''a''<sub>n</sub> est égal à ''a''<sub>n - 1</sub>, sinon ''a''<sub>n</sub> est un diviseur strict de ''a''<sub>n - 1</sub>. L'élément ''b'' de ''A'' est dit diviseur strict de ''a''<sub>n - 1</sub> s'il n'est pas inversible et s'il existe un élément ''c'' de ''A'' non inversible tel que ''b''.''c'' soit égal à ''a''<sub>n - 1</sub>. La suite des idéaux principaux (''a''<sub>n</sub>''A'') est croissante, la première partie de la définition indique qu'elle est stationnaire à partir d'un certain rang, noté ici ''m''. Le fait que la suite soit stationnaire montre que ''a''<sub>m</sub> est irréductible. Par construction, il divise ''a''. ::* '' Il existe un élément inversible ''u'' est une suite finie ''p''<sub>1</sub>, …, ''p''<sub>n</sub> d'éléments irréductibles de l'anneau tel que :'' <center><math>a = u p_1\cdots p_n\ ;</math></center> Si ''a'' est irréductible ou inversible, la proposition est évidente. Sinon le résultat précédent montre l'existence d'un élément irréductible ''p''<sub>1</sub> et d'un élément ''u''<sub>1</sub> tel que ''a'' = ''p''<sub>1</sub>.''u''<sub>1</sub>. Si ''u''<sub>1</sub> est inversible alors la proposition est démontrée, sinon il existe un élément ''p''<sub>2</sub> irréductible et un élément ''u''<sub>2</sub> tel que ''a'' = ''p''<sub>1</sub>.''p''<sub>2</sub>.''u''<sub>1</sub>. En réitérant le raisonnement on trouve soit un élément ''u''<sub>n</sub> inversible et la proposition est démontrée soit une suite infinie (''u''<sub>i</sub>). La suite des idéaux (''u''<sub>i</sub>''A'') est alors strictement croissante, ce qui est impossible. Cette impossibilité démontre la proposition. ::*''La décomposition en facteurs irréductibles est unique :'' On suppose l'existence de deux décompositions : <center><math>a = u p_1\cdots p_n= v q_1\cdots q_m \;</math></center> Montrons la proposition par récurrence sur ''n''. Si ''n'' est égal à ''zéro'', alors ''a'' est inversible, ''m'' est aussi égal à ''zéro'' et la proposition est démontrée. Supposons la proposition démontrée à l'ordre ''n'' – 1, et montrons la à l'ordre ''n''. L'élément ''p''<sub>n</sub> divise le produit ''vq''<sub>1</sub> …''q''<sub>m</sub>, on en déduit que l'idéal premier ''p''<sub>n</sub>''A'' contient ''vq''<sub>1</sub> …''q''<sub>m</sub>. Comme l'idéal est premier et que ''v'' est inversible, il existe un élément ''k'' tel que ''q''<sup>k</sub> est élément de l'idéal et ''q'' <sub>k</sub> est un multiple de ''p''<sub>n</sub>. Comme l'élément ''q'' <sub>k</sub> est irréductible, il existe un élément inversible ''w''<sub>n</sub> tel que ''p''<sub>n</sub>&nbsp;=&nbsp;''w''<sub>n</sub>.''q''&nbsp;<sub>k</sub>. L'égalité suivante et l'hypothèse de récurrence permettent de conclure : <center><math> \frac a{p_n} = u\prod_{i=1}^n p_i = v.w_n^{-1}\prod_{j=1\; j\neq k}^m q_j</math></center> :* '''Si l'anneau est factoriel, il vérifie les propriétés ''(1)'' et ''(2)'' :''' Soit σ la fonction de ''A'' – {0} dans ''N'' l'ensemble 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 σ(''a.b'') = σ(''a'') + σ(''b''). Ainsi si ''c'' divise strictement ''a'', alors σ(''a'') est strictement plus grand que σ(''c''). ::* ''Toute suite d'idéaux principaux croissante est stationnaire :'' Soit (''a''<sub>n</sub>''A'') une suite d'idéaux principaux croissante. Si la suite des (''a''<sub>n</sub>) est constante égal à ''zéro'', la suite est stationnaire. Sinon, quitte à réindexer la suite, supposons que ''a''<sub>1</sub> ne soit pas nul. Dire que l'idéal ''a''<sub>n + 1</sub>''A'' contient strictement l'idéal ''a''<sub>n</sub>''A'' signifie que ''a''<sub>n + 1</sub> divise strictement ''a''<sub>n</sub>''A''. On en déduit que la suite (''a''<sub>n</sub>''A'') n'est strictement croissante qu'un nombre de fois inférieur ou égal à σ( ''a''<sub>1</sub>) ce qui montre que la suite est stationnaire au bout d'un certain rang. ::* ''Soit ''p'' un élément irréductible de ''A'', l'idéal ''pA'' est premier :'' Soit ''a'' et ''b'' deux éléments de ''A'' tel que ''ab'' est élément de ''pA''. Alors ''ab'' est un multiple de ''p'', la décomposition en facteurs irréductibles de ''ab'' contient nécessairement ''p'' à un facteur inversible près. En conséquence soit la décomposition de ''a'' soit celle de ''b'' contient ''p'', à un facteur inversible près. Ce qui montre que soit ''a'' soit ''b'' est élément de l'idéal ''pA''. Cette propriété traduit le fait que l'idéal est premier et termine la démonstration. {{Boîte déroulante fin}} === Diviseur et multiple communs === :* Soit (''a''<sub>n</sub>) une suite d'éléments de ''A'', le '''[[plus grand commun diviseur]]''' de la suite est le produit de tous les facteurs ''p''<sub>i</sub> présents dans la décomposition en facteur irréductible de chaque ''a''<sub>n</sub> avec le plus petit ordre de multiplicité trouvée dans la décomposition des ''a''<sub>n</sub>. :* Le '''[[plus petit commun multiple]]''' de la famille (''a''<sub>n</sub>), s'il existe, est le produit des facteurs ''p''<sub>i</sub> présent dans une au moins des décompositions en facteurs irréductibles d'un élément ''a''<sub>n</sub> avec le plus grand ordre de multiplicité. Si la famille des indices est finie, le plus petit commun multiple existe toujours. :* Une famille d'éléments de ''A'' est dite '''[[nombres premiers entre eux|première entre elle]]''' si et seulement si le plus grand diviseur commun à la famille est égal à ''un''. Dans ce cas, les éléments de la famille sont dit '''premiers entre eux dans leur ensemble'''. 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 utilisée ici est celle induite par l'inclusion des idéaux. L'élément ''a'' est dit '''plus petit'' qu'un élément ''b'' si et seulement si l'idéal engendré par ''a'' contient l'idéal engendré par ''b''. :* ''Soient (''a''<sub>n</sub>) une famille d'éléments de ''A'' et ''b'' un élément de ''a'', la relation suivante est vérifiée :'' <center><math>\text{pgcd} (b\cdot a_n)=b \cdot\text{pgcd} (a_n)\;</math></center> :* ''Soient (''a''<sub>n</sub>) une famille finie d'éléments de ''A'' et ''b'' un élément de ''a'', la relation suivante est vérifiée :'' <center><math>\text{ppcm} (b\cdot a_n)=b \cdot\text{ppcm} (a_n)\;</math></center> :* ''Soient (''a''<sub>n</sub>) une famille finie d'éléments de ''A'' premiers entre eux deux à deux, la relation suivante est vérifiée :'' <center><math>\text{ppcm} (a_n)= \prod_n a_n\;</math></center> :* ''Soient ''a'' et ''b'' deux éléments de ''A'', la propriété suivante est vérifiée, si ''G'' désigne le [[groupe des unités]]:'' <center><math>\exists u \in G\quad a\cdot b = u\cdot \text{ppcm} (a,b)\cdot \text{pgcd} (a,b)\;</math></center> :* ''Soit (''a''<sub>n</sub>) une famille d'éléments de ''A'', le plus petit idéal principal contenant tous les ''a''<sub>n</sub> est l'idéal engendré par le plus grand commun diviseur de la famille (''a''<sub>n</sub>).'' En effet, il suffit de remarquer que tout élément de l'idéal engendré par la famille est multiple du plus grand commun diviseur et si un élément ''c'' de ''A'' est plus ''grand'' que le plus grand commun diviseur, alors il existe un élément ''a''<sub>i</sub> de la famille qui n'est pas multiple de ''c''. Le plus petit idéal principal contenant tous les ''a''<sub>n</sub> n'est pas nécessairement l'idéal engendré par la famille, car cet idéal n'est pas nécessairement principal. Ainsi dans ''Z''[''X''] l'idéal engendré par 2 et ''X'' est l'idéal des polynômes admettant une constante multiple de deux, le plus petit idéal principal le contenant est l'idéal entier. Dans un anneau principal, les deux idéaux sont confondus. Ce résultat est connu sous le nom d'[[identité de Bézout]]. :* ''Soit (''a''<sub>n</sub>) une famille d'éléments de ''A'' admettant un plus petit commun multiple, l'intersection des idéaux engendrés par la famille (''a''<sub>n</sub>) est l'idéal principal engendré par le plus petit commun multiple.'' :* ''Si ''A'' est quotienté par la relation d'équivalence ''R'' d'association définie dans le paragraphe ''Définitions'', alors l'ensemble ''A/R'' munis des opérateurs ''pgcd'' et ''ppcm'' forme un [[treillis (ensemble ordonné)|treillis]]. === Anneau des polynômes === Les anneaux de polynômes représente la première motivation historique pour les anneaux factoriels. En [[1801]] [[Carl Friedrich Gauss]] <small>([[1777]] - [[1855 en science|1855]])</small> publie un traité<ref>[[Carl Friedrich Gauss]] ''Recherches arithmétiques traduction A.-C.-M. Poullet-Delisle'' Article 43, [[1801]] traduction 1807 reprit 1989 Editions Jacques Gabay </ref> dans lequel il montre que l'anneau des polynômes à coefficients entiers possède un propriété qui se traduit, en terme moderne, par le fait que cet anneau est factoriel. Une présentation moins générale est proposée dans l'article [[Lemme de Gauss (polynômes)|lemme de Gauss]]. Dans ce paragraphe ''A'' désigne un anneau factoriel et ''K'' son [[corps des fractions]]. Il est nécessaire pour étudier les polynômes à coefficients dans un anneau factoriel, d'expliciter quelques définitions : :* Un polynôme de ''A''[''X''] est dit '''primitif''' si et seulement si les coefficients du polynôme sont premiers entre eux dans leur ensemble. :* Le '''contenu''' d'un polynôme ''P''[''X''] à coefficients dans ''K'', s'il existe, est un élément ''a'' de ''K'' tel qu'il existe un polynôme primitif ''Q''[''X''] de ''A''[''X''] tel que ''aQ''[''X''] soit égal à ''P''[''X'']. Dans cet article, on note ''cont (''P''[''X'']) le contenu de ''P''[''X''].<ref>On trouve ces deux définitions, par exemple sur le site [http://www.les-mathematiques.net/p/g/b/node9.php3 Théorème de permanence de la factorialité(Gauss)] par les mathématiques.net. Certains auteurs choisissent de définir uniquement le contenu d'un polynôme à coefficients dans ''A''[''X''], par exemple p 73 [http://perso.univ-rennes1.fr/antoine.chambert-loir/2005-06/g1/algcom-p6.pdf Algèbre commutative] par A. Chambert-Loir de l'Université de Rennes I</ref> Le contenu d'un polynôme vérifie les propriétés suivantes : :* ''Le contenu d'un polynôme est défini à un facteur inversible de ''A'' près.'' :* ''Le contenu d'un polynôme ''P''[X''] non nul à coefficients dans ''K'' est toujours défini et il existe un polynôme primitif ''Q''[''X''], à coefficients dans ''A'' tel que :'' <center><math>P[X] = \text{cont}(P[X])\cdot Q[X]\;</math></center> :* ''Soit ''P''[''X''] et ''Q''[''X''] deux polynômes non nuls à coefficients dans ''K'', l'égalité suivante est vérifiée, à un facteur inversible près :'' <center><math>\text{cont}(P[X]\cdot Q[X]) = \text{cont}(P[X])\cdot \text{cont}(Q[X])\;</math><ref>La démonstration est inspirée de la page 74 du site [http://perso.univ-rennes1.fr/antoine.chambert-loir/2005-06/g1/algcom-p6.pdf Algèbre commutative] par A. Chambert-Loir de l'Université de Rennes I</ref></center> Le résultat suivant est connu sous le nom de lemme de Gauss dans le cas où ''A'' est l'anneau ''Z'' des entiers relatifs : :* ''Soit ''P''[''X''] un polynôme non constant à coefficients dans ''A''. Le polynôme est irréductible dans ''A''[''X''] si et seulement s'il est primitif et irréductible dans ''K''[''X''].'' Ce lemme permet de démontrer le théorème suivant : :* ''L'anneau ''A[X]'' est factoriel.'' On en déduit immédiatement le corollaire suivant : :* ''Soit ''n'' un entier strictement positif, l'anneau ''A[X<sub>1</sub>, ..., X<sub>n</sub>]'' est factoriel.''<ref>Les deux dernières démonstrations s'inspirent de : {{Lang1}}, V, §6 (éd. ang. p. 126-128)</ref> </br> {{boîte déroulante début|align=left|titre=Démonstrations}} :* '''Le contenu d'un polynôme est défini à un facteur inversible de ''A'' près :''' Soit ''P''[X''] un polynôme de ''K''[''X''], deux éléments de ''K'' ''a''<sub>1</sub>, ''a''<sub>2</sub>, deux éléments de ''K''<sup>*</sub> ''b''<sub>1</sub>, ''b''<sub>2</sub> et deux polynômes primitifs de ''A''[''X''] ''Q''<sub>1</sub>[''X''], ''Q''<sub>2</sub>[''X''] tel que : <center><math>P[X] = \frac {a_1}{b_1}Q_1[X] = \frac{a_2}{b_2}Q_2[X]\;</math></center> On en déduit que ''a''<sub>1</sub>.''b''<sub>2</sub> est le pgcd des coefficients du polynôme de ''A''[''X''] ''a''<sub>1</sub>.''b''<sub>2</sub>''Q''<sub>1</sub>[''X''] et ''a''<sub>2</sub>.''b''<sub>1</sub> est le pgcd des coefficients du polynôme de ''A''[''X''] ''a''<sub>2</sub>.''b''<sub>1</sub>''Q''<sub>2</sub>[''X'']. Ces deux polynômes sont égaux, ce qui montre que les pgcd diffèrent d'un facteur multiplicatif de ''A'' inversible et démontre la proposition. :* '''Le contenu d'un polynôme ''P''[X''] non nul à coefficients dans ''K'' est toujours défini et il existe un polynôme primitif ''Q''[''X''], à coefficients dans ''A'' tel que :''' <center><math>P[X] = \text{cont}(P[X])\cdot Q[X]\;</math></center> Notons le polynôme ''P''[X''] de la manière suivante : <center><math>P[X] = \frac {a_n}{b_n}X^n + \frac {a_{n-1}}{b_{n-1}}X^{n-1} + \cdots + \frac {a_0}{b_0}</math></center> Les familles (''a''<sub>i</sub>) et (''b''<sub>i</sub>) sont choisies de telle sorte que, pour tout ''i'' élément de ''zéro'', les ''n'' couples ''a''<sub>i</sub> et ''b''<sub>i</sub> sont formés d'éléments premiers entre eux. Notons ''g'' le plus petit commun multiple de la famille (''b''<sub>i</sub>). Il existe alors une famille (''c''<sub>i</sub>) tel que pour tout ''i'', ''g'' = ''b''<sub>i</sub>.''c''<sub>i</sub>. On en déduit une nouvelle écriture du polynôme : <center><math>P[X] = \frac 1g \left(a_nc_nX^n + a_{n-1}c_{n-1}X^{n-1} + \cdots + a_0c_0\right)</math></center> Soit ''h'' le plus grand commun diviseur de la famille (''a''<sub>i</sub>.''c''<sub>i</sub>). Il existe une famille (''d''<sub>i</sub>) d'éléments de ''A'' premiers entre eux dans leur ensemble tel que pour tout ''i'', ''a''<sub>i</sub>.''c''<sub>i</sub> = ''d''<sub>i</sub>''h'' et : <center><math>P[X] = \frac hg \left(d_nX^n + d_{n-1}X^{n-1} + \cdots + d_0\right)</math></center> Ce qui montre la proposition. :* '''Soit ''P''[''X''] et ''Q''[''X''] deux polynômes non nuls à coefficients dans ''K'', l'égalité suivante est vérifiée, à un facteur inversible près :''' <center><math>\text{cont}(P[X]\cdot Q[X]) = \text{cont}(P[X])\cdot \text{cont}(Q[X])\;</math></center> La proposition précédente montre qu'il suffit de montrer l'égalité pour deux polynômes à coefficients dans ''A'' et primitif. Pour cela raisonnons par contraposée. Montrons que si ''P''[''X''].''Q''[''X''] n'est pas primitif alors soit ''P''[''X''] soit ''Q''[''X''] n'est pas primitif. Si ''P''[''X''].''Q''[''X''] n'est pas primitif, il existe un élément irréductible ''p'' qui divise chacun des coefficients. Soit ''J'' un idéal maximal contenant ''p'' et φ le morphisme canonique de l'anneau ''A''[''X''] dans ''A''&nbsp;/&nbsp;''pA''[''X'']. Par hypothèse ''p'' divise chacun des coefficients de ''P''[''X''].''Q''[''X''], on en déduit que φ(''P''[''X''].''Q''[''X'']) égal à φ(''P''[''X'']).φ(''Q''[''X'']) est nul. Comme ''A''&nbsp;/&nbsp;''pA'' est un corps, soit φ(''P''[''X'']), soit φ(''Q''[''X'']) est nul, ce qui revient à dire que ''p'' divise le contenu de ''P''[''X''] ou de ''Q''[''X'']. La contraposée indique que si ''P''[''X''] et ''Q''[''X''] sont primitifs, alors ''P''[''X''].''Q''[''X''] l'est aussi. :* '''Soit ''P''[''X''] un polynôme non constant à coefficients dans ''A''. Le polynôme est irréductible dans ''A''[''X''] si et seulement s'il est primitif et irréductible dans ''K''[''X''] :''' Supposons ''P''[''X''] irréductible, il est possible d'écrire ce polynôme sous forme d'un produit d'un polynôme constant égal à son contenu et d'un polynôme primitif. Ceci montre que son contenu est un polynôme inversible donc de degré ''zéro'' et égal à un élément inversible ce qui signifie que le polynôme est primitif. Montrons qu'un polynôme ''P''[''X''] primitif et non constant à coefficients dans ''A'' est décomposable dans ''K''[''X''] si et seulement s'il est décomposable dans ''A''[''X'']. Si ''P''[''X''] est décomposable dans ''K''[''X''] alors il existe deux polynômes ''B''[''X''] et ''C''[''X''] de degré supérieur ou égal à ''un'' et à coefficients dans ''K'' tel que ''P''[''X''] = ''A''[''X''].''B''[''X'']. Une proposition précédente montre l'existence de deux polynômes primitifs ''Q''[''X''] et ''R''[''X''] tel que : <center><math>P[X] = \text{cont}(B[X] C[X])\cdot Q[X]R[X] = \text{cont}(P[X])\cdot Q[X]R[X]=Q[X]R[X]\;</math></center> Réciproquement, si le polynôme est primitif et décomposable dans ''A''[''X''] alors la décomposition comporte deux facteurs de degré supérieur ou égal à ''un'' et il est décomposable dans ''K''[''X'']. :* '''L'anneau ''A[X]'' est factoriel :''' La méthode utilisée consiste à montrer que toute suite croissante d'idéaux principaux est stationnaire à partir d'un certain rang et que tout idéal engendré par un polynôme irréductible est premier. ::* ''Une suite croissante d'idéaux principaux engendrés par ''P''<sub>n</sub>[''X''] est stationnaire à partir d'un certain rang.'' Soit (''c''<sub>n</sub>) la suite des contenus des polynômes ''P''<sub>n</sub>[''X'']. Comme la suite des idéaux principaux engendrés par ''P''<sub>n</sub>[''X''] est croissante, la suite des idéaux de ''A'' engendré par la suite (''c''<sub>n</sub>) l'est aussi. Elle est donc stationnaire car ''A'' est factoriel. Notons ''Q'' <sub>n</sub>[''X''] le polynôme primitif qui vérifie l'égalité : <center><math>\forall n \in \mathbb N \quad P_n[X] = c_n Q_n[X]\;</math></center> Montrons que la suite (''Q'' <sub>n</sub>[''X'']) est aussi stationnaire. Si ''m'' est plus grand que ''n'' alors ''P''<sub>m</sub>[''X''] divise ''P''<sub>n</sub>[''X''], on en déduit que la suite des degrés de ''P''<sub>n</sub>[''X''] et donc de ''Q''<sub>n</sub>[''X''] est décroissante, elle est en conséquence stationnaire à partir d'un certain rang car toute suite décroissante d'entiers positifs est stationnaire à partir d'un certain rang. Soit μ un entier tel que la suite des contenus et des degrés soit stationnaire à partir de μ. Montrons que la suite (''Q'' <sub>n</sub>[''X'']) l'est aussi. Comme la suite des contenus est stationnaire, si ''n'' est plus grand que μ, ''Q'' <sub>n</sub>[''X''] divise ''Q'' <sub>μ</sub>[''X''], comme ils sont tous les deux de même degré, ils sont proportionnels. Comme ils sont tous deux primitifs, ils sont égaux à un facteur inversible près. ::* ''Un idéal engendré par un polynôme irréductible est premier :'' Soit ''P''[''X''] lun polynôme irréductible. L'objectif est de montrer que si ''P''[''X''] divise un produit ''Q''[''X''].''R''[''X''] il divise soit ''Q''[''X''] soit ''R''[''X''], ce qui signifie que l'idéal engendré par ''P''[''X''] est premier. Si ''P''[''X''] est constant égal à ''p'' un élément irréductible de ''A'', il divise le contenu des produits de ''Q''[''X''] et ''R''[''X''] et donc le produit des contenus. Comme ''p'' est irréductible et que l'anneau ''A'' est factoriel ''p'' divise soit le contenu de ''Q''[''X''] soit celui de ''R''[''X''], ''P''[''X''] divise donc soit ''Q''[''X''] soit ''R''[''X'']. Si ''P''[''X''] est primitif irréductible dans ''K''[''X''] et non constant, soit ''Q''[''X''] soit ''R''[''X''] est un polynôme constant. Le contenu de ce polynôme constant divise celui de ''P''[''X''] qui est primitif, ce polynôme constant est donc inversible dans ''A'' et le polynôme associé inversible dans ''A''[''X''], ce qui termine la démonstration. :* '''Soit ''n'' un entier strictement positif, l'anneau ''A[X<sub>1</sub>, ..., X<sub>n</sub>]'' est factoriel :''' Montrons cette proposition par récurrence sur ''n''. Si ''n'' est égal à ''un'' ce théorème est l'expression de la dernière proposition. Si le résultat est démontrée à l'ordre ''n'' - 1, l'anneau ''A''[''X''<sub>1</sub>, ..., ''X''<sub>n - 1</sub>] est factoriel. En conséquence l'anneau ''A''[''X''<sub>1</sub>, ..., ''X''<sub>n - 1</sub>][''X''<sub>n</sub>] l'est aussi. L'isomorphisme d'anneau entre ''A''[''X''<sub>1</sub>, ..., ''X''<sub>n - 1</sub>][''X''<sub>n</sub>] et ''A''[''X''<sub>1</sub>,&nbsp;...,&nbsp;''X''<sub>n</sub>] permet de conclure. {{Boîte déroulante fin}} == Notes et références == === Notes === <references /> === Liens externes === * {{fr}} [http://les.mathematiques.free.fr/pdf/factoriel.pdf Anneaux factoriels anneaux euclidiens] par les mathématiques.net * {{fr}} [http://perso.univ-rennes1.fr/antoine.chambert-loir/2005-06/g1/algcom-p6.pdf Algèbre commutative] par A. Chambert-Loir de l'Université de Rennes I * {{fr}} [http://perso.wanadoo.fr/christian.squarcini/AgregInterne.htm Cours d'agrégation interne] par C. Scarcini chap 2 * {{fr}} [http://pagesperso-orange.fr/megamaths/cours/ari/cann0001.pdf Anneaux factoriels] par D. J. Mercier IUFM de la Guadeloupe * {{fr}} [http://www.bibmath.net/dico/index.php3?action=affiche&quoi=./a/anneaupart.html Quelques anneaux particuliers] Site Bibmath.net 2000 - 2007 === Références === * {{fr}} [[Nicolas Bourbaki]] ''Eléments de mathématique. Algèbre commutative. Chapitre 8: Dimension. Chapitre 9: Anneaux locaux noethériens complets'' Hermann 1983 {{ISBN|2225787166}} * {{fr}} {{Perrin2}} * {{fr}} {{Serre1}} * {{fr}} {{Lang1}} {{algèbre commutative}} {{Portail mathématiques}} [[Catégorie:anneau]] [[de:Faktorieller Ring]] [[en:Unique factorization domain]] [[it:Anello a fattorizzazione unica]] [[ja:素元分解整域]] [[nl:Uniek factorisatiedomein]] [[pl:Pierścień z jednoznacznością rozkładu]] [[zh:唯一分解域]]