leon1789 a écrit:c'est quansiment la même chose que de démontrer que P est premier si et seulement si A/P est sans diviseur de zéro.
Et tant qu'à dire ça, on peut également remarquer que P est maximal si et seulement si A/P est un corps... Caractérisations bien pratiques.