Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Localization, metabelian groups, and the isomorphism problem


Authors: Gilbert Baumslag, Roman Mikhailov and Kent E. Orr
Journal: Trans. Amer. Math. Soc. 369 (2017), 6823-6852
MSC (2010): Primary 20F14, 20F16; Secondary 20F05, 20F10
DOI: https://doi.org/10.1090/tran/6838
Published electronically: March 1, 2017
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: If $ G$ and $ H$ are finitely generated, residually nilpotent metabelian groups, $ H$ is termed para-$ G$ if there is a homomorphism of $ G$ into $ H$ which induces an isomorphism between the corresponding terms of their lower central quotient groups. We prove that this is an equivalence relation. It is a much coarser relation than isomorphism, our ultimate concern. It turns out that many of the groups in a given equivalence class share various properties, including finite presentability. There are examples, such as the lamplighter group, where an equivalence class consists of a single isomorphism class and others where this is not the case. We give several examples where we solve the Isomorphism Problem. We prove also that the sequence of torsion-free ranks of the lower central quotients of a finitely generated metabelian group is computable. In a future paper we plan on proving that there is an algorithm to compute the numerator and denominator of the rational Poincaré series of a finitely generated metabelian group and will carry out this computation in a number of examples, which may shed a tiny bit of light on the Isomorphism Problem. Our proofs use localization, class field theory and some constructive commutative algebra.


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

  • [AM] M. F. Atiyah and I. G. Macdonald, Introduction to commutative algebra, Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1969. MR 0242802
  • [Bau1] Gilbert Baumslag, Groups with the same lower central sequence as a relatively free group. II. Properties, Trans. Amer. Math. Soc. 142 (1969), 507-538. MR 0245653
  • [Bau2] Gilbert Baumslag, Finitely generated residually torsion-free nilpotent groups. I, J. Austral. Math. Soc. Ser. A 67 (1999), no. 3, 289-317. MR 1716698
  • [BCR] Gilbert Baumslag, Frank B. Cannonito, and Derek J. S. Robinson, The algorithmic theory of finitely generated metabelian groups, Trans. Amer. Math. Soc. 344 (1994), no. 2, 629-648. MR 1202419, https://doi.org/10.2307/2154499
  • [BCM] Gilbert Baumslag, Frank B. Cannonito, and Charles F. Miller III, Computable algebra and group embeddings, J. Algebra 69 (1981), no. 1, 186-212. MR 613868, https://doi.org/10.1016/0021-8693(81)90138-1
  • [BMO1] Gilbert Baumslag, Roman Mikhailov, and Kent E. Orr, A new look at finitely generated metabelian groups, Computational and combinatorial group theory and cryptography, Contemp. Math., vol. 582, Amer. Math. Soc., Providence, RI, 2012, pp. 21-37. MR 2987381, https://doi.org/10.1090/conm/582/11551
  • [BMO2] G. Baumslag, R. Mikhailov and K. Orr, Ideal class theory and metabelian groups, preprint.
  • [BStr] Robert Bieri and Ralph Strebel, A geometric invariant for modules over an abelian group, J. Reine Angew. Math. 322 (1981), 170-189. MR 603031
  • [Bo1] A. K. Bousfield, Homological localization towers for groups and $ \Pi $-modules, Mem. Amer. Math. Soc. 10 (1977), no. 186, vii+68. MR 0447375
  • [BR] Martin R. Bridson and Alan W. Reid, Nilpotent completions of groups, Grothendieck pairs, and four problems of Baumslag, Int. Math. Res. Not. IMRN 8 (2015), 2111-2140. MR 3344664, https://doi.org/10.1093/imrn/rnt353
  • [GM] J. R. J. Groves and Charles F. Miller III, Recognizing free metabelian groups, Illinois J. Math. 30 (1986), no. 2, 246-254. MR 840123
  • [GW] J. R. J. Groves and J. S. Wilson, Finitely presented metanilpotent groups, J. London Math. Soc. (2) 50 (1994), no. 1, 87-104. MR 1277756, https://doi.org/10.1112/jlms/50.1.87
  • [GR] K. W. Gruenberg, Residual properties of infinite soluble groups, Proc. London Math. Soc. (3) 7 (1957), 29-62. MR 0087652
  • [Ha1] P. Hall, Finiteness conditions for soluble groups, Proc. London Math. Soc. (3) 4 (1954), 419-436. MR 0072873
  • [Har] B. Hartley, The residual nilpotence of wreath products, Proc. London Math. Soc. (3) 20 (1970), 365-392. MR 0258966
  • [LR] John C. Lennox and Derek J. S. Robinson, The theory of infinite soluble groups, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, Oxford, 2004. MR 2093872
  • [L1] J. P. Levine, Link concordance and algebraic closure of groups, Comment. Math. Helv. 64 (1989), no. 2, 236-255. MR 997364, https://doi.org/10.1007/BF02564673
  • [L2] J. P. Levine, Link concordance and algebraic closure. II, Invent. Math. 96 (1989), no. 3, 571-592. MR 996555, https://doi.org/10.1007/BF01393697
  • [L3] J. P. Levine, Link invariants via the eta invariant, Comment. Math. Helv. 69 (1994), no. 1, 82-119. MR 1259607, https://doi.org/10.1007/BF02564475
  • [Li] A. I. Lichtman, The residual nilpotence of the multiplicative group of a skew field generated by universal enveloping algebras, J. Algebra 112 (1988), no. 1, 250-263. MR 921976, https://doi.org/10.1016/0021-8693(88)90144-5
  • [Mag] Wilhelm Magnus, Beziehungen zwischen Gruppen und Idealen in einem speziellen Ring, Math. Ann. 111 (1935), no. 1, 259-280 (German). MR 1512992, https://doi.org/10.1007/BF01472217
  • [MKS] A. Karrass, W. Magnus, and D. Solitar, Elements of finite order in groups with a single defining relation, Comm. Pure Appl. Math. 13 (1960), 57-66. MR 0124384
  • [Mar] Daniel A. Marcus, Number fields, Universitext, Springer-Verlag, New York-Heidelberg, 1977. MR 0457396
  • [N] G. A. Noskov, On conjugacy in metabelian groups, Mat. Zametki 31 (1982), no. 4, 495-507, 653 (Russian). MR 657712
  • [R] V. N. Remeslennikov, Representation of finitely generated metabelian groups by matrices., Algebra i Logika 8 (1969), 72-75 (Russian). MR 0283102
  • [Se] Daniel Segal, Polycyclic groups, Cambridge Tracts in Mathematics, vol. 82, Cambridge University Press, Cambridge, 1983. MR 713786
  • [Sei1] A. Seidenberg, Constructions in algebra, Trans. Amer. Math. Soc. 197 (1974), 273-313. MR 0349648
  • [Sei2] A. Seidenberg, Constructions in a polynomial ring over the ring of integers, Amer. J. Math. 100 (1978), no. 4, 685-703. MR 509069, https://doi.org/10.2307/2373905
  • [QS] Daniel Quillen, Projective modules over polynomial rings, Invent. Math. 36 (1976), 167-171. MR 0427303

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2010): 20F14, 20F16, 20F05, 20F10

