Equations in virtually class 2 nilpotent groups
Alex Levine

TL;DR
This paper presents an algorithm to determine solvability of equations in virtually class 2 nilpotent groups with virtually cyclic commutator subgroups, extending previous results to finite extensions.
Contribution
It generalizes existing algorithms for class 2 nilpotent groups to include virtually extensions, broadening the class of groups where equation solvability can be decided.
Findings
Algorithm successfully decides equation solvability in the specified groups.
Extends previous work to include finite extensions of class 2 nilpotent groups.
Applicable to groups like the Heisenberg group with virtually cyclic commutator subgroups.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFinite Group Theory Research · Chronic Myeloid Leukemia Treatments · Cooperative Communication and Network Coding
