Assertion: ring's set | /r/CapableOf | form group
Facets:
value: under addition
type: OTHER
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.