Search all library resources

En Sovjetspion i Helsingfors

Zapiski agenta Razvi͡edupra

The conjugacy problem and Higman embeddings

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.

Online American Mathematical Society