Assertion: group's unit | /r/HasProperty | polynomial
Facets:
value: for a commutative ring
type: PURPOSE
value: precisely
type: DEGREE
Source sentences:
text: For a commutative ring R, the units of the polynomial ring R[x] are precisely those polynomials