Théorème de Krull
Théorème : Dans un anneau commutatif, tout idéal propre est contenu dans un idéal maximal.
Ce théorème, comme de nombreux théorèmes d'existence d'éléments maximaux, se démontre à l'aide du lemme de Zorn, qui est lui-même une formulation équivalente de l'axiome du choix.
Consulter aussi...