Localization, metabelian groups, and the isomorphism problem

DOI10.1090/TRAN/6838MaRDI QIDQ5348724zbMATH OpenOpenAlexFDO

Authors Gilbert Baumslag, Roman Mikhailov, Kent E. Orr

Publication date 21 August 2017

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1301.5533

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Derived series, central series, and generalizations for groups (20F14) Solvable groups, supersolvable groups (20F16)

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'e 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.

Recommendations

• An embedding theorem for finitely generated free metabelian groups
• On a problem of Bousfield for metabelian groups
• On subgroups of residually nilpotent metabelian groups
• A Geometric Invariant for Metabelian Pro-p Groups
• scientific article; zbMATH DE number 3968892
• scientific article; zbMATH DE number 1563308
• A sufficient condition for finite presentability of abelian-by-nilpotent groups.
• Finite-rank free metabelian subgroups of finitely presented metabelian groups
• Lectures on finitely generated solvable groups.
• Embedding homological properties of metabelian discrete groups: the general case

Cites work

• A new look at finitely generated metabelian groups.
• Beziehungen zwischen Gruppen und Idealen in einem speziellen Ring
• Computable algebra and group embeddings
• Constructions in a Polynomial Ring Over the Ring of Integers
• Constructions in Algebra
• Elements of finite order in groups with a single defining relation
• Finitely Presented Metanilpotent Groups
• Finiteness Conditions for Soluble Groups
• Groups with the Same lower Central Sequence as a Relatively Free Group. II. Properties
• Homological localization towers for groups and Π-modules
• scientific article; zbMATH DE number 3815938 (Why is no real title available?)
• scientific article; zbMATH DE number 3701091 (Why is no real title available?)
• scientific article; zbMATH DE number 3773872 (Why is no real title available?)
• scientific article; zbMATH DE number 2107935 (Why is no real title available?)
• scientific article; zbMATH DE number 1422915 (Why is no real title available?)
• scientific article; zbMATH DE number 6665535 (Why is no real title available?)
• Link concordance and algebraic closure of groups
• Link concordance and algebraic closure. II
• Link invariants via eta invariant
• Localization, metabelian groups, and the isomorphism problem
• Nilpotent Completions of Groups, Grothendieck Pairs, and Four Problems of Baumslag
• Number fields
• Projective modules over polynomial rings
• Recognizing free metabelian groups
• Representation of finitely generated metabelian groups by matrices
• Residual Properties of Infinite Soluble Groups
• The Algorithmic Theory of Finitely Generated Metabelian Groups
• The residual nilpotence of the multiplicative group of a skew field generated by universal enveloping algebras
• The Residual Nilpotence of Wreath Products

Cited in

(6)

• Group localization and two problems of Levine
• On the localization genus of a direct product of metacyclic groups
• Geometric view on homogeneous groups
• Localization, metabelian groups, and the isomorphism problem
• The nilpotent genus of finitely generated residually nilpotent groups
• On a problem of Bousfield for metabelian groups

This page was built for publication: Localization, metabelian groups, and the isomorphism problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5348724)