22.07.2015 Views

Anneau des polynômes

Anneau des polynômes

Anneau des polynômes

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

6.3.5. Algorithme d’EuclideL’algorithme d’Euclide est un procédé itératif permettant le calcul du pgcd (A; B) ;en se basant sur l’idée suivante: pgcd (A; B) = pgcd (B; R) où R est le reste de ladivision euclidienne de A par B:Exemple: Calculons pgcd (X 4 1; X 3 1) :2X 4 2 X 3 1 et X 3 1 2X 22X 2 2X X 2 112 X2 + 1X + 1 2 2X 10Alors pgcd (2X 4 2; X 3 1) = pgcd (X 3 1; 2X 2) = pgcd (2X 2; 0)= 1 (2X 2) = X 12On multiplie par 1 pour obtenir un polynôme unitaire.26.3.6. Polynômes premiers entre eux6.3.6.1 Dé…nition: Soit (P 1 ; P 2 ; :::; P s ) 2 K [X] s1) On dit que P 1 ; P 2 ; :::; P s sont premiers entre eux si a 1 ^ a 2 ^ ::: ^ a q = 1:2) On dit que P 1 ; P 2 ; :::; P s sont deux à deux premiers entre eux si P i ^ P j = 1:pour i 6= j ( i; j 2 f1; 2; :::; sg)6.3.6.2 Théorème de Bezout: Les <strong>polynômes</strong> P 1 ; P 2 ; :::; P s sont premiers entreeux si, et seulement, s’il existe (U 1 ; U 2 ; :::; U s ) 2 K [X] s tel ques Pi=1P i :U i = 1PPreuve: On a P 1 ^P 2 ^:::^P s = 1 donc s P i :K [X] = 1:K [X] ; alors il existe(U 1 ; U 2 ; :::; U s ) 2 K [X] s Ptel que s P i :U i = 1:i=1sPInversement, si P i U i = 1; alors tout diviseur commun <strong>des</strong> P i divise 1; donci=1P 1 ^P 2 ^:::^P s divise 1, alors deg (P 1 ^ P 2 ^ ::: ^ P s ) = 0 et puisqu’il est unitaire,il est égal à 1Exemple: Si 1 , 2 2 K, alors les <strong>polynômes</strong> X 1 et X 2 sont premiersenter eux si 1 6= 2 . En e¤et: ( 1 2 ) 1 (X 1 ) ( 1 2 ) 1 (X 2 ) = 1..6.3.6.3 Théorème de Gauss: Soient A; B; C <strong>des</strong> <strong>polynômes</strong> de K [X]Si A divise B:C et A est premier avec B , A divise CPreuve: IL existe U et V tels que AU + BV = 1 en multipliant par C =A:U:C + B:V:C donc A divise C car A divise A:U:C + B:V:C .i=111

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!