Assertion: ring's set | /r/HasProperty | r× of units of r
Facets:
Source sentences:
text: Then the set R× of units of R is an abelian group under the multiplication of R.