Quotient groups and subgroups together form a way of describing every group by its presentation: any group is the quotient of the free group over the generators of the group, quotiented by the subgroup of relations.
What groups can be combined to describe every group?
is the quotient of the free group over the generators of the group