L'idal des coefficients du produit de deux polynmes
Thierry Coquand, Lionel Ducos, Henri Lombardi, Claude Quitt
Les informations dtailles, sur les auteurs, se trouvent en fin d'article.
Introduction Partie A Formes quivalentes du lemme d'Artin Partie B Le thorme de Kronecker Partie C Formes quivalentes du lemme de Gauss-J oyal Partie D Peut-on dduire facilement chaque thorme des deux autres ? Partie E Le lemme de Gauss Partie F Une version du lemme de Mc Coy Bibliographie
Introduction Dans cette note nous essayons de faire le point sur les identits algbriques qui relient les coefficients du produit de deux polynmes.
On prendra les notations suivantes dans tout l'article.
Notations 1 Soient , et . Les coefficients sont pris dans un anneau commutatif . On notera l'idal de engendr par les coefficients de , et son radical est . Si l'anneau est un anneau pgcds (c'est--dire un anneau intgre dans lequel deux lments admettent toujours un pgcd), le pgcd des coefficients de est aussi le pgcd de tout systme gnrateur de l'idal et il sera not . Nous appelons contenu du polynme l'idal . La dfinition et la notation seront galement utilises pour des polynmes plusieurs variables. La terminologie ne semble cependant pas fixe. Certains prfreraient appeler contenu de le pgcd (quand il existe, il est dfini une unit multiplicative prs), ou l'idal principal qu'il Page 1sur 17 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=290&Type=enonce&Num=0&Mode=... engendre . Le lemme de Gauss dit que pour un anneau factoriel.
Nous faisons un point rapide sur les variantes du lemme de Gauss dans la section E. Les noncs que nous donnons dans les sections A, B et C sont tous sans ngation , vrais constructivement et ne ncessitent pas d'hypothse du genre que l'anneau est discret. Nous considrons toujours des anneaux dans lesquels les oprations et sont explicites. Les lments 1 et 0 sont galement donns. Un tel anneau est dit discret si on dispose d'un test d'galit 0. Par exemple, le corps des rationnels est discret, mais pas le corps des rels. Nous essayons de montrer les rapports entre les trois thormes dans la section . Cette note est aussi une variation sur le thme suivant. Bien qu'en mathmatiques, tous les thormes sont formellement quivalents en vertu de , certains sont nanmoins plus quivalents que d'autres, comme aurait dit Coluche. Dans la dernire section, nous analysons une preuve du lemme de Mc Coy avec ngation .
Partie A Formes quivalentes du lemme d'Artin Le lemme d'Artin est la troisime proprit rpertorie dans la proposition suivante. Il est parfois cit sous le nom de lemme de Dedekind-Mertens. Il semble que Dedekind [5] et Mertens [15] prouvent le thorme uniquement pour certains anneaux intgres et pour de degr 1 (cf. [9]), et qu'Artin soit le premier l'avoir donn sous sa forme gnrale. La preuve d'Artin, rapporte par Northcott dans [16], nous semble la plus simple. Une autre preuve, trs algorithmique mais un peu difficile suivre, se trouve dans [2], exercice 21 du 2. Ces deux preuves donnent pour exposant le degr de : en fait chaque monme
s'crit comme une combinaison linaire coefficients entiers des monmes
L'anneau ambiant n'a donc rien faire dans l'histoire, comme le remarque Northcott dans [16].
Proposition 2 Les affirmations suivantes sont quivalentes (chacune des affirmations est Page 2sur 17 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=290&Type=enonce&Num=0&Mode=... universelle, i.e. valable pour tous polynmes et tous anneaux commutatifs). (1) , (2) , (3) (Artin) , (3') (Artin) , (4) , (5) (Mc Coy) , (6) .
Montrons les quivalences. On a a priori les inclusions :
(1) (2) Dans on a , donc dans l'anneau on a pour un certain . D'o pour un certain (par exemple la somme des ) . (3) (2) Clair. (2) (3) On se place dans le cas gnrique o les coefficients de et sont des indtermines (de poids 1) sur l'anneau . On considre les identits algbriques qui donnent l'inclusion . On garde uniquement la partie homogne convenable et on obtient . On pourrait d'ailleurs de la mme manire montrer que l'on a une identit algbrique qui est galement homogne pour le systme de poids o on attribue et le poids . Page 3sur 17 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=290&Type=enonce&Num=0&Mode=... (2) (4) Pour deux idaux quelconques et on a
En effet, si annule alors annule c'est--dire annule . Or (2) implique . Donc en supposant en plus , cela donne . (4) (5) Car quivaut qui quivaut . (5) (6) Clair. (6) (1) On se place dans l'anneau . On peut appliquer (6) et on obtient ce qui signifie dans que .
Voici maintenant deux preuves de (3'). Avec les notations 1, nous prenons sans qu'il soit ncessaire de savoir si est nul ou non. Nous commenons par la preuve de Northcott [16] (qu'il attribue Artin). Tout d'abord, on remarque que les produits sont les coefficients du polynme . De la mme manire, pour des indtermines le contenu du polynme est gal . Imaginons que dans l'anneau on puisse montrer l'appartenance du polynme
l'idal
Il s'en suivrait immdiatement que . quelque chose prs, c'est ce qui va arriver. On chasse les dnominateurs dans la formule d'interpolation de Lagrange : Page 4sur 17 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=290&Type=enonce&Num=0&Mode=...
et on obtient dans l'anneau , en posant , l'appartenance
et donc en multipliant par
Il reste montrer que pour n'importe quel on a et l'appartenance prcdente donne alors . On note que et surtout que
Donc, en faisant , . Et donc les polynmes suivants ont tous mme contenu :
D'o ensuite immdiatement .
Nous prsentons maintenant une preuve qui, quoique d'apparence trs diffrente, si elle tait examine la loupe, donnerait les mmes calculs que ceux sous-jacents la preuve propose dans [2], exercice 21 du 2. On va dmontrer par induction sur la proprit suivante
En lisant ceci dans l'anneau quotient on obtient bien (3'). Passons la preuve par rcurrence. Pour , tout va bien. Supposons la proprit dmontre pour (pour n'importe quels polynmes). On va la dmontrer pour . On fait donc l'hypothse et . On va montrer
Il s'en suivra, puisque , que pour tout donc que . Soit un lment arbitraire de . On crit :
puis
D'aprs l'hypothse , cette galit se rduit :
Donc . Considrons alors le poylnme . Il vrifie
Par hypothse de rcurrence sur applique aux polynmes et , on a , c'est-- dire . Le contrat est rempli ( notre tonnement). Cette preuve (lgrement modifie) montre que dans le point (3') on peut remplacer l'exposant avec par le nombre de coefficients non nuls de . Donnons galement une preuve directe du point (5) (lemme de Mc Coy). Le lecteur remarquera la trs forte analogie avec la preuve prcdente. On fait une induction sur . Pour , le rsultat est clair. On suppose et on veut montrer . Pour cela, on montre que est Page 6sur 17 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=290&Type=enonce&Num=0&Mode=... nul pour tout . Cela implique alors que tous les sont nuls, et puisque que tous les sont nuls. Pour montrer que est nul, on fait une induction descendante sur , qui s'initialise avec sans problme. Supposons donc avoir montr que pour tous les et montrons-le pour . On a
Le coefficient de degr de ce polynme est gal et donc . Donc le polynme est de degr et, videmment, . On peut donc appliquer l'hypothse de rcurrence avec , on conclut , et on a gagn. Il serait intressant de voir quelle borne sur l'exposant dans le lemme d'Artin on obtient si on passe par cette preuve du lemme de Mc Coy pour dmontrer celui d'Artin. En effet, la preuve ci- dessus du lemme de Mc Coy est celle qui, notre avis, rflchit le mieux sur la situation. Malheureusement, dans la preuve de l'implication on perd a priori le contrle sur l'exposant .
Partie B Le thorme de Kronecker Dfinition 3 Soit un idal d'un anneau , sous-anneau d'un anneau . Un est dit entier sur si il vrfie une relation de dpendance intgrale avec . Cas particuliers - (cas o ) Si , il revient au mme de dire :
- (cas o ) Un est entier sur si et seulement si est un -module de type fini. Typiquement, un polynme tel que celui qui donne la relation de dpendance intgrale dans la dfinition ci-dessus s'obtient comme polynme caractristique d'une matrice carre coefficients dans . Cette remarque sera utilise dans la section D. Page 7sur 17 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=290&Type=enonce&Num=0&Mode=...
Thorme de Kronecker Soit le sous-anneau de engendr par les coefficients de . Alors chaque est entier sur l'idal de engendr par les . Voici une preuve assez simple de thorme de Kronecker. Elle s'apparente celle donne dans [12]. Des preuves constructives plus difficiles se trouvent dans [3, 7, 13].
Preuve On traite d'abord le cas simple suivant : et sont unitaires. On montre que chaque et chaque est entier sur . Puisque et sont unitaires, il existe un anneau contenant dans lequel s'crit et s'crit . Il en rsulte que chaque , et par suite chaque , est entier sur l'anneau des coefficients de . Mme chose pour les . Passons au cas gnral. On se place dans le cas gnrique o les coefficients de et sont des indtermines (de poids 1) sur l'anneau . Il suffit de montrer que chaque est entier sur car les considrations d'homognit montrent alors que est entier sur l'idal . Posons . Il n'est pas difficile de voir que les sont algbriquement indpendants sur . D'aprs le cas unitaire , on dduit que chaque (considr dans le corps des fractions) est entier sur l'anneau engendr par les . Autrement dit, il existe un polynme qui annule et dont le coefficient dominant est une puissance de . Par raison de symtrie, il existe un polynme qui annule et dont le coefficient dominant est une puissance de . Puisque est un anneau factoriel, on sait que est factoriel et que le pgcd de et dans est aussi un pgcd de et dans o est le corps des fractions de . Donc le polynme annule aussi , et son coefficient dominant, qui divise dans une puissance de et une puissance de , est gal .
En fait, tout lment de l'anneau engendr par les et les possde une relation de dpendance intgrale sur de degr major par puisque dans le cas gnrique, le corps des zros de est de degr sur le corps des coefficients de . Plus prcisment, Page 8sur 17 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=290&Type=enonce&Num=0&Mode=... possde une relation de dpendance intgrale sur de degr gal au nombre de ses conjugus, qui est infrieur ou gal
Une consquence intressante du thorme de Kronecker est la proprit suivante.
Proposition 4 Supposons que est intgralement clos, et que divise tous les coefficients de , alors divise tous les . Autrement dit
Preuve En effet, en considrant les polynmes et coefficients dans le corps des fractions de , le thorme de Kronecker implique que est entier sur car les sont dans .
Partie C Formes quivalentes du lemme de Gauss-Joyal Proposition 5 Les affirmations suivantes sont quivalentes (chacune des affirmations est universelle, i.e. valable pour tous polynmes et tous anneaux commutatifs). (1) , (2) , (3) , (4) (Gauss-J oyal) . On notera que le lemme de Gauss-J oyal est consquence aussi bien du lemme d'Artin que du thorme de Kronecker. Deux rfrences pour ce lemme sont [1, 8]. C'est [8] qui lui donne son nom de baptme. Page 9sur 17 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=290&Type=enonce&Num=0&Mode=... Montrons les quivalences de la proposition 5. (1) (3) Fixons et . Dans on a . Donc, dans l'anneau , pour un certain . D'o, pour un certain , . (3) (2) 1 Clair. (3) (4) Clair.
Le lemme de Gauss-J oyal rsulte presque du thorme des zros de Hilbert, selon les lignes qui suivent. On se place dans le cas gnrique. L'quivalence :
qui est valable chaque fois que l'on spcialise les et dans une clture algbrique de signifie que la varit des zros de est la runion des varits des zros de et de . Cette runion est la varit des zros de . Donc, dans chaque est dans le radical de l'idal . On obtient donc Gauss-J oyal coefficients dans , ce qui est lgrement moins bien (on veut des coefficients dans ). Voici maintenant pour l'essentiel la preuve de (4) dans [1]. Le treillis de Zariski Zar(A) d'un anneau est le treillis des radicaux d'idaux de type fini. On montre facilement que c'est un treillis distributif, avec et . On dsigne par le radical de l'idal engendr par les coefficients de , le lemme de Gauss-J oyal s'crit alors :
Le treillis vrifie la proprit suivante. On a une application avec
(on prend pour le radical de ). Si on a une application , o est un treillis distributif quelconque, qui vrifie ces proprits, on a le lemme de Gauss-J oyal pour dans le treillis , c'est--dire
Il suffit de prouver
L'ide intuitive est de lire comme la valeur de vrit de est (proposition qui a une valeur de vrit dans ). Comme on a , est un anneau intgre pour cette notion de zro . Ceci se traduit par une preuve complte, qui copie la preuve usuelle que est intgre si est intgre. Cette preuve exprime en effet (avec )
Dans la preuve classique d'intgrit : si on a pour , et pour et , , alors pour . Ici aussi, l'ingalit rsulte de l'galit
Puisque le treillis est distributif une consquence de l'ingalit est que
En dfinitive, cela montre par rcurrence descendante sur .
Page 11sur 17 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=290&Type=enonce&Num=0&Mode=... Partie D Peut-on dduire facilement chaque thorme des deux autres ? Voici une preuve dans laquelle on dduit le thorme de Kronecker du lemme d'Artin. On se place encore dans le cas gnrique o les coefficients de et sont des indtermines (de poids 1) sur l'anneau . Notez que, dans l'nonc du thorme de Kronecker, est le sous- groupe additif engendr par les produits de coefficients . On appelle et les analogues de pour les polynmes et . Les identits algbriques de lemme d'Artin disent prcisment que (le produit dsigne prcisment le sous-groupe additif engendr par les produits d'un lment de et d'un lment de ). Autrement dit, pour tout (par exemple ) on a . On fait alors fonctionner le truc du dterminant : on note tous les produits de coefficients de , et le vecteur colonne des , on a alors o est une matrice coefficients dans . Donc et , ce qui donne la relation de dpendance intgrale que nous cherchions.
Cette preuve montre plus prcisment que tout lment de possde une relation de dpendance intgrale sur de degr . Conclusion provisoire Les lemmes d'Artin, de Mc Coy et de Gauss-J oyal, et le thorme de Kronecker sont vrais, mais seuls Artin et Mc Coy semblent directement quivalents. A priori Artin est plus fort que Kronecker et Kronecker plus fort que Gauss-J oyal. En tout cas, nous n'avons pas russi dduire simplement Artin de Kronecker, ni Kronecker de Gauss-J oyal.
Partie E Le lemme de Gauss La version la plus usuelle du lemme de Gauss affirme que pour un anneau factoriel. En fait, il est valable dans un cadre plus gnral.
Proposition 6 Lemme de Gauss Dans un anneau pgcds, c'est--dire un anneau intgre 1 dans lequel deux lments admettent toujours un pgcd, on a pour tous polynmes et : . Si est le corps des fractions de , le groupe multiplicatif muni de la relation de Page 12sur 17 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=290&Type=enonce&Num=0&Mode=... divisibilit est un groupe ordonn pour lequel la relation d'ordre est un treillis distributif, c'est-- dire un groupe rticul. En particuler, le produit est distributif par rapport au pgcd et au ppcm, et on a cet autre lemme de Gauss :
(cf. par exemple [11] ou [14]). Un anneau pgcds est intgralement clos : soit entier sur et supposons la fraction rduite. La relation de dpendance intgrale s'crit dans sous la forme
donc divise et puisque la fraction est rduite, est une unit. Le lemme de Gauss pour les anneaux pgcds rsulte alors de la proposition 4 : par distributivit le pgcd des est gal , or la proposition 4 implique que divise les donc leur pgcd. Voici galement la preuve constructive directe et lgante du lemme de Gauss dans [14]. On raisonne par induction sur . Par distributivit, on se ramne au cas o . On pose et . Alors divise . Si , le rsultat est clair. Sinon, par hypothse de rcurrence divise , donc divise et . Ainsi pgcd . De mme, pgcd et puisque divise , .
Le lemme d'Artin, celui de Gauss-J oyal et le thorme de Kronecker peuvent tre considrs comme des variantes ou des gnralisations du lemme de Gauss. Dans le cas d'un anneau de Bezout (un anneau dans lequel tout idal de type fini est principal) intgre, le lemme de Gauss quivaut . Cette dernire galit reste vraie dans un anneau dont les idaux de type fini sont localement principaux. Un tel anneau est appel un anneau arithmtique. Dans le cas cas intgre, on parle de domaine de Prfer. Un domaine de Prfer noethrien est exactement un domaine de Dedekind. Un anneau arithmtique est aussi caractris par le fait que ses idaux forment un treillis distributif. Un domaine de Prfer est caractris comme un anneau intgre dans lequel pour tous polynmes et . Pour une approche constructive lmentaire on pourra consulter [6]. Page 13sur 17 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=290&Type=enonce&Num=0&Mode=... Dans un anneau factoriel on n'a pas ncessairement , comme on peut le voir avec :
et le deuxime idal est strictement plus gros que le premier si l'anneau est ou . Dans un anneau arithmtique on a au contraire pour tous :
Dans un anneau quelconque, un polynme est dit gaussien si , pour tout polynme . Une littrature consquente s'est dveloppe encore rcemment sur ce type de sujet. Citons par exemple les articles de Sarah Glaz [4, 10].
Notes ... int\`egre 1
Nous considrons que les anneaux intgres sont discrets, mais nous ne demandons pas qu'il y ait un test gnral pour la divisibilit d'un lment par un autre.
Partie F Une version du lemme de Mc Coy qui utilise la ngation Le lemme de Mc Coy a d'abord t dmontr sous la forme suivante.
Lemme 7 Si est non diviseur de zro dans il existe dans tel que .
Preuve non constructive On suppose l'anneau discret. Soit de degr minimum tel que . On va dmontrer que pour tout . Il s'en suivra que pour tout et on pourra prendre pour un . Pour ce faire, on suppose que pour tout et on montre que . On crit Page 14sur 17 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=290&Type=enonce&Num=0&Mode=...
En particulier, . Donc et puisque , . On remarque que cette preuve est hautement non constructive. Non seulement on a besoin du test d'galit 0 dans (mais on ne voit gure comment on pourrait s'en passer avec cet nonc), mais surtout, on suppose avoir trouv un de degr minimum. Malgr cela, le lecteur pourra se convaincre que la preuve constructive donne en page 30 n'est autre que la remise sur ses pieds de la preuve prcdente.
Preuve constructive Par ailleurs, en prsence du test d'galit 0, on peut fournir la preuve constructive suivante du lemme prcdent. Par hypothse on a un non nul de degr tel que . Le lemme d'Artin (version (3')) nous dit que . On peut dterminer alors le plus petit tel que . On a parce que est non nul. On a . Soient donc (liste ventuellement vide) et tels que le produit . On a alors (mais oui, mais oui).
Bibliographie 1 Banaschewski B., Vermeulen J ., Polynomials and radical ideals, J . Pure Appl. Algebra 113 (3), (1996), 219-227. 2 Bourbaki, Algbre Commutative,Chap. 7. Diviseurs. Hermann. 3 Coquand T., Persson H., Valuations and Dedekind's Prague Theorem, J ournal of Pure and Applied Algebra 155 (2001) 121-129. 4 Corso A., Glaz, S., Gaussian ideals and the Dedekind-Mertens lemma, Geometric and combinatorial aspects of commutative algebra, d. Herzog. Dekker. Lect. Notes in Pure and Applied Maths 217, (2001), 131-143. 5 Dedekind R., ber einen aritmetischen Satz von Gauss, Mitt. Deutsch. Math. Ges. Prague (1892) 1-11. 6 Ducos L.. Lombardi H., Quitt C., Salou M., Thorie constructive lmentaire des anneaux arithmtiques, des anneaux de Prfer et des anneaux de Dedekind, Preprint 2002. 7 Edwards H., Divisor theory,Birkhaser. Boston MA. 1990. Page 15sur 17 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=290&Type=enonce&Num=0&Mode=... 8 Espaol, L., The spectrum lattice of Baer rings and polynomials, Categorical algebra and its applications. (Louvain-La-Neuve, 1987), 118-124, Lecture Notes in Math., 1348, Springer, Berlin-New York, 1988. 9 Gilmer, R., Some applications of the Hilfssatz von Dedekind-Mertens, Math. Scand. 20, (1967) 240-244. 10 Glaz, S., Vasconcelos W., Gaussian polynomials, Marcel Dekker Lecture Notes 186 (1997), 325-337 11 Goblot, R., Algbre commutative, Masson (2001). 12 Humbert, Sur un thorme de Hurwitz, Annales de la facult des sciences de l'universit de Toulouse. Note I. 1911. 13 Lombardi H., Hidden constructions in albsract algebra (1) Integral dependance relations, J ournal of Pure and Applied Algebra 167, (2002) 259-267. 14 Mines R., Richman F., Ruitenburg W., A Course in Constructive Algebra, Universitext. Springer-Verlag, 1988. 15 Mertens F., ber einen algebraischen Satz, S.-B. Akad. Wiss. Wien Abtheilung II.a 101, (1892), 1560-1566. 16 Northcott D., A generalization of a theorem on the content of polynomials, Proc. Cambridge Philos. Soc. 55 (1959), 282-288. Thierry COQUAND Professeur. Department of Computer Science, Chalmers University of Technology and Gothenburg University, SE-412 96 Gtenbog, Sude. E-mail : coquand@cs. chalmers.se
Lionel DUCOS Matre de confrence l'universit de Poitiers, UFR Sciences SP2M1, Dpartement de Mathmatiques, Boulevard Marie et Pierre Curie, Tlport 2 - BP 30179. 86962 Futuroscope Chasseneuil Cedex E-mail : ducos@mathlabo.univ-poitiers.fr
Henri LOMBARDI Matre de confrence l'universit de Franche-Comt, quipe de Mathmatiques, UMR CNRS 6623, UFR des Sciences et Techniques, 25030 Besanon Cedex, France. E-mail : lombardi@math.univ-fcomte.fr
Claude QUITT Page 16sur 17 Imprimer 31/10/2004 http://www.rms-math.com/print.php?id_article=290&Type=enonce&Num=0&Mode=... Matre de confrence l'universit de Poitiers, UFR Sciences SP2M1, Dpartement de Mathmatiques, Boulevard Marie et Pierre Curie, Tlport 2 - BP 30179. 86962 Futuroscope Chasseneuil Cedex. E-mail : quitte@mathlabo.univ-poitiers.fr