pith. sign in

arxiv: 0810.0399 · v1 · submitted 2008-10-02 · 🧮 math.GR

Direct factors of profinite completions and decidability

classification 🧮 math.GR
keywords directfinitefactorindexprofinitesubgroupcompletionfinitely
0
0 comments X
read the original abstract

We consider finitely presented,residually finite groups $G$ and finitely generated normal subgroups $A$ such that the inclusion $A\hookrightarrow G$ induces an isomorphism from the profinite completion of $A$ to a direct factor of the profinite completion of $G$. We explain why $A$ need not be a direct factor of a subgroup of finite index in $G$; indeed $G$ need not have a subgroup of finite index that splits as a non-trivial direct product. We prove that there is no algorithm that can determine whether $A$ is a direct factor of a subgroup of finite index in $G$.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.