Retrieve articles in all journals with MSC (2010): 20F14, 20F16, 20F05, 20F10


Additional Information

Gilbert Baumslag
Affiliation: CAISS and Department of Computer Science, City College of New York, Convent Avenue and 138th Street, New York, New York 10031

Roman Mikhailov
Affiliation: Chebyshev Laboratory, St. Petersburg State University, 14th Line, 29b, Saint Petersburg, 199178 Russia – and – St. Petersburg Department of the Steklov Mathematical Institute, Fontanka 27, Saint Petersburg, 191023 Russia
Email: rmikhailov@mail.ru

Kent E. Orr
Affiliation: Department of Mathematics, Indiana University, Bloomington, Indiana 47405
Email: korr@indiana.edu

DOI: https://doi.org/10.1090/tran/6838
Received by editor(s): September 29, 2014
Received by editor(s) in revised form: September 27, 2015
Published electronically: March 1, 2017
Additional Notes: The research of the first author was supported by Grant CNS 111765, and the work done here was initially carried out at IHES, whose hospitality is gratefully acknowledged
The research of the second author was supported by Saint-Petersburg State University research grant N 6.37.208.2016 and by JSC “Gazprom Neft”.
The third author thanks the Simons Foundation, Grants 209082 and 4429401, for their support.
Article copyright: © Copyright 2017 American Mathematical Society

American Mathematical Society