Abstract
For every finitely generated recursively presented group G {\mathcal G} we construct a finitely presented group H {\mathcal H} containing G {\mathcal G} such that G {\mathcal G} is (Frattini) embedded into H {\mathcal H} and the group H {\mathcal H} has solvable conjugacy problem if and only if G {\mathcal G} has solvable conjugacy problem. Moreover, G {\mathcal G} and H {\mathcal H} have the same r.e. Turing degrees of the conjugacy problem. This solves a problem by D. Collins.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: Electronic Research Announcements of the American Mathematical Society
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.