Polynômes (2/8)

Soit {A} et {B} deux éléments de {\mathbb{K}[X]}. On dit que {B} est un diviseur de {A}, ou encore que {A} est un multiple de {B}, et on note {B\mid A}, s'il existe un polynôme {Q} tel que {A=BQ}.
On note {\mathcal{D}(A)} l'ensemble des diviseurs du polynôme {A}, et {A\,\mathbb{K}[X]} l'ensemble de ses multiples.

Si {A=BQ} avec {B\ne0}, alors {Q} (le quotient exact de {A} par {B}) est défini de façon unique.

Étant donnés deux polynômes {A,B}, avec {B\ne0}, il est exceptionnel que {B} divise {A}.
Si cela se produit, on évitera de noter {\dfrac{A}{B}} leur quotient exact.

Pour tout polynôme {B}, on a {0=QB} avec {Q=0}. Le polynôme nul est donc un multiple de tout polynôme {B}.
En d'autres termes, tout polynôme {B} de {\mathbb{K}[X]} divise le polynôme nul.
En revanche le polynôme nul ne divise que lui-même (car {A=Q0\Rightarrow A=0}).

On peut résumer ces remarques en écrivant d'une part {\mathcal{D}(0)=\mathbb{K}[X]} et d'autre part {0\mathbb{K}[X]=\{0\}}.

L'égalité évidente {B=1A} dit que le polynôme constant {1} divise tout polynôme {B}, ou encore que tout polynôme de {\mathbb{K}[X]} est multiple du polynôme {1}. Ainsi {1\mathbb{K}[X]=\mathbb{K}[X]}.

Mais seuls les polynômes constants non nuls divisent le polynôme {1} (car {B\mid 1} signifie que {B} est inversible pour le produit, ou encore : {BQ=1\Rightarrow\deg(B)=0}). Ainsi {\mathcal{D}(1)=\mathbb{K}^*}.