# Lemme de Gauss (polynômes)

En mathématiques, le lemme de Gauss originel énonce que si un polynôme à coefficients entiers est produit de deux polynômes unitaires à coefficients rationnels, ceux-ci sont en fait nécessairement à coefficients entiers.
Sa version moderne en est une double généralisation, remplaçant l'anneau des entiers par un anneau factoriel A, et stipulant que le produit de deux polynômes primitifs (c.-à-d. à coefficients premiers entre eux) est primitif. Elle permet de démontrer la factorialité de l'anneau A[X].

## Versions historiques

Le lemme originel apparaît dans les Disquisitiones arithmeticae de Gauss, à l'article 42, sous la forme contraposée suivante :
Version de Gauss — Soient deux polynômes unitaires $P=X^{m}+a_{m-1}X^{m-1}+\dots +a_{1}X+a_{0}$ et $Q=X^{n}+b_{n-1}X^{n-1}+\dots +b_{1}X+b_{0}.$
Si leurs coefficients $a_{0},a_{1},a_{2},\ldots ,a_{m-1},b_{0},b_{1},b_{2},\ldots b_{n-1}$ sont tous rationnels, sans être tous entiers,
alors leur produit PQ a au moins un coefficient qui n'est pas entier.
On peut même remplacer, comme dans la version moderne, l'anneau des entiers par n'importe quel anneau intègre A à PGCD, et le corps des rationnels par le corps K des fractions de A.
Il s'agit de prouver que pour tous polynômes unitaires $P,Q\in K[X]$, si $PQ\in A[X]$ alors $P,Q\in A[X]$.
Par hypothèse, $c(P)={\frac {1}{a}}$ et $c(Q)={\frac {1}{b}}$ avec $a,b\in A$, et ${\frac {1}{ab}}=c(PQ)\in A$, donc $a,b$ sont des inversibles de A, ce qui prouve que $P,Q\in A[X]$.
Harold Edwards remarque que cette version historique a l'avantage, par rapport à la « version moderne » ci-dessous, de se prêter à une « profonde généralisation », dans laquelle les entiers usuels sont remplacés par les entiers algébriques, et les nombres rationnels par les nombres algébriques$^,$. Richard Dedekind a redécouvert (dix ans après Leopold Kronecker) une version encore plus générale (il l'avait dans un premier temps formulée seulement pour les entiers usuels) :
« Théorème de Prague » de Dedekind — Soient P et Q deux polynômes à coefficients algébriques. Si les coefficients du produit PQ sont des entiers algébriques, alors le produit de n'importe quel coefficient de P par n'importe quel coefficient de Q est un entier algébrique.
La version de Kronecker était en réalité bien plus générique$^,$ :
Théorème de Kronecker — Dans l'anneau $\mathbb {Z} [a_{0},\dots ,a_{m},b_{0},\dots ,b_{n}]$ de polynômes en m + n + 2 indéterminées, soit C le sous-anneau engendré par les $c_{k}:=\sum _{i+j=k}a_{i}b_{j}$ (0 ≤ k ≤ m + n). Alors, chacun des (m + 1)(n + 1) éléments $a_{i}b_{j}$ est entier sur C.
De plus, en se passant (comme le théorème de Prague) de l'hypothèse « polynômes unitaires », elle englobait aussi la version moderne ci-dessous :
Soient A un anneau intègre à PGCD et $P=\sum _{i=1}^{m}p_{i}X^{i},Q=\sum _{j=1}^{n}q_{j}X^{j}\in A[X]$ deux polynômes primitifs. Soit $d\in A$ tel que $PQ\in dA[X]$. Alors, chaque $p_{i}q_{j}/d$ est entier sur A donc appartient à A (car A est intégralement clos), si bien que d divise $\operatorname {PGCD} (\{p_{i}q_{j}\mid 0\leq i\leq m,0\leq j\leq n\})=\operatorname {PGCD} (p_{0},\dots ,p_{m})\times \operatorname {PGCD} (q_{0},\dots ,q_{n})=1$. Ainsi, tout diviseur commun aux coefficients de PQ est inversible, c'est-à-dire que PQ est primitif.

## Version moderne

Pour exprimer la version moderne du lemme de Gauss, on a besoin de deux notions : celle de polynôme primitif et celle de contenu d'un polynôme :
   Soient A un anneau intègre et K son corps des fractions.
   * Un polynôme P = a$_0$ + a$_1$X + … + a$_n$X$^n$ de A[X] est dit primitif si PGCD(a$_0$, a$_1$, … , a$_n$) = 1.
   * Si A est à PGCD, tout polynôme P de K[X] s'écrit comme le produit d'une constante de K et d'un polynôme primitif de A[X]. Cette constante, appelée contenu de P et notée c(P), n'est définie qu'à produit près par un inversible de A, et elle appartient à A si et seulement si P est à coefficients dans A.
