Proposition 3.4.1. A[X1, . . . , Xn]est une alg`ebresur A.
Remarque 3.4.2.L’application qui d´efinit la structure d’alg`ebre est injec-
tive, d’image les polynˆomes constants ;Aest identifi´eau sous-anneau de
A[X1,...,Xn]form´epar les polynˆomes constants.
Proposition 3.4.3 (Propri´et´euniverselle).Soit Bune alg`ebresur l’anneau
commutatif A,et b1,...,bndes ´el´ements de B,alors il existe un unique mor-
phisme d’alg`ebreE(b1,...,bn):A[X1,...,Xn]→Bqui envoie chaque Xisur
bi.
Proposition 3.4.4. Les anneaux A[X1,...,Xn−1,Xn]et
A[X1,...,Xn−1][Xn]sont isomorphes.
Corollaire 3.4.5. Si l’anneau Aest factoriel, alors A[X1,...,Xn]est facto-
riel.
D´efinition 3.4.6. Le multidegr´ed’un monˆome ak1,...,knXk1
1. . . Xkn
nest la
suite des exposants (k1,...,kn);son degr´etotal ou simplementson degr´e
est la somme des exposants :|k|=Piki.
Le degr´ed’un polynˆome non nul est le maximum des degr´es(totaux) de ses
monˆomes.
Un polynˆome est homog`ene si et seulementsi tous ses monˆomesontmˆeme
degr´e(total).
D´eriv´ees partielles
On d´efinit les d´eriv´ees partielles avec les formules habituelles ;on note
Dj=∂
∂Xjla d´erivation par rapport `a la variable Xj.
Remarque 3.4.7.Le lemme de Schwarz Di◦Dj=Dj◦Diest imm´ediat pour
les polynˆomes.
Th´eor`eme 3.4.8 (Formule de Taylor).Soient Aun anneau commutatif
int`egrede caract´eristique 0,et P∈A[X1,...,Xn].On a:
P=X
k
1
k1!. . . kn!
∂|k|P
∂Xk1
1. . . ∂Xkn
n
(0,...,0)Xk1
1. . . Xkn
n.
Proposition 3.4.9. Soit P∈A[X1,...,Xn]un polynˆome homog`ene de degr´e
d,alors :
X
i
Xi
∂P
∂Xi
=dP .
22