Assertion: ring | /r/Synonym | local
Facets:
Source sentences:
text: Such rings are called local.
text: A ring is called local if it has only a single maximal ideal, denoted by m.