Assertion: ring | /r/HasAspect | at least one maximal ideal
Facets:
value: except for the zero ring
type: OTHER
Source sentences:
text: Except for the zero ring, any ring (with identity) possesses at least one maximal ideal; this follows from Zorn's lemma.