Cohomology and Extensions
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.
Revised on September 12, 2012 03:37:52
by Toby Bartels