Préliminaires sur les extensions de corps et les polynômes
Mémoire présenté et soutenu par NGNADJO J.
Remarques
Si deg.(a(x))<deg.(b(x)) ou deg.a(x)=0, alors a(x) est son propre reste dans la division par
b(x).
Si r(x)=0 et q(x)
0, alors a(x)=b(x)q(x) et on dit que b(x) divise a(x) ou encore que b(x)
est un diviseur de a(x).
Un polynôme a(x) non nul de K[X] est dit irréductible sur K, si ses seuls diviseurs dans
K[X] sont des polynômes constants non-nuls et les produits de a(x) par des constantes non nuls.
Théorème 3.1 ( de Bezout
)
Si a(x) et b(x) sont des éléments non-nuls de K[X], alors a(x) et b(x) sont premiers entre
eux si et seulement s’il existe u(x) et v(x) dans K[X] tels que u(x)a(x)+v(x)b(x)=1.
Théorème 3.2
Si K est un corps, alors K[X] est un anneau principal.
Preuve
On va montrer que tout idéal de K[X] est principal pour conclure. Soit I un idéal
0 de
K[X]. Soit g
I un polynôme différent du polynôme nul et ayant le plus petit degré dans I. Pour
tout f polynôme non nul de I on a : f=qg+r où r=0 ou deg.r<deg.g d’après b).
Il vient que r =f-qg
I. Donc r=0 car deg. r<deg. g , et g est le polynôme ayant le plus petit degré
dans I. Dès lors I=(g).
Théorème 3.3
Soit K un corps, et soit f un polynôme irréductible dans K[X]. Alors
est un corps.
Preuve :
Soit n le degré de f, alors K[X]/(f) est l’ensemble des polynômes de la forme :
ao+a1x1+…+an-1xn-1 muni de l’addition et de la multiplication modulo f(x).
K[X]/(f) est un anneau commutatif
Soit
K[X]/(f), avec
≠0 ; g est un représentant de la classe
. Alors g
(f). On
considère maintenant l’idéal I engendré par f et g. I=(t) pour un certain t
K[X] puisque K[X] est
un anneau principal ( voir théorème 3.2). Or f
I
f=wt ; w
K[X]. w n’est pas inversible : en
effet s’il l’était, I=(f) entraînerait la contradiction g
(f). Puisque f est irréductible, alors t est
inversible. D’où I= K[X] et 1=uf+vg où u,v
K[X]. Par conséquent,
K[X]/(f)
est la classe de v.
Bézout ( Etienne) (Nemours, 1730 – Les Bassesloges, 1783 )
Mathématicien français : théorie générale des équations algébriques (1779)