Soit K un corps commutatif.
Définition : Un polynôme dans K[X] est multiple d’un polynôme Q dans K[X] s’il existe un polynôme R dans K[X] tel que P=QR.
On dit que Q est un diviseur de P ou que Q divise P et on note Q|P.
Exemple : tout polynôme constant non nul divise tous les polynômes.
Théorème : Division euclidienne
Soit A un polynôme de K[X] et B un polynôme non nul de K[X].
Il existe un unique couple de polynômes (Q,R) tel que A=BQ+R et degR<degB.
Théorème : Identité de Bezout
Soit A et B deux polynômes de K[X].
Il existe un unique polynôme unitaire D de K[X] tel que pour tout polynôme P de K[X], P divise A et B si et seulement si P divise D.
Il existe deux polynômes U et V de K[X] tel que D=AU+BV.
Le polynôme unitaire D est le plus grand commun diviseur de deux polynômes A et B. Il est noté pgcd(A,B).
Remarque : un polynôme est unitaire si le coefficient du monôme de plus haut degré est égal à 1.
Définition : Soit n≥1 un nombre entier.
On dit que n polynômes de K[X] sont premiers entre eux (dans leur ensemble) quand leurs seuls diviseurs communs sont des polynômes constants non nuls, c’est-à-dire que leur pgcd est égal à 1.
Définition : Un polynôme P dans K[X] est irréductible s’il est non constant et si ses seuls diviseurs sont les polynômes constants et les polynômes qui lui sont associés, c'est-à-dire les polynômes de la forme λP avec λ∈K⋆.
Exemple : Dans R[X], les polynômes irréductibles sont les polynômes de degré 1 et les polynômes de degré 2 de discriminant négatif.