Equations in virtually class 2 nilpotent groups
arXiv:2009.10651 · doi:10.46298/jgcc.2022.14.1.9776
Abstract
We give an algorithm that decides whether a single equation in a group that is virtually a class nilpotent group with a virtually cyclic commutator subgroup, such as the Heisenberg group, admits a solution. This generalises the work of Duchin, Liang and Shapiro to finite extensions.
17 pages, final version appearing in the journal of Groups, Complexity and Cryptology