The word problem in verbal products of groups

Abstract

We prove that nilpotent and metabelian products of groups with decidable word problem have decidable word problem. In contrast, we exhibit families of groups with decidable word problem for which their solvable product have undecidable word problem. In doing so, we exhibit hyperbolic groups with undecidable membership problem in its derived subgroups.

7 pages