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 n1 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.