Quotient group

Let be a group, and an equivalence relation compatible with the group structure on . The structure derived from on the quotient set is called the quotient group of by , or the quotient group , or mod .

An equivalence relation on is compatible with the group structure on if and only if it is equivalent to a relation of the form , for some normal subgroup of .

This article is a stub. Help us out by expanding it.

See also

• Coset
• Normal subgroup