Quotient group/Definition

The group structure on the cosets of a normal subgroup of a group.