Assertion: ring's ideal | /r/HasProperty | principal
Facets:
Source sentences:
text: In fact, every ideal of the ring of integers is principal.
text: Thus, if a prime ideal is principal, it is equivalently generated by a prime element.