* Le contenu de P existe et est unique à produit près par un élément inversible de A :
** Existence. Les coefficients de P sont des fractions d'éléments de A. 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. En mettant en facteur le pgcd d des coefficients de R, on obtient P = dS/b avec S primitif, donc d/b est un contenu pour P.
** Unicité. Si ${\frac {d}{b}}S={\frac {d'}{b'}}T$ avec $d,d'\in A,b,b'\in A^{*},S=\sum s_{i}X^{i},T=\sum t_{i}X^{i}\in A[X]$ et $S,T$ primitifs alors $b'dS=bd'T$ donc à produit près par un inversible de A, $b'd=\operatorname {pgcd} (b'ds_{i})=\operatorname {pgcd} (bd't_{i})=bd'$.
* Le contenu de P appartient à A si et seulement si P est à coefficients A : Le « seulement si » est immédiat. Réciproquement, si P est à coefficients dans A, alors (d'après la preuve d'existence précédente) cont(P) est le pgcd de ces éléments de A.
La version moderne du lemme de Gauss est alors, selon les auteurs, l'un ou l'autre$^,$$^,$ des deux théorèmes équivalents suivants, ou les deux$^,$, énoncés le plus souvent seulement pour un anneau factoriel A.
Version moderne du lemme de Gauss — Soient A un anneau intègre à PGCD et K son corps des fractions.
* Si deux polynômes P et Q de A[X] sont primitifs, leur produit PQ est primitif$^,$.
* Pour tous polynômes P et Q de K[X], c(PQ) = c(P)c(Q)$^,$.
Plus précisément, pour tout anneau intègre A :
* si A est à PGCD alors il vérifie le lemme de Gauss usuel : si a divise bc et si a est premier avec b, alors a divise c ;
* s'il vérifie ce lemme alors il vérifie la propriété « PP » (primalité avec un produit) : si a est premier avec b et c alors il est premier avec bc ;
* PP équivaut au point 1 ci-dessus (donc aussi au point 2 lorsque A est à PGCD) ;
* les deux implications élémentaires « à PGCD ⇒ Gauss usuel » et « Gauss usuel ⇒ PP » sont strictes.
L'implication « PP ⇒ point 1 » est donc le point clé de la version moderne ci-dessus.
Raisonnons par l'absurde, en supposant que (pour un certain anneau A vérifiant PP) il existe deux polynômes primitifs $P=\sum a_{i}X^{i},Q=\sum b_{j}X^{j}\in A[X]$ dont le produit PQ est divisible par un élément non inversible de A. Choisissons alors un couple $(i,j)$ de somme maximum, parmi les couples d'indices tels qu'un certain diviseur non inversible d de PQ divise aussi $a_{0},\dots ,a_{i-1},b_{0},\dots ,b_{j-1}$. Par maximalité, d est premier avec $a_{i}$ et $b_{j}$ donc avec leur produit, si bien qu'il ne divise pas $a_{i}b_{j}$. Mais ceci est absurde, puisqu'il divise tous les autres termes de la somme $\sum _{i'+j'=i+j}a_{i'}b_{j'}$ et qu'il divise cette somme.

## Applications

Le corollaire suivant de cette version moderne est énoncé lui aussi le plus souvent seulement pour un anneau A factoriel$^,$, et avec « premier dans A[X] » remplacé (provisoirement) par « irréductible dans A[X] »$^,$$^,$$^,$. Il est parfois appelé lui aussi « lemme de Gauss » :
Corollaire — Soient A un anneau intègre à PGCD et K son corps des fractions. Les éléments premiers de A[X] sont :
* les éléments premiers de A ;
* les polynômes primitifs de A[X] irréductibles dans K[X].
Soit P un polynôme non constant à coefficients dans A.
* Supposons P premier dans A[X]. Alors il est irréductible dans A[X] donc :
** P est primitif ;
** de plus, si P = BC avec B et C dans K[X] alors, d'après le lemme de Gauss, P = QR avec Q = B/c(B) et R = C/c(C) dans A[X], si bien que Q ou R est inversible dans A[X] donc B ou C est inversible dans K[X].
* Réciproquement, supposons P primitif et irréductible dans K[X] et montrons qu'il est premier dans A[X].
    Supposons que P divise QR dans A[X]. Comme P divise QR dans K[X], il divise (par exemple) Q dans K[X]. Le polynôme S := Q/P vérifie alors c(S) = c(Q)/c(P) = c(Q) ∈ A donc S ∈ A[X], donc P divise Q dans A[X].
Soit maintenant p un élément de A. Si p est premier dans A[X], il est clairement premier dans A. Réciproquement, s'il est premier dans A et s'il divise QR dans A[X], alors il divise c(QR) = c(Q)c(R) donc il divise (par exemple) c(Q) dans A, donc p divise Q dans A[X].
On déduit de ce corollaire que si A est un anneau intègre à PGCD alors l'anneau de polynômes en plusieurs indéterminées A[(X$_i$)$_{i∈I}$] aussi (que I soit fini ou infini), et que de même, si A est un anneau factoriel alors l'anneau de polynômes A[X] est factoriel$^,$$^,$$^,$$^,$ (donc tout anneau de polynômes en plusieurs indéterminées à coefficients dans A est aussi factoriel).
Ce corollaire peut aussi être utilisé pour démontrer le critère d'irréductibilité d'Eisenstein$^,$.
Enfin, la version de Gauss suffit pour démontrer que les polynômes cyclotomiques (unitaires à coefficients entiers) sont irréductibles.