Définition
Un polynôme appartenant à
est dit polynôme irréductible si il est irréductible en tant qu'élément de l'anneau
, c'est-à-dire s'il n'est pas inversible et si tout diviseur de est une unité ou est produit de par une unité.
Pour plus d'informations sur la recherche de facteurs irréductibles communs à deux polynômes, on consultera
le théorème .
Théorème
Les polynômes irréductibles de
sont les polynômes de degré .
Les polynômes irréductibles de
sont les polynômes de degré et les polynômes
, avec et .
Démonstration:Il est évident que les polynômes considérés sont bel et bien irréductibles, dans les deux cas réel et complexe. Réciproquement, le théorème de D'Alembert-Gauss donne le résultat dans le cas complexe. Dans le cas réel, on procède comme suit:
Supposons
irréductible dans
.
Par simplicité et sans perte de généralité, on va supposer unitaire.
Si est racine de dans
, alors
l'est aussi, avec le même ordre de multiplicité.
n'a pas de racine réelle , sinon diviserait et ne serait pas irréductible.
peut donc s'écrire
.
est alors un polynôme réel (on le voit simplement en le développant), donc est un produit de polynômes de discriminants négatifs strictement (là aussi il suffit de développer pour le voir). Il n'est irréductible que s'il contient un et un seul tel terme.