Algorithmic recognition of infinite cyclic extensions

DOI10.1016/J.JPAA.2016.10.008zbMATH Open1403.20047arXiv1509.05879OpenAlexW2963296215MaRDI QIDQ2396795FDOQ2396795

Enric Ventura Capell, Jordi Delgado, Bren Cavallo, Delaram Kahrobaei

Publication date: 26 May 2017

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: We prove that one cannot algorithmically decide whether a finitely presented $mathbbZ$-extension admits a finitely generated base group, and we use this fact to prove the undecidability of the BNS invariant. Furthermore, we show the equivalence between the isomorphism problem within the subclass of unique $mathbbZ$-extensions, and the semi-conjugacy problem for deranged outer automorphisms.

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

Recommendations

• On the Conjugacy Problem for Cyclic Extensions of Free Groups
• Orbit decidability and the conjugacy problem for some extensions of groups.
• Decidable Properties of Polycyclic Groups
• Algorithmically finite groups.
• Group-theoretic orbit decidability.

Mathematics Subject Classification ID

Extensions, wreath products, and other compositions of groups (20E22) Generators, relations, and presentations of groups (20F05) Homological methods in group theory (20J05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Cites Work

• Automorphisms and Hopficity of certain Baumslag-Solitar groups
• Hyperbolic automorphisms of free groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• The isomorphism problem for all hyperbolic groups.
• A geometric invariant of discrete groups
• Trees, valuations, and the Bieri-Neumann-Strebel invariant
• Alexander and Thurston norms of fibered 3-manifolds.
• Decidable Properties of Polycyclic Groups
• Valuations and Finitely Presented Metabelian Groups
• A random tunnel number one 3-manifold does not fiber over the circle
• Fibred and Virtually Fibred Hyperbolic 3-Manifolds in the Censuses
• The Automorphism Groups of the Braid Groups
• Recursive unsolvability of group theoretic problems
• The isomorphism problem for hyperbolic groups. I
• The BNS-invariant for the pure braid groups.
• Bieri-Neumann-Strebel-Renz invariants and homology jumping loci
• The conjugacy problem for Dehn twist automorphisms of free groups
• Title not available (Why is that?)
• Actions of finite groups of graphs and related automorphisms of free groups
• The Bieri-Neumann-Strebel Invariants for Graph Groups
• Bouts d'un groupe opérant sur la droite. I: Théorie algébrique. (Ends of a group acting on the right hand. I: Algebraic theory)
• The Automorphism Group of a Free-by-Cyclic Group in Rank 2
• Title not available (Why is that?)
• On the conjugacy problem for automorphisms of free groups. With an addendum
• The Bieri-Neumann-Strebel invariant of the pure symmetric automorphisms of a right-angled Artin group.
• Classification of automorphisms of the free group of rank 2 by ranks of fixed-point subgroups
• An equivariant Whitehead algorithm and conjugacy for roots of Dehn twist automorphisms
• On suspensions and conjugacy of hyperbolic automorphisms

Cited In (4)

• Classification of 6-dimensional splittable flat solvmanifolds
• On the isomorphism problem for split extensions
• The Bieri-Neumann-Strebel invariants via Newton polytopes
• An algorithm for enumerating all infinite repetitions in a D0L-system

This page was built for publication: Algorithmic recognition of infinite cyclic extensions

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