Let G be a finitely presented group, and let p be a prime. Then G is 'large' (respectively, 'p-large') if some normal subgroup with finite index (respectively, index a power of p) admits a non-abelian free quotient. This paper provides a variety of new methods for detecting whether G is large or p-large. These relate to the group's profinite and pro-p completions, to its first L2-Betti number and to the existence of certain finite index subgroups with 'rapid descent'. The paper draws on new topological and geometric techniques, together with a result on error-correcting codes.
The notions of stable and Morse subgroups of finitely generated groups generalize the concept of a quasiconvex subgroup of a word-hyperbolic group. For a word-hyperbolic group $G$, Kapovich provided a partial algorithm which, on input a finite set $S$ of $G$, halts if $S$ generates a quasiconvex subgroup of $G$ and runs forever otherwise. In this paper, we give various detection and decidability algorithms for stability and Morseness of a finitely generated subgroup of mapping class groups, right-angled Artin groups, toral relatively hyperbolic groups, and finitely generated groups discriminat…
We present an algorithm which given a presentation of a group $G$ without 2-torsion, a solution to the word problem with respect to this presentation, and an acylindricity constant $κ$, outputs a collection of tracks in an appropriate presentation complex. We give two applications: the first is an algorithm which decides if $G$ admits an essential free decomposition, the second is an algorithm which; if $G$ is relatively hyperbolic; decides if it admits an essential elementary splitting.
In this paper, we prove that all finitely generated 3-manifold groups are Grothendieck rigid. More precisely, for any finitely generated 3-manifold group $G$ and any finitely generated proper subgroup $H<G$, we prove that the inclusion induced homomorphism $\widehat{i}:\widehat{H}\to \widehat{G}$ on profinite completions is not an isomorphism.
We construct a finitely presented group with infinitely many non-homeomorphic asymptotic cones. We also show that the existence of cut points in asymptotic cones of finitely presented groups does, in general, depend on the choice of scaling constants and ultrafilters.
We provide new computations in bounded cohomology: A group is boundedly acyclic if its bounded cohomology with trivial real coefficients is zero in all positive degrees. We show that there exists a continuum of finitely generated non-amenable boundedly acyclic groups and construct a finitely presented non-amenable boundedly acyclic group. On the other hand, we construct a continuum of finitely generated groups, whose bounded cohomology has uncountable dimension in all degrees greater than or equal to~$2$, and a concrete finitely presented one. Countable non-amenable groups with these two extre…
In this paper we consider the {\em conjugacy stability} property of subgroups and provide effective procedures to solve the problem in several classes of groups. In particular, we start with free groups, that is, we give an effective procedure to find out if a finitely generated subgroup of a free group is conjugacy stable. Then we further generalize this result to quasi-convex subgroups of torsion-free hyperbolic groups and finitely generated subgroups of limit groups.
We exhibit a family of infinite, finitely-presented, nilpotent-by-abelian groups. Each member of this family is a solvable S-arithmetic group that is related to Baumslag-Solitar groups, and everyone of these groups has a quasi-isometry group that is virtually a product of a solvable real Lie group and a solvable p-adic Lie group. In addition, we propose a candidate for a polycyclic group whose quasi-isometry group is a solvable real Lie group, and we introduce a candidate for a quasi-isometrically rigid solvable group that is not finitely presented. We also record some conjectures on the large…
We study a family of finitely generated residually finite groups. These groups are doubles $F_2*_H F_2$ of a rank-$2$ free group $F_2$ along an infinitely generated subgroup $H$. Varying $H$ yields uncountably many groups up to isomorphism.
Pursueing our investigations on the relations between Thompson groups and mapping class groups, we introduce the group $T^*$ (and its further generalizations) which is an extension of the Ptolemy-Thompson group $T$ by means of the full braid group $B_{\infty}$ on infinitely many strands. We prove that it is a finitely presented group with solvable word problem, and give an explicit presentation of it.
In this paper we create many examples of hyperbolic groups with subgroups satisfying interesting finiteness properties. We give the first examples of subgroups of hyperbolic groups which are of type $FP_2$ but not finitely presented. We give uncountably many groups of type $FP_2$ with similar properties to those subgroups of hyperbolic groups. Along the way we create more subgroups of hyperbolic groups which are finitely presented but not of type $FP_3$.
We show that the Basilica Thompson group introduced by Belk and Forrest is not finitely presented, and in fact is not of type FP_2. The proof involves developing techniques for proving non-simple connectedness of certain subcomplexes of CAT(0) cube complexes.
We prove a factorization theorem for Fuchsian groups similar to those proved by Agol and Liu for 3-manifold groups. As an application, we build Makanin-Razborov diagrams, which parametrize the collection of all discrete representations from an arbitrary but fixed finitely generated group $G$ to ${\rm PSL}(2, \mathbb{R})$. We define a new class of groups called ${\rm PSL}(2, \mathbb{R})$-discrete limit groups and then use the factorization theorem to obtain useful information about this class of groups.
We prove that every finitely presentable group G arises as the fundamental group of an orientable 3-complex obtained from a hyperbolic link complement, by coning each boundary torus of the link exterior to a distinct point. We define the closed-link-genus, clg(G), of any finitely presentable group G, which completely characterizes fundamental groups of closed orientable 3-manifolds: clg(G)=0 if and only if G is the fundamental group of a closed orientable 3-manifold. Moreover clg(G) gives an upper bound for the concept `genus(G)' of genus defined earlier by Aitchison and Reeves, and in turn is…
We study the finitely generated Hausdorff spectrum of spinal automorphism groups acting on rooted trees. Given any $α\in [0,1]$, we construct a branch group $G_α$ such that $G_α$ has a finitely generated subgroup $H$ where $H$ has Hausdorff dimension $α$ in $G$. Using results by Barnea, Shalev and Klopsch we further deduce that the finitely generated Hausdorff spectrum of this group $G_α$ contains $\mathcal{L}_α\cup ([0, 1] \cap \mathcal{L})$, where $\mathcal{L}$ is a countable subset of $\mathbb{Q}$ and $\mathcal{L}_α$ is a certain set of countably many irrational numbers in the interval $[0,…
Suppose a group $G$ is quasi-isometric to a free product of a finite set $S$ of finitely generated abelian groups; let $S'$ denote the set of ranks of the free abelian parts of the groups in $S$. Then $G$ is commensurable with the free product of $\Z$ with a $\Z^n$ for each $n$ occurring in $S'$.
It is shown that for any action of a finitely presented group $G$ on an $\R$-tree, there is a decomposition of $G$ as the fundamental group of a graph of groups related to this action. If the action of $G$ on $T$ is non-trivial, i.e. there is no global fixed point, then $G$ has a non-trivial action on a simplcial $\R $-tree.
In the first part of this note, we introduce Tietze transformations for $L$-presentations. These transformations enable us to generalize Tietze's theorem for finitely presented groups to invariantly finitely $L$-presented groups. Moreover, they allow us to prove that `being invariantly finitely $L$-presented' is an abstract property of a group which does not depend on the generating set. In the second part of this note, we consider finitely generated normal subgroups of finitely presented groups. Benli proved that a finitely generated normal subgroup of a finitely presented group is invariantl…
We construct an embedding of a free Burnside group $B(m,n)$ of odd $n > 2^{48}$ and rank $m >1$ in a finitely presented group with some special properties. The main application of this embedding is an easy construction of finitely presented non-amenable groups without noncyclic free subgroups (which provides a finitely presented counterexample to the von Neumann problem on amenable groups). As another application, we construct weakly finitely presented groups of odd exponent $n \gg 1$ which are not locally finite.
The goal of this article is to study results and examples concerning finitely presented covers of finitely generated amenable groups. We collect examples of groups $G$ with the following properties: (i) $G$ is finitely generated, (ii) $G$ is amenable, e.g. of intermediate growth, (iii) any finitely presented group $E$ with a quotient isomorphic to $G$ contains non-abelian free subgroups, or the stronger (iii') any finitely presented group with a quotient isomorphic to $G$ is large.
It is known that in any free group the isolator of finitely generated subgroup is finitely generated subgroup. A very simple proof of this statement is proposed.
We prove that the free product of two finitely presented locally tame groups is locally tame and describe many examples of tame subgroups of finitely presented groups. We also include some open problems related to tame subgroups.
We construct easy embeddings of relatively free groups (say the free Burnside group, the free solvable group) into finitely presented groups. We introduce a concept of verbal isoperimetric function of a group variety. We prove that if the verbal Dehn function of a relatively free group is bounded by a polynomial then the group can be embedded quasi-isometrically into a finitely presented group with polynomial isoperimetric function. We also construct an easy embedding of any Baumslag-Solitar solvable group into a finitely presented group with polynomial Dehn function.
We study the space of left-orderings on groups with finitely many Conradian orderings. We show that, within this class of groups, having an isolated left-ordering is equivalent to having finitely many left-orderings.
We prove a variant of the well-known Reidemeister-Schreier theorem for finitely $L$-presented groups. More precisely, we prove that each finite index subgroup of a finitely $L$-presented group is itself finitely $L$-presented. Our proof is constructive and it yields a finite $L$-presentation for the subgroup. We further study conditions on a finite index subgroup of an invariantly finitely $L$-presented group to be invariantly $L$-presented itself.
The study of localizations of groups has concentrated on group theoretic properties which are preserved by localization. In this paper we look at finitely generated soluble groups and determine when the local groups associated with them are soluble.
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.
We prove that if $R$ is a commutative Noetherian local pro-$p$domain of characteristic 0 then every finitely generated$R$-standard group is $R$-linear.
We prove that the isomorphism problem for finitely generated fully residually free groups is decidable. We also show that each finitely generated fully residually free group G has a decomposition that is invariant under automorphisms of G, and obtain a structure theorem for the group of outer automorphisms Out(G).
We prove the pro-supersolvable closure of a finitely generated subgroup of the free group is finitely generated. It extends similar results for pro-$p$ closures proved by Ribes-Zalesskii and pro-Nilpotent closures proved by Margolis-Sapir-Weil.
We describe an algorithm for deciding whether or not a given finitely generated torsion-free nilpotent group is decomposable as the direct product of nontrivial subgroups.
In this paper, we compute an upper bound for the Dehn function of a finitely presented metabelian group. In addition, we prove that the same upper bound works for the relative Dehn function of a finitely generated metabelian group. We also show that every wreath product of a free abelian group of finite rank with a finitely generated abelian group can be embedded into a metabelian group with exponential Dehn function.
We show that every finitely generated nilpotent group of class 2 occurs as the quotient of a finitely presented abelian-by-nilpotent group by its largest nilpotent normal subgroup.
In this paper we determine all finitely generated abelian groups which are varietal capable with respect to the variety of polynilpotent groups. This result is a vast generalization of the famous Baer's result about capability of finitely generated abelian groups.
We exhibit classes of groups in which the word problem is uniformly solvable but in which there is no algorithm that can compute finite presentations for finitely presentable subgroups. Direct products of hyperbolic groups, groups of integer matrices, and right-angled Coxeter groups form such classes. We discuss related classes of groups in which there does exist an algorithm to compute finite presentations for finitely presentable subgroups. We also construct a finitely presented group that has a polynomial Dehn function but in which there is no algorithm to compute the first Betti number of …
We answer a question due to A. Myasnikov by proving that all expected ranks occur as the ranks of intersections of finitely generated subgroups of free groups.
It is proved that for any prime $p$ a finitely generated nilpotent group is conjugacy separable in the class of finite $p$-groups if and only if the torsion subgroup of it is a finite $p$-group and the quotient group by the torsion subgroup is abelian.
In this paper we study distortion of various well-known embeddings of finitely generated torsion-free nilpotent groups $G$ into unitriangular groups $UT_n(\mathbb{Z})$. We also provide a polynomial time algorithm for finding distortion of a given subgroup of $G$
We prove that torsion in the abelianizations of open normal subgroups in finitely presented pro-$p$ groups can grow arbitrarily fast. By way of contrast in $\mathbb Z_p$- analytic groups the torsion growth is at most polynomial.
We study completions of the group algebra of a finitely generated group and relate nuclearity of such a completion to growth properties of the group. This extends previous work of Jolissaint on nuclearity of rapidly decreasing functions on a finitely generated group to more general weights than polynomial decrease. The new group algebras and their duals are studied in detail and compared to other approaches. As application we discuss the convergence of the complete growth function introduced by Grigorchuk and Nagnibeda.
We investigate the palindromic width of finitely generated solvable groups. We prove that every finitely generated $3$-step solvable group has finite palindromic width. More generally, we show the finiteness of palindromic width for finitely generated abelian-by-nilpotent-by-nilpotent groups. For arbitrary solvable groups of step $\geq 3$, we prove that if $G$ is a finitely generated solvable group that is an extension of an abelian group by a group satisfying the maximal condition for normal subgroups, then the palindromic width of $G$ is finite. We also prove that the palindromic width of $\…
In this paper we study the residual solvability of the generalized free product of finitely generated nilpotent groups. We show that these kinds of structures are often residually solvable.
In this article we introduce the notion of weak identities in a group and study their properties. We show that weak identities have some similar properties to ordinary ones. We use this notion to prove that any finitely generated solvable discriminating group is abelian.
We prove that a finitely generated soluble residually finite group has polynomial index growth if and only if it is a minimax group. We also show that if a finitely generated group with PIG is residually finite-soluble then it is a linear group. These results apply in particular to boundedly generated groups; they imply that every infinite BG residually finite group has an infinite linear quotient.
We construct examples of finitely generated infinite simple groups of homeomorphisms of the real line. Equivalently, these are examples of finitely generated simple left (or right) orderable groups. This answers a well known open question of Rhemtulla from 1980 concerning the existence of such groups. In fact, our construction provides a family of continuum many isomorphism types of groups with these properties.
We establish a general criterion for the finite presentability of subdirect products of groups and use this to characterize finitely presented residually free groups. We prove that, for all $n\in\mathbb{N}$, a residually free group is of type ${\rm{FP}}_n$ if and only if it is of type ${\rm{F}}_n$. New families of subdirect products of free groups are constructed, including the first examples of finitely presented subgroups that are neither ${\rm{FP}}_\infty$ nor of Stallings-Bieri type. The template for these examples leads to a more constructive characterization of finitely presented residua…
We combine classical methods of combinatorial group theory with the theory of small cancellations over relatively hyperbolic groups to construct finitely generated torsion-free groups that have only finitely many classes of conjugate elements. Moreover, we present several results concerning embeddings into such groups. As another application of these techniques, we prove that every countable group $C$ can be realized as a group of outer automorphisms of a group $N$, where $N$ is a finitely generated group having Kazhdan's property (T) and containing exactly two conjugacy classes.
We construct the first example of a finitely-presented, residually-finite group that contains an infinite sequence of non-isomorphic finitely-presented subgroups such that each of the inclusion maps induces an isomorphism of profinite completions.
We design an algorithm to find certain partial permutation representations of a finitely presented group $G$ (the bricks) that may be combined to a transitive permutation representation of $G$ (the mosaic) on the disjoint union.
