Related papers: One-relator groups with torsion are coherent
We prove that one-relator groups are coherent, solving a well-known problem of Gilbert Baumslag. Our proof strategy is readily applicable to many classes of groups of cohomological dimension two. We show that fundamental groups of…
Previously, the authors proved that the presentation complex of a one-relator group $G$ satisfies a geometric condition called negative immersions if every two-generator, one-relator subgroup of $G$ is free. Here, we prove that one-relator…
A group is coherent if all its finitely generated subgroups are finitely presented. In this article we provide a criterion for positively determining the coherence of a group. This criterion is based upon the notion of the perimeter of a…
We prove that one-relator groups with torsion are hereditarily conjugacy separable. Our argument is based on a combination of recent results of Dani Wise and the first author. As a corollary we obtain that any quasiconvex subgroup of a…
We prove that every finitely generated group $G$ discriminated by a locally quasi-convex torsion-free hyperbolic group $\Gamma$ is effectively coherent: that is, presentations for finitely generated subgroups can be computed from the…
We prove that a one-relator group $G$ is K\"ahler if and only if either $G$ is finite cyclic or $G$ is isomorphic to the fundamental group of a compact orbifold Riemann surface of genus $g > 0$ with at most one cone point of order $n$: $$<…
We give a uniform construction that, on input of a recursive presentation $P$ of a group, outputs a recursive presentation of a torsion-free group, isomorphic to $P$ whenever $P$ is itself torsion-free. We use this to re-obtain a known…
We show that the intersection of the rational derived series of a one-relator group is rationally perfect and is normally generated by a single element. As a corollary, we characterise precisely when a one-relator group is residually…
We obtain a homological characterisation of virtually free-by-cyclic groups among groups that are hyperbolic and virtually compact special. As a consequence, we show that many groups known to be coherent actually possess the stronger…
Let A be a commutative noetherian ring. Call a functor <<commutative A-algebras>> --> <<sets>> coherent if it can be built up (via iterated finite limits) from functors of the form B \mapsto M tensor_A B, where M is a f.g. A-module. When…
We show that every finitely generated residually finite torsion group $G$ embeds in a finitely generated torsion group $\Gamma$ that is residually finite simple. In particular we show the existence of finitely generated infinite torsion…
Let $G$ be the fundamental group of a three-manifold. By piecing together many known facts about three manifold groups, we establish two properties of the group ring $\mathbb{C}G$. We show that if $G$ has rational cohomological dimension…
A finitely presented group F is called flawed if Hom(F,G)//G deformation retracts onto its subspace Hom(F,K)/K for reductive affine algebraic groups G and maximal compact subgroups K in G. After discussing generalities concerning flawed…
We follow in this paper a recent line of work, consisting in characterizing the periodically rigid finitely generated groups, i.e., the groups for which every subshift of finite type which is weakly aperiodic is also strongly aperiodic. In…
A word $w$ is concise in a class of groups $\mathcal{C}$ if, for every group $G$ in $\mathcal{C}$, the verbal subgroup $w(G)$ is finite whenever $w$ takes only finitely many values in $G$. This notion can be naturally extended to…
For a set $X\subseteq \mathbb{N}$, we define the $X$-torsion of a group $G$ to be all elements $g\in G$ with $g^{n}=e$ for some $n\in X$. With $X$ recursively enumerable, we give two independent proofs (group-theoretic, and model-theoretic)…
We show that all residually finite generalized Baumslag-Solitar groups of rank $n \geq 1$, defined on a finite and connected graph, are self-similar. Furthermore we prove that all residually finite fundamental groups of (finite, connected)…
A conjecture due to Zassenhaus asserts that if $\ G$ is a finite group then any torsion unit in $\mathbb{Z}G$ is conjugate in $\mathbb{Q}G$ to an element of $\ G$. We present a weaker form of this conjecture for some infinite groups.
We prove that one-relator groups with negative immersions are hyperbolic and virtually special; this resolves a recent conjecture of Louder and Wilton. As a consequence, one-relator groups with negative immersions are residually finite,…
We show that certain cyclically pinched one-relator groups are residually torsion-free nilpotent.