Every group is a quotient of a residually finite group
This article gives the statement, and possibly proof, of a group property (i.e., residually finite group) satisfying a group metaproperty (i.e., quotient-universal group property)
View all group metaproperty satisfactions | View all group metaproperty dissatisfactions |Get help on looking up metaproperty (dis)satisfactions for group properties
Get more facts about residually finite group |Get facts that use property satisfaction of residually finite group | Get facts that use property satisfaction of residually finite group|Get more facts about quotient-universal group property
The proof follows directly by combining Facts (1) and (2). More explicitly, we choose the residually finite group to be the free group arising in the proof of Fact (1).