Développement : A à pgcd implique A[X] à pgcd

Détails/Enoncé :

On montre quelques propriétés générales du pgcd avec des preuves par équivalences, puis on arrive au lemme de Gauss qui permet de débloquer la situation comme dans le cas factoriel.

Recasages pour l'année 2024 :

Versions :

Pas de version pour ce développement.

Références utilisées dans les versions de ce développement :