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.
Articles by others on the same topic
There are currently no matching articles.