Transfert de factorialité de Gauss (A factoriel implique A[X] factoriel)
Si $A$ est un anneau factoriel, alors $A[X]$ est factoriel et on a une description des irréductibles de $A[X]$ en fonction de ceux de $A$ et de ceux de $\mathrm{Frac}(A)[X]$.
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 141 | Polynômes irréductibles à une indéterminée. Corps de rupture. Exemples et applications.2026 |
| 5 | 142 | PGCD et PPCM, algorithmes de calcul. Applications. 2026 |
| 4 | 122 | Anneaux principaux. Exemples et applications. 2026 |
Utilisateur : Baptiste Breton
- Lemme de Gauss sur le contenu d'un produit de polynômes ;
- Description des irréductibles de $A[X]$ en fonction de ceux de $A$ et de ceux de $\mathrm{Frac}(A)[X]$ ;
- Transfert de factorialité de $A$ à $A[X]$ ;
- Compléments : autre preuve du lemme de Gauss plus efficace et plus conceptuelle / discussions autour des anneaux de polynômes en plusieurs variables, voire en un nombre infini dénombrable de variables pour construire des exemples classiques d'anneaux factoriels non principaux, ou factoriels non noethériens.
Leçons concernées : 122, 141, 142'
Références :
Cours d'algèbre\r - Perrin