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.

de son terme dominant, pour obtenir un polynôme de même degré dans I)On a B:K [X] I (car I est un idéal):Inversement; pour tout P 2 I , il existe (Q; R) 2 K [X] 2 tel que R = P QB;avec deg R < deg B (Voir 6.3.2). Comme I est un idéal et P 2 I , QP 2 I ,alors R = P QB 2 I et le fait que deg R < deg B , implique R = 0 (car B estun polynôme non nul de I de degré minimal appartenant à I). Par conséquentP = QB et I B:K [X]Les deux inclusions obtenues donnent l’égalité I B:K [X] :Si B:K [X] = B 0 :K [X] ; alors B = B 0 avec 2 K (voir Propo.6.3.1.2 ) etpuisque B et B 0 sont unitaires ou nuls, alors = 1, d’où l’unicité de B:6.3.4. Notion de pgcd et de ppcm.Dans ce qui suit K est un corps commutatif.6.3.4.1.Théorème et dé…nition: Soient P 1 ; P 2 ; :::; P s <strong>des</strong> <strong>polynômes</strong> de K [X].sP1) Il existe un unique polynôme unitaire ou nul D véri…ant P i :K [X] = D:K [X]p2) Il existe un unique polynôme unitaire ou nul M véri…ant \ P i:K [X] = M:K [X] :i=1D s’appelle le plus grand commun diviseur de la fammille P 1 ; P 2 ; :::; P s et il estnoté pgcd (P 1 ; P 2 ; :::; P s )M s’appelle le plus petit commun multiple de la fammille P 1 ; P 2 ; :::; P s et il estnoté ppcm (P 1 ; P 2 ; :::; P s )PPreuve: 1) Montrons que s P i :K [X] est un idéal de (K [X] ; +; :) : En e¤et:P1.1) 0 = P 1 :0 + P 2 :0 + ::: + P s :0 donc 0 2 s P i :K [X]i=1P1.2) Si T 2 s PP i :K [X] et Q 2 s P i :K [X] ; alors T = P 1 :T 1 +P 2 :T 2 +:::+P s :T si=1i=1et Q = P 1 :Q 1 + P 2 :Q 2 + ::: + P s :Q s d’où T Q = P 1 : (T 1 Q 1 ) + P 2 : (T 2 Q 2 ) +P::: + P s : (T s Q s ) 2 s P i :K [X]i=1P1.3) Si Q 2 K [X] et T 2 s P i :K [X] ; alors T = P 1 :T 1 + P 2 :T 2 + ::: + P s :T si=1Pd’où Q:T = P 1 : (Q:T 1 ) + P 2 : (Q:T 2 ) + ::: + P s : (Q:T s ) 2 s P i :K [X]i=1sPDonc, d’après cours 4, Prop 4.2.6.1, P i :K [X] est un idéal de (K [X] ; +; :)i=1i=1i=18

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

Saved successfully!

Ooh no, something went wrong!