4CHAPITRE 1. ANNEAUX ET CORPS
-k[[X]] anneau des s´eries formelles `a une ind´etermin´ee sur un corps k,
l’ensemble des applications de IN dans k, utilis´es en combinatoire (s´eries
g´en´eratrice), ou pour la r´esolution d’´equations diff´erentielles.
1.1.1 Divisibilit´e dans un anneau
Dans un anneau Aon d´efinit une relation binaire divise, de pr´eordre (c’est `a
dire r´eflexive et transitive) not´ee |, d´efinie par :
a, b ∈A b|a⇐⇒ ∃c∈A a =bc.
Deux ´el´ement aet bseront dits associ´es dans As’ils v´erifient :
a|bet b|a.
Tout ´el´ement xde Adivise z´ero, mais on dira qu’un ´el´ement xest un divi-
seur de z´ero s’il est non nul (x6= 0A) et s’il existe un ´el´ement y6= 0Atel que
xy = 0A.
L’anneau Aest dit int`egre s’il ne poss´ede pas de diviseur de z´ero.
Si un ´element dest une borne inf´erieure d’un ensemble Spour la relation
d’ordre not´ee |, c’est `a dire si :
-i) d divise tout ´el´ement ade S,
- ii) un ´el´ement mde Aqui divise tout ´el´ement ade
S, v´erifie : mdivise d.
On dit alors que dest le plus grand commun diviseur (pgcd) de la
partie S, on ´ecrit d=pgcd(S), il est d´efini `a ”l’association” pr`es.
Si 1 = pgcd(S) les ´el´ements de Ssont dits premiers entre eux.
On d´efinit de mˆeme la notion de plus petit commun multiple (ppcm) comme
borne sup´erieure d’une partie de A.
Il d´ecoule de fa¸con ´evidente des d´efinitions que :
- Dans un anneau Asi deux ´el´ements xet ysont tels que xdivise y, alors
pgcd(x, y) = xet ppcm(x, y) = y.
-Soient x, y, z des ´el´ements de A, tel que pgcd(x, y, z) soit d´efini alors
pgcd(x, y, z) = pgcd(pgcd(x, y), z).
Unit´es de l’anneau
Un ´el´ement ade l’anneau Aest dit inversible s’il divise l’´el´ement unit´e 1A
de l’anneau, on dit alors que aest une unit´e de l’anneau A.
L’ensemble des ´el´ements inversibles dans (A, ×) : Amuni de la loi interne ×