Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

Request Permissions   Purchase Content 
 
 

 

Equations in nilpotent groups


Authors: Moon Duchin, Hao Liang and Michael Shapiro
Journal: Proc. Amer. Math. Soc. 143 (2015), 4723-4731
MSC (2010): Primary 20F10, 20F18, 20F70
DOI: https://doi.org/10.1090/proc/12630
Published electronically: April 10, 2015
MathSciNet review: 3391031
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: 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.


References [Enhancements On Off] (What's this?)

  • [1] E. K. Burke and J. K. Truss, Unification for nilpotent groups of class $ 2$, Forum Math. 7 (1995), no. 4, 435-457. MR 1337148 (96g:20046), https://doi.org/10.1515/form.1995.7.435
  • [2] François Dahmani and Vincent Guirardel, Foliations for solving equations in groups: free, virtually free, and hyperbolic groups, J. Topol. 3 (2010), no. 2, 343-404. MR 2651364 (2012a:20069), https://doi.org/10.1112/jtopol/jtq010
  • [3] V. G. Durnev, Unsolvability of the problem of endomorphic reducibility for sets of elements of a free nilpotent group of rank $ 2$, Problems in group theory and homological algebra (Russian), Matematika, Yaroslav. Gos. Univ., Yaroslavl, 1988, pp. 88-93 (Russian). MR 1174997
  • [4] Ju. L. Eršov, Elementary group theories, Dokl. Akad. Nauk SSSR 203 (1972), 1240-1243 (Russian). MR 0297840 (45 #6892)
  • [5] Roger C. Lyndon, Equations in groups, Bol. Soc. Brasil. Mat. 11 (1980), no. 1, 79-102. MR 607019 (82j:20070), https://doi.org/10.1007/BF02584882
  • [6] Bjorn Poonen, Undecidability in number theory, Notices Amer. Math. Soc. 55 (2008), no. 3, 344-350. MR 2382821 (2008m:11238)
  • [7] N. N. Repin, Solvability of equations with one indeterminate in nilpotent groups, Izv. Akad. Nauk SSSR Ser. Mat. 48 (1984), no. 6, 1295-1313 (Russian). MR 772117 (86d:20040)
  • [8] V. A. Romankov, Universal theory of nilpotent groups, Mat. Zametki 25 (1979), no. 4, 487-495, 635 (Russian). MR 534291 (80j:03058)
  • [9] Vitaliĭ Roman'kov, Equations over groups, Groups Complex. Cryptol. 4 (2012), no. 2, 191-239. MR 3043434, https://doi.org/10.1515/gcc-2012-0015
  • [10] Carl Ludwig Siegel, Zur Theorie der quadratischen Formen, Nachr. Akad. Wiss. Göttingen Math.-Phys. Kl. II (1972), 21-46 (German). MR 0311578 (47 #140)
  • [11] R. J. Stroeker and N. Tzanakis, Computing all integer solutions of a genus 1 equation, Math. Comp. 72 (2003), no. 244, 1917-1933. MR 1986812 (2004b:11037), https://doi.org/10.1090/S0025-5718-03-01497-2
  • [12] J. K. Truss, Equation-solving in free nilpotent groups of class $ 2$ and $ 3$, Bull. London Math. Soc. 27 (1995), no. 1, 39-45. MR 1331679 (96f:20052), https://doi.org/10.1112/blms/27.1.39

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2010): 20F10, 20F18, 20F70

Retrieve articles in all journals with MSC (2010): 20F10, 20F18, 20F70


Additional Information

Moon Duchin
Affiliation: Department of Mathematics, Tufts University, Medford, Massachusetts 02155
Email: Moon.Duchin@tufts.edu

Hao Liang
Affiliation: Department of Mathematics, Tufts University, Medford, Massachusetts 02155
Email: Hao.Liang@tufts.edu

Michael Shapiro
Affiliation: Department of Mathematics, Tufts University, Medford, Massachusetts 02155
Email: Michael.Shapiro@tufts.edu

DOI: https://doi.org/10.1090/proc/12630
Received by editor(s): March 6, 2014
Received by editor(s) in revised form: August 29, 2014
Published electronically: April 10, 2015
Additional Notes: The first author was partially supported by NSF grants DMS-1207106 and DMS-1255442.
The third author wishes to acknowledge support from NIH grant K25 AI079404-05.
Communicated by: Kevin Whyte
Article copyright: © Copyright 2015 American Mathematical Society

American Mathematical Society