Assertion: ring's ideal | /r/HasProperty | maximal
Facets:
Source sentences:
text: Except for the zero ring, any ring (with identity) possesses at least one maximal ideal; this follows from Zorn's lemma.
text: An ideal that is not strictly contained in any proper ideal is called maximal.
text: This ring has only one maximal ideal, namely pR
text: Every nonzero prime ideal of a principal ideal domain is maximal.