Assertion: group's root | /r/HasProperty | unit
Facets:
value: more generally
type: DEGREE
Source sentences:
text: More generally, any root of unity in a ring R is a unit: