If $G$ is a group and $N$ is a normal subgroup of $G$, then the operation \[ (aN)*(bN) = (ab)N\] is well-defined on the set of left cosets of $N$. The result is a group, called a quotient group of $G$ by $N$.
Authors:
Knowl status:
- Review status: beta
- Last edited by John Jones on 2019-05-23 20:07:25
Referred to by:
History:
(expand/hide all)
- columns.gps_subgroups.quotient
- columns.gps_subgroups.quotient_abelian
- columns.gps_subgroups.quotient_cyclic
- columns.gps_subgroups.quotient_solvable
- group.abelianization
- group.commutator_subgroup
- group.maximal_quotient
- group.nonsplit_product
- group.quotient_isolabel
- lmfdb/groups/abstract/main.py (line 1211)