Residual finiteness is not quotient-closed
This article gives the statement, and possibly proof, of a group property (i.e., residually finite group) not satisfying a group metaproperty (i.e., quotient-closed group property).
View all group metaproperty dissatisfactions | View all group metaproperty satisfactions|Get help on looking up metaproperty (dis)satisfactions for group properties
Get more facts about residually finite group|Get more facts about quotient-closed group property|
A generic example
Any free group is a residually finite group (fact (1)). Every group is isomorphic to a quotient group of a free group (fact (2)). However, there do exist groups that are not residually finite -- for instance, infinite simple groups.
A specific example
Consider the -quasicyclic group for any prime . This is a quotient of a direct product of finite groups -- namely, the direct product of all cyclic groups of prime power order for the prime . The latter is clearly residually finite. On the other hand, the quasicyclic group is not -- any quotient by a proper subgroup is isomorphic to the -quasicyclic group itself.