2. Soient S=
n∈N
anXnet T=
n∈N
bnXndeux s´eries formelles avec val (T) = 0 (soit b0̸= 0).
Montrer que, pour tout entier naturel n, il existe un unique couple (Qn, Rn)∈Kn[X]×K[[X]]
tel que S=T Qn+Xn+1Rn.
Dans le cas o`u Set Tsont des polynˆomes, avec T(0) ̸= 0,on retrouve le th´eor`eme de division
suivant les puissances croissantes dans K[X].
3. Montrer qu’une s´erie formelle est inversible si, et seulement si, val (S) = 0.
Pour S∈K[[X]] inversible, on note S−1ou 1
Sl’inverse de S.
4. Montrer que, pour tout scalaire λ∈K\{0},la s´erie formelle 1 −λX est inversible d’inverse :
1
1−λX =
n∈N
λnXn
5. Montrer que, pour tous scalaires λ̸=µdans K\ {0},la s´erie formelle (1 −λX) (1 −µX) est
inversible d’inverse :et :
1
(1 −λX) (1 −µX)=1
λ−µλ
1−λX −µ
1−µX
6. Montrer que, pour tout entier p≥1,la s´erie formelle (1 −X)pest inversible d’inverse :
1
(1 −X)p=
n∈Nn+p−1
p−1Xn
7. On suppose que le corps Kest de caract´eristique nulle.
Soient S, T deux s´eries formelles dans K[[X]] ,la s´erie T´etant inversible.
(a) Montrer que S′= 0 si, et seulement si, S∈K.
(b) Montrer que (ST )′=S′T+ST ′et S
T′
=S′T−ST ′
T2.
(c) En supposant S´egalement inversible, montrer que S′
S=T′
Tsi, et seulement si, il existe
un scalaire λ∈Ktel que S=λT.
8. Montrer que, pour tout entier p≥1,la d´eriv´ee p-`eme de 1 −Xest :
Dp1
1−X=p!1
(1 −X)p+1
9. Montrer que les id´eaux non r´eduit `a {0}de K[[X]] sont de la forme :
(Xn) = {S∈K[[X]] |val (S)≥n}
Donc l’anneau K[[X]] est principal.
10. Quels sont les ´el´ements irr´eductibles de K[[X]] ? ´
Ecrire la d´ecomposition en facteurs irr´eductibles
d’une s´erie enti`ere non nulle et non inversible.
11. Montrer que l’anneau K[[X]] est euclidien (donc principal) pour le stathme :
val : S∈K[[X]] \ {0} 7→ val (S)
3