anneau factoriel
anneau qui possède un équivalent du théorème fondamental de l'arithmétique : tout élément non inversible s'écrit comme produit d'éléments irréductibles de manière unique au produit par des inversibles prêt