I want to know the answer to the following question:
What group can be the quotient of the free group over the generators of the group?
All the background I'm provided with is that "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.". Is that enough to answer the question?
Answer: yes