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

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]] :

L'anneau <math>K[X]</math> est '''factoriel''' ; cela signifie que, comme dans <math>\Z</math>, 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.