1970 [Addison Wesley], Frederick W. Byron, Robert W. Fuller, Mathematics of Classical and Quantum Physics, Volumes 1-2, Dover, 1992, page 597, Theorem 10.5. The collection consisting of an invariant subgroup H and all its distinct cosets is itself a group, called the factor group of G, usually denoted by G/H. (Remember that the left and right cosets of an invariant subgroup are identical.) Multiplication of two cosets aH and bH is defined as the set of all distinct products z = xy, with x ∈ aH and y ∈ bH; the identity element of the factor group is the subgroup H itself.
Source: wiktionary