Assertion: ring | /r/HasProperty | finitely-generated z-module
Facets:
Source sentences:
text: The ring of integers O K is a finitely-generated Z-module.