Assertion: ring | /r/HasProperty | represented as a quotient of a free ring
Facets:
value: as in the group case
type: OTHER
Source sentences:
text: Just as in the group case, every ring can be represented as a quotient of a free ring.