or quotient group, n. the group, denoted G/H, the members of which are the cosets of a normal subgroup H in a group G, with the product of two cosets defined as the coset containing the product in the same order of arbitrary representatives of the given cosets. This is an Abelian group when the original group is. See also factor space.