247 research outputs found
On a question of Bumagin and Wise
Motivated by a question of Bumagin and Wise, we construct a continuum of
finitely generated, residually finite groups whose outer automorphism groups
are pairwise non-isomorphic finitely generated, non-recursively-presentable
groups. These are the first examples of such residually finite groups.Comment: 8 page
Every group is the outer automorphism group of an HNN-extension of a fixed triangle group
Fix an equilateral triangle group
with arbitrary. Our main result is: for every presentation
of every countable group there exists an HNN-extension
of such that . We construct the HNN-extensions explicitly, and examples are given. The
class of groups constructed have nice categorical and residual properties. In
order to prove our main result we give a method for recognising malnormal
subgroups of small cancellation groups, and we introduce the concept of
"malcharacteristic" subgroups.Comment: 39 pages. Final version, to appear in Advances in Mathematic
On the outer automorphism groups of finitely generated, residually finite groups
Bumagin-Wise posed the question of whether every countable group can be
realised as the outer automorphism group of a finitely generated, residually
finite group. We give a partial answer to this problem for recursively
presentable groups.Comment: 13 pages. Final versio
The Outer Automorphism Groups of Two-Generator One-Relator Groups with Torsion
The main result of this paper is a complete classification of the outer
automorphism groups of two-generator, one-relator groups with torsion. To this
classification we apply recent algorithmic results of Dahmani--Guirardel, which
yields an algorithm to compute the isomorphism class of the outer automorphism
group of a given two-generator, one-relator group with torsion.Comment: 15 pages, final version. To appear in Proc. Amer. Math. So
The Conjugacy Problem for ascending HNN-extensions of free groups
We give an algorithm to solve the Conjugacy Problem for ascending
HNN-extensions of free groups. To do this, we give algorithms to solve certain
problems on dynamics of free group endomorphisms.Comment: 30 pages, v2: rearranging sections to improve expositio
The residual finiteness of (hyperbolic) automorphism-induced HNN-extensions
We classify finitely generated, residually finite automorphism-induced HNN-extensions in terms of the residual separability of a single associated subgroup. This classification provides a method to construct automorphism-induced HNN-extensions which are not residually finite. We prove that this method can never yield a “new” counter-example to Gromov’s conjecture on the residual finiteness of hyperbolic groups
The JSJ-decompositions of one-relator groups with torsion
In this paper we use JSJ-decompositions to formalise a folk conjecture
recorded by Pride on the structure of one-relator groups with torsion. We prove
a slightly weaker version of the conjecture, which implies that the structure
of one-relator groups with torsion closely resemble the structure of
torsion-free hyperbolic groups.Comment: 21 pages, 2 figures. Final versio
The Surface Group Conjectures for groups with two generators
Funding: This work has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant agreement No. 850930), and from the Engineering and Physical Sciences Research Council (EPSRC), grants EP/R035814/1 and EP/S010963/1, and was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) – Project ID 427320536 – SFB 1442, as well as under Germany’s Excellence Strategy EXC 2044–390685587, Mathematics Münster: Dynamics–Geometry–Structure.The Surface Group Conjectures are statements about recognising surface groups among one-relator groups, using either the structure of their finite-index subgroups, or all subgroups. We resolve these conjectures in the two generator case. More generally, we prove that every two-generator one-relator group with every infinite-index subgroup free is itself either free or a surface group.PostprintPeer reviewe
Post's correspondence problem for hyperbolic and virtually nilpotent groups
Post's Correspondence Problem (the PCP) is a classical decision problem in
theoretical computer science that asks whether for pairs of free monoid
morphisms there exists any non-trivial
such that .
Post's Correspondence Problem for a group takes pairs of group
homomorphisms instead, and similarly asks
whether there exists an such that holds for non-elementary
reasons. The restrictions imposed on in order to get non-elementary
solutions lead to several interpretations of the problem; we consider the
natural restriction asking that and prove that
the resulting interpretation of the PCP is undecidable for arbitrary hyperbolic
, but decidable when is virtually nilpotent. We also study
this problem for group constructions such as subgroups, direct products and
finite extensions. This problem is equivalent to an interpretation due to
Myasnikov, Nikolev and Ushakov when one map is injective.Comment: 17 page
- …