A quotient group is a quotient object in the category Grp of groups.
For a group and a normal subgroup, the quotient group is the set of cosets, equipped with a group structure induced from .
For a morphism between abelian groups the quotient is equivalently the cokernel of the inclusion.
The quotient groups of any group by itself is the trivial group: .
Last revised on April 17, 2018 at 09:16:07. See the history of this page for a list of all contributions to it.