Searcharxiv⌕ Search

arXiv · 2609.31289

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.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Javier Brude, Román Sasyk. 2026-09-25. The word problem in verbal products of groups. https://arxiv.org/abs/2609.31289

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Left and right zero subsemigroups and an elementary approach to the Rees-Sushkevich Theorem

In a semigroup $S$ with idempotent $e$, the set of all elements $a$ of $S$ such that $ae=a$ and $ea=e$ forms the maximum left zero subsemigroup of $S$ containing $e$, and the set of all elements $b$ of $S$ such that $be=e$ and $eb=b$ forms the maximum right zero subsemigroup of $S$ containing $e$. We use these maximal right and left zero subsemigroups along with the maximal subgroups of a semigroup in the determination of maximal right and left subgroups, rectangular band subsemigroups, completely simple subsemigroups, rectangular subgroups, and completely $0$-simple subsemigroups. An elementary approach of the Rees-Sushkevich Theorem follows. Then we define rectangular $0$-bands and rectangular $0$-groups as completely $0$-simple analogues of rectangular bands and rectangular groups.

math.GR↗

Common overlattices in trees and trees with fins

Bass and Kulkarni proved that any pair of free uniform lattices in the automorphism group of a tree have conjugates that both lie inside a third uniform lattice (which is not necessarily free). We show that this does not generalise to trees with fins. The construction of our counter-example involves working with a certain generalisation of the universal groups of Burger and Mozes.

math.GR↗