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

Statement

Let $G$ be a group. Then, there exists a residually finite group $K$ and a normal subgroup $N$ of $K$ such that $G$ is isomorphic to the quotient group $K/N$.

Facts used

1. Every group is a quotient of a free group
2. Free implies residually finite

Proof

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).