Exercise 3.6.11 Suppose R is a ring and JCR is a (two-sided) ideal (see Exercise 3.3.13 for the definition of an

ideal). The quotient additive group R/J is the set of cosets, which in the additive notation have the form r +J, for

r ER.