Développement : Principal implique factoriel

Détails/Enoncé :

On montre que tout anneau principal est factoriel.

Versions :

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

Algèbre , Lang (utilisée dans 5 versions au total)
Cours d'algèbre , Perrin (utilisée dans 514 versions au total)