This set inherits a group operation (sometimes called coset multiplication, or coset addition) from the original group G: (gN) (hN) = (gh)N for all g and h in G. This definition is motivated by the idea (itself an instance of general structural considerations outlined above) that the map G G / N that associates to any element g its coset gN be a group homomorphism, or by general abstract considerations called universal properties. The coset eN = N serves as the identity in this group, and the inverse of gN in the quotient group is (gN)1 = (g1)N.e["]
If it is possible to answer this question, answer it for me (else, reply "unanswerable"): What is another term for coset multiplication?
coset addition