« Polynôme/Arithmétique des polynômes » : différence entre les versions

Contenu supprimé Contenu ajouté
→‎Polynômes premiers et irréductibles : LI + ordre plus logique
Ligne 219 :
}}
 
On a vu que <math>K[X]</math> est [[Anneau (mathématiques)/Anneau principal#Factorialité de A, décomposition primaire|principalComme ;dans ontout anneau vérifiant le enthéorème déduitde Gauss]], on a :
{{Corollaire
| contenu =
Un polynôme est premier si (et seulement si) il est irréductible.
L'anneau <math>K[X]</math> est '''factoriel''' ; cela signifie que tout polynôme non constant admet une décomposition en produit de facteurs irréductibles, unique à l’ordre des facteurs près et à association près.
}}
 
Mieux : on a vu que <math>K[X]</math> est [[Anneau (mathématiques)/Anneau principal#Factorialité de A, décomposition primaire|principal ; on en déduit]] :
Comme dans tout anneau factoriel, on a :
{{Corollaire
| contenu =
L'anneau <math>K[X]</math> est '''factoriel''' ; cela signifie que tout polynôme non constant admet une décomposition en produit de facteurs irréductibles, unique à l’ordre des facteurs près et à association près.
Un polynôme est premier si (et seulement si) il est irréductible.
}}
 
On se permet ainsi de confondre les deux notions.
 
{{Bas de page