A[X]est munides op´erations :
(X
n
anXn)+(X
n
bnXn)=X
n
(an+bn)Xn.
(X
n
anXn)×(X
m
bmXm)=X
p
cpXp,cp=X
k
akbp−k.
Proposition 1.2.1. A[X]est une alg`ebresur A.
Remarque 1.2.2.L’application qui d´efinit la structure d’alg`ebre est injective,
d’image lespolynˆomes constants ;Aest identifi´eau sous-anneau deA[X]
form´epar les polynˆomes constants.
Proposition 1.2.3 (Propri´et´euniverselle).Soit Bune alg`ebresur l’anneau
commutatif A,et bun ´el´ement de B,alors il existe un unique morphisme
d’alg`ebreEb:A[X]→Btel que Eb(X)=b.
Remarque 1.2.4.Ebest appel´emorphisme d’´evaluation et Eb(P)estnot´e
P(b).
D´efinition 1.2.5. Le degr´ed’un polynˆome non nul P=PnanXnest le plus
grand npour lequel an6=0(convention :deg(0) =−∞).
Proposition 1.2.6. Si Aest un anneau commutatif int`egre, alors :
a) deg(PQ)=deg(P)+deg(Q),
b) les inversibles de A[X]sont les inversibles de A,et
c) A[X]est un anneau int`egre.
1.2.2 S´erie formelles
Dans la d´efinition pr´ec´edente de l’anneau des polynˆomes, si on ne demande
plus que la suite des coefficients soit `a support fini, on obtientl’anneau des
s´eries formelles `a coefficients dans l’anneau commutatif A,not´eA[[X]]. Les
´el´ements de A[[X]] s’´ecrivent:
S=X
n
anXn,
sans aucune condition sur le support, ni sur la convergence quand celle-ci
pourrait avoir un sens. Les op´erations sontd´efinies avec les mˆemes formules
que pour les polynˆomes.
Exercice1.2.7.Caract´eriser les ´el´ements inversibles de A[[X]], lorsque Aest
un anneau commutatif int`egre.
Exercice1.2.8 (Nombres de Catalan).On note cnle nombre de parenth´esages
d’un mot constitu´ede n+1symboles. Montrer que la s´erie formelle
C=PncnXnsatisfait une ´equation de degr´e2. R´esoudre l’´equation et
d´eduire le calcul de cn..
4