Assertion: ring's ideal | /r/HasProperty | generated by one element
Facets:
Source sentences:
text: For example, Z is Noetherian, since every ideal can be generated by one element, but is not Artinian, as the chain