Infinite residually finite torsion group
ID: infinite-residually-finite-torsion-group
Enumerate all words on two generators in a free pro-p group. Choose powers so large that for some , and impose the closed normal relations . The Golod-Shafarevich infinitude criterion for pro-p groups makes the resulting pro- group infinite. Its abstract subgroup generated by the two generator images is dense and infinite; each element is represented by an enumerated word and has finite order. The ambient finite quotients separate its elements, so it is also a residually finite group. The abstract subgroup, rather than the whole topological group, is the desired finitely generated torsion group.
New to topics? Read the docs here!