We consider sequences of finitely generated discrete subgroups Gamma_i=rho_i(Gamma) of a rank 1 Lie group G, where the representations rho_i are not necessarily faithful. We show that, for algebraically convergent sequences (Gamma_i), unless Gamma_i's are (eventually) elementary or contain normal finite subgroups of arbitrarily high order, their algebraic limit is a discrete nonelementary subgroup of G. In the case of divergent sequences (Gamma_i) we show that the limiting action on a real tree T satisfies certain semistability condition, which generalizes the notion of stability introduced by Rips. We then verify that the group Gamma splits as an amalgam or HNN extension of finitely generated groups, so that the edge group has an amenable image in the isometry group of T.
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.
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 prove that for any genus g>1, the subgroup K_g of the mapping class group of a closed genus g surface generated by Dehn twists about separating curves is not finitely generated.
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.
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 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,…
Let G be a lattice in PSL(2,C). The pro-normal topology on G is defined by taking all cosets of non-trivial normal subgroups as a basis. This topology is finer than the pro-finite topology, but it is not discrete. We prove that every finitely generated subgroup H<G is closed in the pro-normal topology. As a corollary we deduce that if M is a maximal subgroup of a lattice in PSL(2,C) then either M is finite index or M is not finitely generated.
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 call a semigroup $S$ f-noetherian if every right congruence of finite index on $S$ is finitely generated. We prove that every finitely generated semigroup is f-noetherian, and investigate whether the properties of being f-noetherian and being finitely generated coincide for various semigroup classes.
We study finitely generated models of countable theories, having at most countably many nonisomorphic finitely generated models. We intro- duce a notion of rank of finitely generated models and we prove, when T has at most countably many nonisomorphic finitely generated models, that every finitely generated model has an ordinal rank. This rank is used to give a prop- erty of finitely generated models analogue to the Hopf property of groups and also to give a necessary and sufficient condition for a finitely generated model to be prime of its complete theory. We investigate some properties of l…
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 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 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.
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.
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).
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.
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.
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.
Given a reflection $r$ in a Coxeter group $W$ (possibly of infinite rank), we consider the subgroup of $W$ generated by the reflections in $W$ having (-1)-eigenvectors orthogonal to the (-1)-eigenvector of $r$. In this paper, we determine completely when this subgroup is finitely generated, by using preceding results on centralizers of reflections. This result provides a new and naturally constructed example of a family of non-finitely generated subgroups of finitely generated groups.
We show that finitely generated Abelian groups admit equal growth functions with respect to symmetric generating sets if and only if they have the same rank and the torsion parts have the same parity. In contrast, finitely generated Abelian groups admit equal growth functions with respect to monoid generating sets if and only if they have same rank. Moreover, we show that the size of the torsion part is in fact determined by the set of all growth functions of a finitely generated Abelian group.
We discuss various methods and their effectiveness for solving linear equations over finitely generated abelian groups. More precisely, if $φ\colon G\to H$ is a homomorphism of finitely generated abelian groups and $b\in H$, we discuss various algorithms for checking whether $b\in \imφ$ holds and if so, for computing a pre-image of $b$ in $G$ together with the kernel of $φ$.
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 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 $\…
We will show that every element of a finitely generated abelian group is automorphically equivalent what we will define to be a {\em representative element} in a {\em repeat-free subgroup}, and for finite abelian groups we can count the number of automorphism classes of elements.
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.
Recently the first example of a family of pro-$p$ groups, for $p$ a prime, with full normal Hausdorff spectrum was constructed. In this paper we further investigate this family by computing their finitely generated Hausdorff spectrum with respect to each of the five standard filtration series: the $p$-power series, the iterated $p$-power series, the lower $p$-series, the Frattini series and the dimension subgroup series. Here the finitely generated Hausdorff spectra of these groups consist of infinitely many rational numbers, and their computation requires a rather technical approach. This res…
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.
Given a sequence of $(G_i)_{i \in \N}$ of finite transitive groups of degree $n_i$, let $W_\infty$ be the inverse limit of the iterated permutational wreath products of the first m groups. We prove that $W_\infty$ is (topologically) finitely generated if and only if $\prod_{i=1}^{\infty} (G_i/G_i')$ is finitely generated and the growth of the minimal number of generators of $G_i$ is bounded by $ d...n_1...n_{i-1}$ for a constant $d$. Moreover we give a criterion to decide whether $W_\infty$ is positively finitely generated.
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.
In this article we generalize the theory of subgroup graphs of subgroups of free groups to finite index subgroups $H$ of finitely generated groups $G$. We study and prove various properties of $H$ in relation to its subgroup graph $Γ(H)$. For a finitely generated group $G$ we consider the poset $P_{\text{fi}}(G)$ of all right cosets of all proper finite index subgroups of $G$. We use the theory of subgroup graphs to prove that for many finitely generated infinite groups the order complex $ΔP_{\text{fi}} (G)$ and the corresponding nerve complex are contractible.
In the first part, we prove that the dominion (in the sense of Isbell) of a subgroup of a finitely generated nilpotent group is trivial in the category of all nilpotent groups. In the second part, we show that the dominion of a subgroup of a finitely generated nilpotent group of class two is trivial in the category of all metabelian nilpotent groups.
Let $ϕ:G\rightarrow G$ be an endomorphism of a finitely generated residually finite group. R.~Hirshon asked if there exists~$n$ such that the restriction of $ϕ$ to $ϕ^n(G)$ is injective. We give an example to show that this is not always the case.
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$
In the paper we show that any irreducible representation of a finitely generated nilpotent group $G$ over a finitely generated field $F$ of characteristic zero is induced from a primitive representation of some subgroup of $G$.
Bestvina, Feighn and Handel proved that every subgroup of the outer automorphism group, $\textrm{Out}(F_n)$, of the free group of rank $n$ is either virtually finitely generated abelian or contains a nonabelian free group. In this note we consider the more general situation of the outer automorphism group $\textrm{Out}(G)$ of a finitely generated free-by-finite group $G$. We show that $\textrm{Out}(G)$ is translation discrete and that every subgroup of $\textrm{Out}(G)$ is either virtually finitely generated abelian or contains a nonabelian free group.
We prove that the semigroup generated by a finite state Mealy automaton $\mathcal{A}=(Q,A,τ)$ is infinite if and only if there exists some right-infinite word in the alphabet $A$ with infinite orbit.
We prove that for arbitrary two finitely generated subgroups A and B having infinite index in a free group F, there is a subgroup H of finite index in B such that the subgroup generated by A and H has infinite index in F. The main corollary of this theorem says that a noncyclic free group of finite rank admits a faithful highly transitive action on an infinite set, whereas the restriction of this action to any finitely generated subgroup of infinite index in F has no infinite orbits.
We introduce right generating sets, Cayley graphs, growth functions, types and rates, and isoperimetric constants for left homogeneous spaces equipped with coordinate systems; characterise right amenable finitely right generated left homogeneous spaces with finite stabilisers as those whose isoperimetric constant is $0$; and prove that finitely right generated left homogeneous spaces with finite stabilisers of sub-exponential growth are right amenable, in particular, quotient sets of groups of sub-exponential growth by finite subgroups are right amenable.
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.
A subgroup $Δ\leq Γ$ is commensurated if $|Δ:Δ\cap γΔγ^{-1}|<\infty$ for all $γ\in Γ$. We show a finitely generated branch group is just infinite if and only if every commensurated subgroup is either finite or of finite index. As a consequence, every commensurated subgroup of the Grigorchuk group is either finite or finite index.
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.
This article explores the interplay between the finite quotients of finitely generated residually finite groups and the concept of amenability. We construct a finitely generated, residually finite, amenable group $A$ and an uncountable family of finitely generated, residually finite non-amenable groups all of which are profinitely isomorphic to $A$. All of these groups are branch groups. Moreover, picking up Grothendieck's problem, the group $A$ embeds in these groups such that the inclusion induces an isomorphism of profinite completions. In addition, we review the concept of uniform amenabil…
In this paper we describe a family of isomorphism invariants of a finitely generated Coxeter group W. Each of these invariants is the isomorphism type of a quotient group W/N of W by a characteristic subgroup N. The virtue of these invariants is that W/N is also a Coxeter group. For some of these invariants, the isomorphism problem of W/N is solved and so we obtain isomorphism invariants that can be effectively used to distinguish isomorphism types of finitely generated Coxeter groups.
In this paper we prove a series of matching theorems for two sets of Coxeter generators of a finitely generated Coxeter group that identify common features of the two sets of generators. As an application, we describe an algorithm for finding a set of Coxeter generators of maximum rank for a finitely generated Coxeter group.
A famous result of Hall asserts that the multiplication and exponentiation in finitely generated torsion free nilpotent groups can be described by rational polynomials. We describe an algorithm to determine such polynomials for all torsion free nilpotent groups of given Hirsch length. We apply this to determine the Hall polynomials for all such groups of Hirsch length at most 7.
In this paper, we present an explicit formula for the Baer invariant of a finitely generated abelian group with respect to the variety of polynilpotent groups of class row $(c_1,...,c_t)$, ${\cal N}_{c_1,...,c_t}$. In particular, one can obtain an explicit structure of the $\ell$-solvable multiplier (the Baer invariant with respect to the vaiety of solvable groups of length at most $\ell\geq 1,\ {\cal S}_{\ell}$.) of a finitely generated abelian group.
We present a sharp version of the isoperimetric inequality for finitely generated groups due to T. Couhlon and L. Saloff-Coste based on the proof suggested by M. Gromov.
