Exemple
Si a = (2, 1, 0, 0, 0, ......., 0,........)
et b = (0, 1, 3, 0, 0, ......., 0,........)
alors a × b = (0, 2, 7, 3, 0, ......., 0,........)
Ce résultat correspond à une vision théorique de (2
+
X) (X
+
3X
2
) = 2X
+
7X
2
+
3X
3
.
Remarque
Si on pose : 1 = (1, 0, 0, 0, 0, ......., 0,........)
X = (0, 1, 0, 0, 0, ......., 0,........)
X
2
= (0, 0, 1, 0, 0, ......., 0,........)
On a X × X
2
= X
3
.
On peut vérifier que, dans un cadre plus général, si n et p sont des entiers naturels, X
n
× X
p
= X
n+p
.
En effet, X
n
= (0, 0, 0, 0, 0, ..., 0, 1, 0, ........) = (α
k
)
k∈
où α
k
= 0 si k n
!
α
k
= 1 si k = n
X
p
= (0, 0, 0, 0, 0, ..., 0, 1, 0, ........) = (β
l
)
l∈
où β
l
= 0 si l p
!
β
l
= 1 si l = p
X
n
× X
p
= (
γ
m
)
m∈
où
γ
m
=
i=0
m
i
m−i
Le seul cas où α
i
β
m−i
est non nuls est lorsque i = n et m − i = p
C'est-à-dire m = p + n.
Définition - Propriété
Soit (A,+,×) un anneau commutatif unifère.
L’ensemble des suites presque nulles muni des lois de compositions + et × précédemment définies est un
anneau commutatif unifère appelé anneau des polynômes à une indéterminée, à coefficients dans A et est
noté A[X].
Remarque
On note P = (a
0
, a
1
, a
2
,......., a
p
, 0, 0, ........) = .
n=0
p
a
n
X
n
X = (0, 1, 0, 0, 0, ......., 0,........) est appelée l’indéterminée de A[X].
On vérifie que cette notation correspond bien aux lois que l’on connaît sur les polynômes.
Démonstration
(A[X],+) est un groupe abélien.
L’associativité et la commutativité proviennent directement de ces même propriétés dans A.
0 = (0, 0, 0, ......, 0, .......) est la suite nulle.
Si P = (a
0
, a
1
, a
2
,......., a
n
, ........), on définit −P = (−a
0
, −a
1
, −a
2
,......., −a
n
, ........).
(A[X],×) est un monoïde commutatif.
Loi de composition interne : voir degré.
Loi commutative : de part la définition.
Elément neutre : 1 = (1, 0, 0, 0, 0, ......., 0,........)
On vérifie que 1.P = P.
Loi associative :
Si P = (a
0
, a
1
, a
2
,......., a
n
, ........), Q = (b
0
, b
1
, b
2
,......., b
n
, ........)
et R = (c
0
, c
1
, c
2
,......., c
n
, ........),
F. Wlazinski
2