Polynôme/Arithmétique des polynômes

Début de la boite de navigation du chapitre

désigne toujours un corps commutatif et l'anneau des polynômes à coefficients dans ce corps.

Arithmétique des polynômes
Icône de la faculté
Chapitre no 2
Leçon : Polynôme
Chap. préc. :Définitions
Chap. suiv. :Dérivation formelle

Exercices :

Arithmétique des polynômes
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, « Polynôme : Arithmétique des polynômes
Polynôme/Arithmétique des polynômes
 », n'a pu être restituée correctement ci-dessus.

Division euclidienne et divisibilité dans K[X]

modifier
Début d’un théorème
Fin du théorème


Exemple : Division de x4-x3+x2-x+8 par x2+3x+1

  • Étape 1 : division de x4-x3+x2 par x2+3x+1 (quotient x2, reste -4x3)
x4 - x 3 + x2 - x + 8 x2 + 3x + 1
x4 + 3x3 + x2 x2
- 4x3
  • Étape 2 : division de -4x3 - x par x2 + 3x + 1 (quotient -4x, reste 12x2 + 3x)
x4 - x 3 + x2 - x + 8 x2 + 3x + 1
x4 -3x3 + x2 x2 - 4x
- 4x3 - x
-4x3 - 12x2 -4x
+ 12x2 + 3x
  • Étape 3 : division de 12x2 - 3x + 8 par x2 + 3x + 1 (quotient 12, reste -33x - 4)
x4 - x 3 + x2 - x + 8 x2 + 3x + 1
x4 + 3x3 + x2 x2 - 4x + 12
- 4x3 - x
-4x3 - 12x2 -4x
+ 12x2 + 3x + 8
12x2 + 36x +12
- 33x - 4
  • Conclusion : x4 - x 3 + x2 - x + 8 = (x2 + 3x + 1)(x2 - 4x + 12) - 33x - 4



Les démonstrations se font comme dans   (voir le cours d'arithmétique).

PGCD et PPCM

modifier

Définitions

modifier


Remarques :

  •  .
  • Deux PGCD ou PPCM d'un même couple de polynômes sont associés (c'est-à-dire égaux à une constante multiplicative près).
  • Comme dans  , deux polynômes sont dits premiers entre eux si, et seulement si, leur PGCD vaut 1 (en fait, cela équivaut à dire que leur PGCD est un polynôme constant).

Il est le même que dans  . On établit le lemme d'Euclide :

Début d'un lemme
Fin du lemme


On en déduit l'algorithme d'Euclide :

Soient   tels que  .

Opération Reste   Commentaires
on divise   par      
si  , on divise   par      
si  , on divise   par      

Théorèmes d'arithmétique

modifier

Ces théorèmes se démontrent comme dans  .

Début d’un théorème
Fin du théorème


Début d’un théorème
Fin du théorème


Idéaux de K[X]

modifier
Début d’un théorème
Fin du théorème


Polynômes premiers et irréductibles

modifier


Comme dans tout anneau vérifiant le théorème de Gauss, on a :


Mieux : on a vu que   est principal ; on en déduit :