Free group on countable set is quotient-universal for finitely generated groups

From Groupprops
Jump to: navigation, search

Statement

Let \Omega be a countable set, and let F be the free group on \Omega. Then, every Finitely generated group (?) is isomorphic to some Quotient group (?) of F.

Related facts