Passage: In some situations the set of cosets of a subgroup can be endowed with a group law, giving a quotient group or factor group. For this to be possible, the subgroup has to be normal. Given any normal subgroup N, the quotient group is defined by

Question: What happens when a subgroup's set of cosets get group law?
giving a quotient group or factor group