Lemme de Gauss (polynomes)

En mathématiques il existe un résultat appelé lemme de Gauss s'appliquant à la théorie des polynômes. Il énonce que si un polynôme P à coefficients entiers est factorisé en deux polynômes à coefficients rationnels non constants, ceux-ci sont proportionnels à des polynômes à coefficients entiers dont le produit est égal à P.

Il existe une variante de ce lemme, stipulant un résultat analogue si l'anneau est factoriel. Il permet de démontrer le caractère factoriel de l'ensemble des polynômes à coefficients dans un anneau factoriel, précisant le type d'arithmétique des polynômes disponible pour ce cas particulier. Une démonstration du cas général est présenté dans l'article Anneau factoriel.

Ce lemme apparaît dans les Disquisitiones Arithmeticae de Gauss, à l'article 42, sous la forme d'une contraposée^[1].

Sommaire 1 Énoncé 2 Généralisation 3 Démonstration 4 Notes 5 Références

Énoncé

Généralisation

Une version de ce lemme est valide dans n'importe quel anneau factoriel A (c'est-à-dire possédant une bonne théorie de la divisibilité) à la place de l'anneau des entiers^[2].

Dans un premier temps, on définit le concept de polynôme primitif de A[X] comme un polynôme dont tous les coefficients sont premiers entre eux. On considère alors K le corps des fractions de A, et on montre que tout polynôme f s'écrit comme le produit d'une constante et d'un polynôme à coefficients dans A primitif. Cette constante est appelée contenu du polynôme et est défini à un facteur de A inversible dans A près. On démontre alors le théorème suivant :

Il permet de montrer l'équivalent du lemme de Gauss dans le cas général :

.

Un corollaire de ce lemme de Gauss est que pour tout anneau factoriel A, l'anneau des polynômes en plusieurs indéterminées A[X₁,X₂,...,X_n] est aussi factoriel. Le lemme de Gauss peut aussi être utilisé pour démontrer le critère d'irréductibilité d'Eisenstein.

Démonstration

• Tout polynôme non nul à coefficients dans Q est produit d'un élément de Q et d'un polynôme à coefficients dans Z primitif :

Soit f un polynôme à coefficient dans Q, f est alors le produit d'une constante rationnelle et d'un polynôme à coefficients dans Z. En effet, soit π le produit des dénominateurs des différents coefficients de f. Soit g le polynôme défini par f = 1/π.g on remarque que g est bien un polynôme à coefficients dans Z.

Soit μ le plus grand commun diviseur des coefficients de g et h le polynôme défini par g = μ.h, on remarque que le polynôme h est primitif.

L'égalité f = μ/π.h permet de conclure.

• Il n'existe qu'une unique valeur strictement positive pour le contenu d'un polynôme f à coefficients dans Q non nul :

Supposons deux décompositions de f de la forme précédente :

On en déduit l'égalité des deux polynômes à coefficients dans Z :

Un diviseur différent de +/-1 de a₁b₂ ne peut peut diviser chacun des membres de h₂ car sinon, le polynôme ne serait pas primitif. On en déduit que a₁b₂ divise a₂b₁. Un raisonnement analogue montre que a₂b₁ divise a₁b₂. Ces deux valeurs sont positives car les fractions a₁/b₁ et a₂/b₂ sont positives. Deux nombres strictement positifs qui ce divisent l'un l'autre sont égaux, ce qui démontre la proposition.

Dans la suite de la démonstration, le contenu est choisi toujours positif. Cette convention est toujours possible à remplir, quitte à multiplier le polynôme et le contenu par -1.

• Le produit de deux polynômes non nuls primitifs est primitif :

Soit h et h deux polynômes à coefficients non nuls primitifs, on les notes de la manière suivante :

Soit p un nombre premier, montrons qu'il ne divise pas tous les coefficients du polynôme h.k. Il existe un entier i plus petit que n tel que a_i ne soit pas multiple de p, sinon tous les coefficients de h seraient multiple de p et h ne serait pas primitif. Soit μ le plus petit d'entre eux. De même soit ν le plus grand entier tel que b_ν ne soit pas un multiple de p. Calculons alors le coefficient du monôme de degré μ + ν de h.k, noté α_{μ + ν} :

Remarque : il se peut que μ + ν - 1 soit plus grand que m, pour que la formule précédente soit valable, il faut utiliser la convention que b_j est égal à zéro si j est strictement plus grand que m.

L'expression trouvée de α_{μ + ν} comporte un terme qui n'est pas multiple de p et d'une somme de multiple de p, ce qui démontre que α_{μ + ν} n'est pas un multiple de p. Aucun nombre premier ne divise le contenu du produit car il existe toujours un coefficient non multiple de ce nombre premier. On en déduit ce contenu est égal à un, car par convention il est positif.

• Le contenu du produit de deux polynômes non nul à coefficients dans Q est égal au produit du contenu des deux polynômes :

Soit f et g deux polynômes, c et d leur contenu respectif et h et k les deux polynômes à coefficients dans Z et primitifs tel que f = c.h et g = d.k. L'égalité suivante montre que le contenu du produit est égal à c.d :

En effet, comme h et k sont deux polynômes non nuls primitifs leur produit est aussi primitif, ce qui termine la démonstration.

• Démonstration du lemme de Gauss :

Notons f et g les deux polynômes de l'énoncé. Un des polynômes f ou g (supposons f pour simplifier les notations) possède un contenu fractionnaire a/b avec b différent de un. Le polynôme f s'écrit f = a/b. h ou h est un polynôme à coefficients entiers primitif. Soit h_n le coefficient du monôme dominant (celui de plus haut degré) de h. Comme f est unitaire, on a h_na/b égal à un, en conclusion a est égal à un et h_n à b. Le contenu de f est égal à 1/b avec b différent de un.

De la même manière le contenu de g s'écrit 1/c, le contenu du produit f.g égal au produit des contenus donc égal à 1/bc. Comme b n'est pas égal à un, cette fraction ne peut être élément de Z, le contenu de f.g n'est pas un entier, le produit ne peut avoir ses coefficients dans Z.

Notes

Références

• Disquisitiones Arithmeticae
• Traduction française par Poullet-Delisle en 1807

• Portail des mathématiques