Group Embeddings with Algorithmic Properties

From MaRDI portal
Publication:3448552




Abstract: We show that every countable group H with solvable word problem (=computable group) can be subnormally embedded into a 2-generated group G which also has solvable word problem. Moreover, the membership problem for H < G is also solvable. We also give estimates of time and space complexity of the word problem in G and of the membership problem for H < G.









This page was built for publication: Group Embeddings with Algorithmic Properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3448552)