
arXiv: 1401.2471
We show that there exists an algorithm to decide any single equation in the Heisenberg group in finite time. The method works for all two-step nilpotent groups with rank-one commutator, which includes the higher Heisenberg groups. We also prove that the decision problem for systems of equations is unsolvable in all non-abelian free nilpotent groups.
Word problems, other decision problems, connections with logic and automata (group-theoretic aspects), nilpotent groups, Group Theory (math.GR), algorithms, Heisenberg group, equations over groups, Algebraic geometry over groups; equations over groups, Nilpotent groups, FOS: Mathematics, 20F10, 20F18, 20F70, Mathematics - Group Theory
Word problems, other decision problems, connections with logic and automata (group-theoretic aspects), nilpotent groups, Group Theory (math.GR), algorithms, Heisenberg group, equations over groups, Algebraic geometry over groups; equations over groups, Nilpotent groups, FOS: Mathematics, 20F10, 20F18, 20F70, Mathematics - Group Theory
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 16 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
