Assertion: ring's set | /r/HasProperty | r
Facets:
Source sentences:
text: For an ideal I of a commutative ring R, the set { a+I | a R } of cosets of I in R (under addition) is denoted by R/I. By Theorem 3.8.4, the set forms a group under addition.