Développement : A à pgcd implique A[X] à pgcd [no ref, no pdf]

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

Versions :

Pas de version pour ce développement.