For every finitely generated recursively presented group $\mathcal G$ we construct a finitely presented group $\mathcal H$ containing $\mathcal G$ such that $\mathcal G$ is (Frattini) embedded into $\mathcal H$ and the group $\mathcal H$ has solvable conjugacy problem if and only if $\mathcal G$ has solvable conjugacy problem. Moreover $\mathcal G$ and $\mathcal H$ have the same r.e. Turing degrees of the conjugacy problem. This solves a problem by D. Collins.
- ISBN13 9780821835135
- Publish Date 1 January 2005
- Publish Status Active
- Publish Country US
- Imprint American Mathematical Society
- Format Paperback
- Language English