Introduction
Les mots intervenant dans le terme "Plus Grand Commun Diviseur de polynômes" appellent quelques commentaires.
"Diviseur de polynômes" rappelons la définition.
Les polynômes considérés appartiennent à K[X]. On dit qu'un polynôme \(P\) divise un polynôme \(S\) (ou est un diviseur de \(S\)) s'il existe un polynôme \(Q\) tel que \(S = PQ\).
Commun diviseur de polynômes :
Il s'agit de polynôme divisant à la fois plusieurs polynômes donnés.
Par exemple, le polynôme \(X - 1\) divise le polynôme \(X^{2} - 1\) (car \(X^{2} - 1 = (X-1)(X+1)\)), mais aussi les polynômes \(X^{3} - 1\) (car \(X^{3} - 1 = (X-1)(X^{2} + X + 1)\)) ou \(X^{4}-1\) (car \(X^{4}-1 = (X-1)(X+1)(X^{2}+1)\)).
Donc, \(X-1\) est un diviseur commun aux trois polynômes \(X^{2}-1\), \(X^{3}-1\) et \(X^{4} -1\).
Plus grand
C'est "plus grand" au sens de la relation de divisibilité. Cela signifie que tout polynôme diviseur commun des polynômes donnés divise le "plus grand". C'est l'aspect qui apparaît dans l'énoncé du théorème.
On peut remarquer aussi que c'est un polynôme de plus grand degré, diviseur commun à des polynômes donnés.
Il est clair que le problème fondamental qui se pose est celui de l'existence d'un tel polynôme.
L'outil essentiel qui est utilisé pour le résoudre, est la connaissance de la forme des idéaux de K[X].