4.1. G ´
EN ´
ERALIT ´
ES 51
4.1.3 PGCD, PPCM, B´ezout
D´efinition 4.1.21 Soit Aun anneau factoriel. Soient a1, ..., an∈A. Un pgcd
(plus grand commun diviseur) des aidans Aest un diviseur commun des ai,
multiple de tout autre diviseur commun des ai. S’il existe, il est unique `a multi-
plication par une unit´e pr`es. On le note pgcd(a1, ..., an). L’id´eal pgcd(a1, ..., an)A
est bien d´efini (ind´ependant du choix d’un pgcd). On dit que les aisont premiers
ou (´etrangers) entre eux si pgcd(a1, ..., an) est inversible.
Un ppcm (plus petit commun multiple) des aidans Aest un multiple com-
mun des ai, diviseur de tout autre multiple commun. Comme pour le pgcd, si
un ppcm existe, il est alors unique `a multiplication par une unit´e pr`es. On le
note ppcm(a1, ..., an).
D´efinition 4.1.22 Soit fun ´el´ement irr´eductible de A. Pour tout a∈Anon-
nul, on note νf(a) l’entier v≥0 tel que fvdivise aet fv+1 ne divise pas a. Cet
entier ne d´epend que de l’id´eal f A. Il est appel´e la valuation de aen fA. On
pose par convention νf(0) = +∞et f+∞= 0.
Remarque 4.1.23 Soient a, b ∈A. On
νf(ab) = νf(a) + νf(b), νf(a+b)≥min{νf(a), νf(b)}.
De plus, a|bsi et seulement si νf(a)≤νf(b) pour tout irr´eductible f.
Pour fixer les id´ees, on choisira un ensemble Pd’´el´ements irr´eductibles de
Atel que tout ´el´ement irr´eductible de Asoit associ´e avec un unique ´el´ement
de P. Pour A=Z, on prend pour Pl’ensemble des nombres premiers. Pour
A=K[X], on prend pour Pl’ensemble des polynˆomes irr´eductibles unitaires.
Dans le cas g´en´eral, on n’a pas de choix canonique.
Proposition 4.1.24. Soit Aun anneau factoriel. Soient a1, ..., an∈Anon
tous nuls avec n≥2. Alors pgcd(a1, ..., an)et ppcm(a1, ..., an)existent.
Preuve: Il suffit de prendre pour le pgcd, l’´el´ement
pgcd(a1..., an) = Y
f∈P
fmin{νf(ai)}1≤i≤n
et pour le ppcm,
ppcm(a1..., an) = Y
f∈P
fmax{νf(ai)}1≤i≤n.
Notons que ces produits portent sur un nombre fini de fcar seuls un nombre
fini de f∈ P divisent l’un des ai. Dans la suite, on prendra pour pgcd et ppcm
ces produits. Ils d´ependent bien sˆur du choix de P. Par convention, f0= 1 si
f∈ P. Ainsi, si a1, ..., ansont premiers entre eux, alors pgcd(a1, ..., an) = 1.