Assertion: ring's ideal | /r/HasProperty | generated by finitely many elements
Facets:
value: equivalently
type: DEGREE
Source sentences:
text: Equivalently, any ideal is generated by finitely many elements, or, yet equivalent, submodules of finitely generated modules are finitely generated .