Algorithmic recognition of infinite cyclic extensions

DOI10.1016/J.JPAA.2016.10.008MaRDI QIDQ2396795zbMATH OpenOpenAlexFDO

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

Publication date 26 May 2017

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

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

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)

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.

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.

Cites work

• scientific article; zbMATH DE number 3131923 (Why is no real title available?)
• scientific article; zbMATH DE number 3139761 (Why is no real title available?)
• scientific article; zbMATH DE number 67424 (Why is no real title available?)
• A geometric invariant of discrete groups
• A random tunnel number one 3-manifold does not fiber over the circle
• Actions of finite groups of graphs and related automorphisms of free groups
• Alexander and Thurston norms of fibered 3-manifolds.
• An equivariant Whitehead algorithm and conjugacy for roots of Dehn twist automorphisms
• Automorphisms and Hopficity of certain Baumslag-Solitar groups
• Bieri-Neumann-Strebel-Renz invariants and homology jumping loci
• 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)
• Classification of automorphisms of the free group of rank 2 by ranks of fixed-point subgroups
• Conjugacy and centralizers for iwip automorphisms of free groups.
• Decidable Properties of Polycyclic Groups
• Fibred and Virtually Fibred Hyperbolic 3-Manifolds in the Censuses
• Hyperbolic automorphisms of free groups
• On suspensions and conjugacy of hyperbolic automorphisms
• On the conjugacy problem for automorphisms of free groups. With an addendum
• Recursive unsolvability of group theoretic problems
• The Automorphism Group of a Free-by-Cyclic Group in Rank 2
• The Automorphism Groups of the Braid Groups
• The BNS-invariant for the pure braid groups.
• The Bieri-Neumann-Strebel Invariants for Graph Groups
• The Bieri-Neumann-Strebel invariant of the pure symmetric automorphisms of a right-angled Artin group.
• The conjugacy problem for Dehn twist automorphisms of free groups
• The isomorphism problem for all hyperbolic groups.
• The isomorphism problem for hyperbolic groups. I
• Trees, valuations, and the Bieri-Neumann-Strebel invariant
• Valuations and Finitely Presented Metabelian Groups

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)