Vous êtes sur la page 1sur 17

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


On en dduira alors pour

Page 5sur 17 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=290&Type=enonce&Num=0&Mode=...

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

Page 10sur 17 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=290&Type=enonce&Num=0&Mode=...

(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

Page 17sur 17 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=290&Type=enonce&Num=0&Mode=...

Vous aimerez peut-être aussi