Is it known to be (the prime-to-$p$ part of the profinite completion of) a finitely presentable group?
Is such a presentation known? Is there a guess for what it is? What is known about it?
Is it known to be (the prime-to-$p$ part of the profinite completion of) a finitely presentable group?
Is such a presentation known? Is there a guess for what it is? What is known about it?