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