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].

Le lemme originel apparaît dans les Disquisitiones arithmeticae de Gauss, à l'article 42, sous la forme contraposée suivante^[1] :

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.

Démonstration de la version de Gauss à partir de la version moderne ci-dessous

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^[2]^,^[3]. 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)^[4] :

« 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^[5]^,^[6] :

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 \leq k \leq 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^[4] :

Démonstration de la version moderne ci-dessous à partir du théorème de Kronecker

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

Articles détaillés : Anneau factoriel et Anneau à PGCD.

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₀ + a₁X + … + a_nXⁿ de A[X] est dit primitif si PGCD(a₀, a₁, … , 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.

Preuve de ces propriétés élémentaires du contenu

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^[7] ou l'autre^[8]^,^[9]^,^[10] des deux théorèmes équivalents suivants, ou les deux^[11]^,^[12], é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^[13]^,^[14].
Pour tous polynômes P et Q de K[X], c(PQ) = c(P)c(Q)^[15]^,^[16].

Plus précisément^[17], 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.

Preuve de ce point clé

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^[9]^,^[11], et avec « premier dans A[X] » remplacé (provisoirement) par « irréductible dans A[X] »^[18]^,^[19]^,^[7]^,^[10]. Il est parfois appelé lui aussi « lemme de Gauss »^[20] :

Corollaire^[13] — 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].

Démonstration

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^[9]^,^[11]^,^[13]^,^[19]^,^[18] (donc tout anneau de polynômes en plusieurs indéterminées à coefficients dans A est aussi factoriel^[9]).

Ce corollaire peut aussi être utilisé pour démontrer le critère d'irréductibilité d'Eisenstein^[21]^,^[22].

Enfin, la version de Gauss suffit pour démontrer que les polynômes cyclotomiques (unitaires à coefficients entiers) sont irréductibles.

v · m Travaux de Carl Friedrich Gauss
Algèbre	Lemme de Gauss Élimination de Gauss-Jordan Méthode de Gauss-Seidel Somme de Gauss Théorème de d'Alembert-Gauss
Analyse	Algorithme de Gauss-Newton Théorème de Gauss-Lucas Fonction gaussienne Intégrale de Gauss Méthodes de quadrature de Gauss
Théorie des nombres	Opérateur de Gauss-Kuzmin-Wirsing Constante de Gauss Lemme de Gauss Entier de Gauss Loi de réciprocité quadratique
Statistiques	Théorème de Gauss-Markov Fonction de Gauss
Géométrie	Formule de Gauss-Bonnet Équations de Gauss-Codazzi Courbure de Gauss
Physique	Théorème de Gauss gravitationnel Théorème de Gauss en électromagnétisme Faisceau gaussien Système d'unités gaussiennes

Lemme de Gauss (polynômes)

Version moderne

Applications

Notes et références

Bibliographie

Related Articles