Showing 1–28 of 28 results for author: Bou-Rabee, K

Baumslag-Solitar relations in abstract commensurators of free groups

Authors: Khalid Bou-Rabee, Samuel Young

Abstract: Any non-residually finite Baumslag-Solitar group has a non-residually finite image in the abstract commensuration of a nonabelian free group. This gives a new proof (avoiding Britton's Lemma) of the classification of residually finite Baumslag-Solitar groups. Any non-residually finite Baumslag-Solitar group has a non-residually finite image in the abstract commensuration of a nonabelian free group. This gives a new proof (avoiding Britton's Lemma) of the classification of residually finite Baumslag-Solitar groups. △ Less

Submitted 17 March, 2020; v1 submitted 14 March, 2020; originally announced March 2020.

Comments: 9 pages, corrected the main theorem and corollary statements. We mistakenly thought we were addressing whether the BS groups are Hopfian

MSC Class: 20E05; 20F65

Residual finiteness growths of Lamplighter groups

Authors: Khalid Bou-Rabee, Junjie Chen, Anastasiia Timashova

Abstract: Residual finiteness growth gives an invariant that indicates how well-approximated a finitely generated group is by its finite quotients. We briefly survey the state of the subject. We then improve on the best known upper and lower bounds for lamplighter groups. Notably, any lamplighter group has super-linear residual finiteness growth. In our proof, we quantify a congruence subgroup property for… ▽ More Residual finiteness growth gives an invariant that indicates how well-approximated a finitely generated group is by its finite quotients. We briefly survey the state of the subject. We then improve on the best known upper and lower bounds for lamplighter groups. Notably, any lamplighter group has super-linear residual finiteness growth. In our proof, we quantify a congruence subgroup property for lamplighter groups. △ Less

Submitted 16 September, 2019; v1 submitted 8 September, 2019; originally announced September 2019.

Comments: 13 pages, 1 table, corrected constant in Lemma 6 and fixed some typos

MSC Class: 20E26; 20F65

On abstract commensurators of surface groups

Authors: Khalid Bou-Rabee, Daniel Studenmund

Abstract: Let $Γ$ be the fundamental group of a surface of finite type and Comm$(Γ)$ be its abstract commensurator. Then Comm$(Γ)$ contains the solvable Baumslag--Solitar groups $\langle a ,b : a b a^{-1} = b^n \rangle$ for any $n > 1$. Moreover, the Baumslag--Solitar group $\langle a ,b : a b^2 a^{-1} = b^3 \rangle$ has an image in Comm$(Γ)$ that is not residually finite. Our proofs are computer-assisted.… ▽ More Let $Γ$ be the fundamental group of a surface of finite type and Comm$(Γ)$ be its abstract commensurator. Then Comm$(Γ)$ contains the solvable Baumslag--Solitar groups $\langle a ,b : a b a^{-1} = b^n \rangle$ for any $n > 1$. Moreover, the Baumslag--Solitar group $\langle a ,b : a b^2 a^{-1} = b^3 \rangle$ has an image in Comm$(Γ)$ that is not residually finite. Our proofs are computer-assisted. Our results also illustrate that finitely-generated subgroups of Comm$(Γ)$ are concrete objects amenable to computational methods. For example, we give a proof that $\langle a ,b : a b^2 a^{-1} = b^3 \rangle$ is not residually finite without the use of normal forms of HNN extensions. △ Less

Submitted 17 July, 2019; v1 submitted 28 October, 2018; originally announced October 2018.

Comments: 14 pages, 1 figure. v2: Substantial revision in response to comments from Yves Cornulier, with some added new results. v3: Restructured, following referee comments. Title changed. Accepted for publication in Journal of Topology and Analysis

MSC Class: 20E26; 20E36; 20E05; 20F34

Commensurability growths of algebraic groups

Authors: Khalid Bou-Rabee, Tasho Kaletha, Daniel Studenmund

Abstract: Fixing a subgroup $Γ$ in a group $G$, the full commensurability growth function assigns to each $n$ the cardinality of the set of subgroups $Δ$ of $G$ with $[Γ: Γ\cap Δ][Δ: Γ\cap Δ] \leq n$. For pairs $Γ\leq G$, where $G$ is a Chevalley group scheme defined over $\mathbb{Z}$ and $Γ$ is an arithmetic lattice in $G$, we give precise estimates for the full commensurability growth, relating it to subg… ▽ More Fixing a subgroup $Γ$ in a group $G$, the full commensurability growth function assigns to each $n$ the cardinality of the set of subgroups $Δ$ of $G$ with $[Γ: Γ\cap Δ][Δ: Γ\cap Δ] \leq n$. For pairs $Γ\leq G$, where $G$ is a Chevalley group scheme defined over $\mathbb{Z}$ and $Γ$ is an arithmetic lattice in $G$, we give precise estimates for the full commensurability growth, relating it to subgroup growth and a computable invariant that depends only on $G$. △ Less

Submitted 26 September, 2018; originally announced September 2018.

Comments: 9 pages

MSC Class: 20E26; 20G05; 20G20; 20G25

Commensurability growth of branch groups

Authors: Khalid Bou-Rabee, Rachel Skipper, Daniel Studenmund

Abstract: Fixing a subgroup $Γ$ in a group $G$, the commensurability growth function assigns to each $n$ the cardinality of the set of subgroups $Δ$ of $G$ with $[Γ: Γ\cap Δ][Δ: Γ\cap Δ] = n$. For pairs $Γ\leq A$, where $A$ is the automorphism group of a $p$-regular tree and $Γ$ is finitely generated, we show that this function can take on finite, countable, or uncountable cardinals. For almost all known br… ▽ More Fixing a subgroup $Γ$ in a group $G$, the commensurability growth function assigns to each $n$ the cardinality of the set of subgroups $Δ$ of $G$ with $[Γ: Γ\cap Δ][Δ: Γ\cap Δ] = n$. For pairs $Γ\leq A$, where $A$ is the automorphism group of a $p$-regular tree and $Γ$ is finitely generated, we show that this function can take on finite, countable, or uncountable cardinals. For almost all known branch groups $Γ$ (the first Grigorchuk group, the twisted twin Grigorchuk group, Pervova groups, Gupta-Sidki groups, etc.) acting on $p$-regular trees, this function is precisely $\aleph_0$ for any $n = p^k$. △ Less

Submitted 26 August, 2018; originally announced August 2018.

Comments: 9 pages

MSC Class: Primary 20E26; 20B07; Secondary 20K10

Journal ref: Pacific J. Math. 304 (2020) 43-54

Arithmetic lattices in unipotent algebraic groups

Authors: Khalid Bou-Rabee, Daniel Studenmund

Abstract: Fixing an arithmetic lattice $Γ$ in an algebraic group $G$, the commensurability growth function assigns to each $n$ the cardinality of the set of subgroups $Δ$ with $[Γ: Γ\cap Δ] [Δ: Γ\cap Δ] = n$. This growth function gives a new setting where methods of F. Grunewald, D. Segal, and G. C. Smith's "Subgroups of finite index in nilpotent groups" apply to study arithmetic lattices in an algebraic gr… ▽ More Fixing an arithmetic lattice $Γ$ in an algebraic group $G$, the commensurability growth function assigns to each $n$ the cardinality of the set of subgroups $Δ$ with $[Γ: Γ\cap Δ] [Δ: Γ\cap Δ] = n$. This growth function gives a new setting where methods of F. Grunewald, D. Segal, and G. C. Smith's "Subgroups of finite index in nilpotent groups" apply to study arithmetic lattices in an algebraic group. In particular, we show that for any unipotent algebraic $\mathbb{Z}$-group with arithmetic lattice $Γ$, the Dirichlet function associated to the commensurability growth function satisfies an Euler decomposition. Moreover, the local parts are rational functions in $p^{-s}$, where the degrees of the numerator and denominator are independent of $p$. This gives regularity results for the set of arithmetic lattices in $G$. △ Less

Submitted 18 April, 2018; v1 submitted 13 April, 2018; originally announced April 2018.

Comments: 10 pages: revised introduction, made minor corrections, and added references

MSC Class: 20E26; 20E18; 20G05

The Extrinsic Primitive Torsion Problem

Authors: Khalid Bou-Rabee, W. Patrick Hooper

Abstract: Let $P_k$ be the subgroup generated by $k$th powers of primitive elements in $F_r$, the free group of rank $r$. We show that $F_2/P_k$ is finite if and only if $k$ is $1$, $2$, or $3$. We also fully characterize $F_2/P_k$ for $k = 2,3,4$. In particular, we give a faithful nine dimensional representation of $F_2/P_4$ with infinite image. Let $P_k$ be the subgroup generated by $k$th powers of primitive elements in $F_r$, the free group of rank $r$. We show that $F_2/P_k$ is finite if and only if $k$ is $1$, $2$, or $3$. We also fully characterize $F_2/P_k$ for $k = 2,3,4$. In particular, we give a faithful nine dimensional representation of $F_2/P_4$ with infinite image. △ Less

Submitted 30 October, 2019; v1 submitted 7 August, 2017; originally announced August 2017.

Comments: 34 pages, 5 figures, error corrections and exposition improvements following a thorough referee report

MSC Class: 20F65

Journal ref: Algebr. Geom. Topol. 20 (2020) 3329-3376

Expected Depth of Random Walks on Groups

Authors: Khalid bou-Rabee, Ioan Manolescu, Aglaia Myropolska

Abstract: For $G$ a finitely generated group and $g \in G$, we say $g$ is detected by a normal subgroup $N \lhd G$ if $g \notin N$. The depth $D_G(g)$ of $g$ is the lowest index of a normal, finite index subgroup $N$ that detects $g$. In this paper we study the expected depth, $\mathbb E[D_G(X_n)]$, where $X_n$ is a random walk on $G$. We give several criteria that imply that… ▽ More For $G$ a finitely generated group and $g \in G$, we say $g$ is detected by a normal subgroup $N \lhd G$ if $g \notin N$. The depth $D_G(g)$ of $g$ is the lowest index of a normal, finite index subgroup $N$ that detects $g$. In this paper we study the expected depth, $\mathbb E[D_G(X_n)]$, where $X_n$ is a random walk on $G$. We give several criteria that imply that $$\mathbb E[D_G(X_n)] \xrightarrow[n\to \infty]{} 2 + \sum_{k \geq 2}\frac{1}{[G:Λ_k]}\, ,$$ where $Λ_k$ is the intersection of all normal subgroups of index at most $k$. In particular, the equality holds in the class of all nilpotent groups and in the class of all linear groups satisfying Kazhdan Property $(T)$. We explain how the right-hand side above appears as a natural limit and also give an example where the convergence does not hold. △ Less

Submitted 6 November, 2017; v1 submitted 1 October, 2016; originally announced October 2016.

Comments: 14 pages

MSC Class: 20F65

Journal ref: Pacific J. Math. 298 (2019) 267-284

Quotients of map** class groups from $\text{Out}(F_n)$

Authors: Khalid Bou-Rabee, Christopher J. Leininger

Abstract: We give a short proof of Masbaum and Reid's result that map** class groups involve any finite group, appealing to free quotients of surface groups and a result of Gilman, following Dunfield-Thurston. We give a short proof of Masbaum and Reid's result that map** class groups involve any finite group, appealing to free quotients of surface groups and a result of Gilman, following Dunfield-Thurston. △ Less

Submitted 27 March, 2018; v1 submitted 12 August, 2016; originally announced August 2016.

Comments: minor changes as suggested by referee

Local commensurability graphs of solvable groups

Authors: Khalid Bou-Rabee, Chen Shi

Abstract: The commensurability index between two subgroups $A, B$ of a group $G$ is $[A : A \cap B] [B : A\cap B]$. This gives a notion of distance amongst finite-index subgroups of $G$, which is encoded in the p-local commensurability graphs of $G$. We show that for any metabelian group, any component of the $p$-local commensurabilty graph of $G$ has diameter bounded above by 4. However, no universal upper… ▽ More The commensurability index between two subgroups $A, B$ of a group $G$ is $[A : A \cap B] [B : A\cap B]$. This gives a notion of distance amongst finite-index subgroups of $G$, which is encoded in the p-local commensurability graphs of $G$. We show that for any metabelian group, any component of the $p$-local commensurabilty graph of $G$ has diameter bounded above by 4. However, no universal upper bound on diameters of components exists for the class of finite solvable groups. In the appendix we give a complete classification of components for upper triangular matrix groups in $\text{GL}(2, \mathbb{F}_q)$. △ Less

Submitted 3 December, 2015; originally announced December 2015.

Comments: 10 pages, 2 figures

MSC Class: 20F65; 20E26; 05C25

Groups with near exponential residual finiteness growth

Authors: Khalid Bou-Rabee, Aglaia Myropolska

Abstract: A function $\mathbb{N} \to \mathbb{N}$ is near exponential if it is bounded above and below by functions of the form $2^{n^c}$ for some $c > 0$. In this article we develop tools to recognize the near exponential residual finiteness growth in groups acting on rooted trees. In particular, we show the near exponential residual finiteness growth for certain branch groups, including the first Grigorchu… ▽ More A function $\mathbb{N} \to \mathbb{N}$ is near exponential if it is bounded above and below by functions of the form $2^{n^c}$ for some $c > 0$. In this article we develop tools to recognize the near exponential residual finiteness growth in groups acting on rooted trees. In particular, we show the near exponential residual finiteness growth for certain branch groups, including the first Grigorchuk group, the family of Gupta-Sidki groups and their variations, and Fabrykowski-Gupta groups. We also show that the family of Gupta-Sidki p-groups, for $p\geq 5$, have super-exponential residual finiteness growths. △ Less

Submitted 13 October, 2015; v1 submitted 4 September, 2015; originally announced September 2015.

Comments: New version contains minor revisions

MSC Class: Primary: 20E26; Secondary: 20F65; 20E08

The topology of local commensurability graphs

Authors: Khalid Bou-Rabee, Daniel Studenmund

Abstract: We initiate the study of the $p$-local commensurability graph of a group, where $p$ is a prime. This graph has vertices consisting of all finite-index subgroups of a group, where an edge is drawn between $A$ and $B$ if $[A : A\cap B]$ and $[B: A\cap B]$ are both powers of $p$. We show that any component of the $p$-local commensurability graph of a group with all nilpotent finite quotients is compl… ▽ More We initiate the study of the $p$-local commensurability graph of a group, where $p$ is a prime. This graph has vertices consisting of all finite-index subgroups of a group, where an edge is drawn between $A$ and $B$ if $[A : A\cap B]$ and $[B: A\cap B]$ are both powers of $p$. We show that any component of the $p$-local commensurability graph of a group with all nilpotent finite quotients is complete. Further, this topological criterion characterizes such groups. In contrast to this result, we show that for any prime $p$ the $p$-local commensurability graph of any large group (e.g. a nonabelian free group or a surface group of genus two or more or, more generally, any virtually special group) has geodesics of arbitrarily long length. △ Less

Submitted 25 August, 2015; originally announced August 2015.

Comments: 12 pages

Weakly maximal subgroups in regular branch groups

Authors: Khalid Bou-Rabee, Paul-Henry Leemann, Tatiana Nagnibeda

Abstract: Let $G$ be a finitely generated regular branch group acting by automorphisms on a regular rooted tree $T$. It is well-known that stabilizers of infinite rays in $T$ (aka parabolic subgroups) are weakly maximal subgroups in $G$, that is, maximal among subgroups of infinite index. We show that, given a finite subgroup $Q\leq G$, $G$ possesses uncountably many automorphism equivalence classes of weak… ▽ More Let $G$ be a finitely generated regular branch group acting by automorphisms on a regular rooted tree $T$. It is well-known that stabilizers of infinite rays in $T$ (aka parabolic subgroups) are weakly maximal subgroups in $G$, that is, maximal among subgroups of infinite index. We show that, given a finite subgroup $Q\leq G$, $G$ possesses uncountably many automorphism equivalence classes of weakly maximal subgroups containing $Q$. In particular, for Grigorchuk-Gupta-Sidki type groups this implies that they have uncountably many automorphism equivalence classes of weakly maximal subgroups that are not parabolic. △ Less

Submitted 12 February, 2016; v1 submitted 25 February, 2015; originally announced February 2015.

Comments: 11 pages; a few corrections; to appear in J. Algebra

MSC Class: 20E08; 20F65

Journal ref: Journal of Algebra, Vol. 455 (2016), pages 347-357

Systolic growth of linear groups

Authors: Khalid Bou-Rabee, Yves Cornulier

Abstract: We prove that the residual girth of any finitely generated linear group is at most exponential. This means that the smallest finite quotient in which the $n$-ball injects has at most exponential size. If the group is also not virtually nilpotent, it follows that the residual girth is precisely exponential. We prove that the residual girth of any finitely generated linear group is at most exponential. This means that the smallest finite quotient in which the $n$-ball injects has at most exponential size. If the group is also not virtually nilpotent, it follows that the residual girth is precisely exponential. △ Less

Submitted 25 August, 2014; originally announced August 2014.

Comments: 5 pages

MSC Class: Primary 20E26; Secondary 11C99; 13B25; 20F65

Journal ref: Proc. Amer. Math. Soc. 144 (2016), no. 2, 529-533

Full residual finiteness growths of nilpotent groups

Authors: Khalid Bou-Rabee, Daniel Studenmund

Abstract: Full residual finiteness growth of a finitely generated group $G$ measures how efficiently word metric $n$-balls of $G$ inject into finite quotients of $G$. We initiate a study of this growth over the class of nilpotent groups. When the last term of the lower central series of $G$ has finite index in the center of $G$ we show that the growth is precisely $n^b$, where $b$ is the product of the nilp… ▽ More Full residual finiteness growth of a finitely generated group $G$ measures how efficiently word metric $n$-balls of $G$ inject into finite quotients of $G$. We initiate a study of this growth over the class of nilpotent groups. When the last term of the lower central series of $G$ has finite index in the center of $G$ we show that the growth is precisely $n^b$, where $b$ is the product of the nilpotency class and dimension of $G$. In the general case, we give a method for finding an upper bound of the form $n^b$ where $b$ is a natural number determined by what we call a terraced filtration of $G$. Finally, we characterize nilpotent groups for which the word growth and full residual finiteness growth coincide. △ Less

Submitted 30 April, 2015; v1 submitted 14 June, 2014; originally announced June 2014.

Comments: 17 pages. v3: Minor changes from v2. Added Proposition 1.5. To appear in Israel J. Math

MSC Class: 20E26; 20F18; 22E27; 20K99

Characterizing linear groups in terms of growth properties

Authors: Khalid Bou-Rabee, D. B. McReynolds

Abstract: Residual finiteness growth measures how well-approximated a group is by its finite quotients. We prove that some related growth functions characterize linearity for a class of groups including all hyperbolic groups. Residual finiteness growth measures how well-approximated a group is by its finite quotients. We prove that some related growth functions characterize linearity for a class of groups including all hyperbolic groups. △ Less

Submitted 19 November, 2015; v1 submitted 4 March, 2014; originally announced March 2014.

Comments: v2. 10 pages. Substantially revised. Numerous changes and corrections. Final version. To appear in Michigan Math. J

Journal ref: Michigan Math. J. 65 (2016), 599-611

Residual Finiteness Growths of Virtually Special Groups

Authors: Khalid Bou-Rabee, Mark F. Hagen, Priyam Patel

Abstract: Let $G$ be a virtually special group. Then the residual finiteness growth of $G$ is at most linear. This result cannot be found by embedding $G$ into a special linear group. Indeed, the special linear group $\text{SL}_k(\mathbb{Z})$, for $k > 2$, has residual finiteness growth $n^{k-1}$. Let $G$ be a virtually special group. Then the residual finiteness growth of $G$ is at most linear. This result cannot be found by embedding $G$ into a special linear group. Indeed, the special linear group $\text{SL}_k(\mathbb{Z})$, for $k > 2$, has residual finiteness growth $n^{k-1}$. △ Less

Submitted 2 September, 2014; v1 submitted 27 February, 2014; originally announced February 2014.

Comments: Updated version contains minor changes incorporating referee comments/suggestions and a simplified proof of Lemma 4.1

Linear groups with Borel's property

Authors: Khalid Bou-Rabee, Michael Larsen

Abstract: When does Borel's theorem on free subgroups of semisimple groups generalize to other groups? We initiate a systematic study of this question and find positive and negative answers for it. In particular, we fully classify fundamental groups of surfaces and von Dyck groups that satisfy Borel's theorem. Further, as a byproduct of this theory, we make headway on a question of Breuillard, Green, Guraln… ▽ More When does Borel's theorem on free subgroups of semisimple groups generalize to other groups? We initiate a systematic study of this question and find positive and negative answers for it. In particular, we fully classify fundamental groups of surfaces and von Dyck groups that satisfy Borel's theorem. Further, as a byproduct of this theory, we make headway on a question of Breuillard, Green, Guralnick, and Tao concerning double word maps. △ Less

Submitted 27 December, 2013; originally announced December 2013.

Comments: 38 pages

MSC Class: 20E26; 20G05; 20G20; 20F70

Intersection growth in groups

Authors: Ian Biringer, Khalid Bou-Rabee, Martin Kassabov, Francesco Matucci

Abstract: The intersection growth of a group $G$ is the asymptotic behavior of the index of the intersection of all subgroups of $G$ with index at most $n$, and measures the Hausdorff dimension of $G$ in profinite metrics. We study intersection growth in free groups and special linear groups and relate intersection growth to quantifying residual finiteness. The intersection growth of a group $G$ is the asymptotic behavior of the index of the intersection of all subgroups of $G$ with index at most $n$, and measures the Hausdorff dimension of $G$ in profinite metrics. We study intersection growth in free groups and special linear groups and relate intersection growth to quantifying residual finiteness. △ Less

Submitted 4 December, 2013; v1 submitted 30 September, 2013; originally announced September 2013.

Comments: 20 pages, no figures. Revised version. We extend estimates to polycyclic groups and explain why normal intersection growth is a profinite invariant. Theorem 6.1 previously contained an error which has now been fixed

MSC Class: 20E05; 20E07; 20E26; 20E28; 20F69

Arbitrarily Large Residual Finiteness Growth

Authors: Khalid Bou-Rabee, Brandon Seward

Abstract: The residual finiteness growth of a group quantifies how well approximated the group is by its finite quotients. In this paper, we construct groups with arbitrarily large residual finiteness growth. We also demonstrate a new relationship between residual finiteness growth and some decision problems in groups, which we apply to our new groups. The residual finiteness growth of a group quantifies how well approximated the group is by its finite quotients. In this paper, we construct groups with arbitrarily large residual finiteness growth. We also demonstrate a new relationship between residual finiteness growth and some decision problems in groups, which we apply to our new groups. △ Less

Submitted 5 April, 2013; originally announced April 2013.

Comments: 6 pages

MSC Class: 20E26; 20F10

Extremal behavior of divisibility functions

Authors: Khalid Bou-Rabee, D. B. McReynolds

Abstract: In this short article, we study the extremal behavior $F_Γ(n)$ of divisibility functions $D_Γ$ introduced by the first author for finitely generated groups $Γ$. We show finitely generated subgroups of $\GL(m,K)$ for an infinite field $K$ have at most polynomial growth for the function $F_Γ(n)$. Consequently, we obtain a dichotomy for the growth rate of $\log F_Γ(n)$ for finitely generated subgroup… ▽ More In this short article, we study the extremal behavior $F_Γ(n)$ of divisibility functions $D_Γ$ introduced by the first author for finitely generated groups $Γ$. We show finitely generated subgroups of $\GL(m,K)$ for an infinite field $K$ have at most polynomial growth for the function $F_Γ(n)$. Consequently, we obtain a dichotomy for the growth rate of $\log F_Γ(n)$ for finitely generated subgroups of $\GL(n,\C)$. We also show that if $F_Γ(n) \preceq \log \log n$, then $Γ$ is finite. In contrast, when $Γ$ contains an element of infinite order, $\log n \preceq F_Γ(n)$. We end with a brief discussion of some geometric motivation for this work. △ Less

Submitted 4 December, 2013; v1 submitted 20 November, 2012; originally announced November 2012.

Comments: 10 pages (added Lemma 2.1 and some details to the main proof of Theorem 1.1 to address a gap pointed out by a referee)

MSC Class: 20E26

Journal ref: Geom. Dedicata. 175 (2015), 407-415

Approximating a group by its solvable quotients

Authors: Khalid Bou-Rabee

Abstract: The solvable Farb growth of a group quantifies how well-approximated the group is by its finite solvable quotients. In this note we present a new characterization of polycyclic groups which are virtually nilpotent. That is, we show that a group has solvable Farb growth which is at most polynomial in $\log(n)$ if and only if the group is polycyclic and virtually nilpotent. We also give new results… ▽ More The solvable Farb growth of a group quantifies how well-approximated the group is by its finite solvable quotients. In this note we present a new characterization of polycyclic groups which are virtually nilpotent. That is, we show that a group has solvable Farb growth which is at most polynomial in $\log(n)$ if and only if the group is polycyclic and virtually nilpotent. We also give new results concerning approximating oriented surface groups by nilpotent quotients. As a consequence of this, we prove that a natural number $C$ exists so that any nontrivial element of the $Ck$th term of the lower central series of a finitely generated oriented surface group must have word length at least $k$. Here $C$ depends only on the choice of generating set. Finally, we give some results giving new lower bounds for the solvable Farb growth of some metabelian groups (including the Lamplighter groups). △ Less

Submitted 12 April, 2011; v1 submitted 19 February, 2011; originally announced February 2011.

Comments: 12 pages

MSC Class: 20E26

Quantifying residual finiteness of arithmetic groups

Authors: Khalid Bou-Rabee, Tasho Kaletha

Abstract: The normal Farb growth of a group quantifies how well-approximated the group is by its finite quotients. We show that any S-arithmetic subgroup of a higher rank Chevalley group G has normal Farb growth n^dim(G). The normal Farb growth of a group quantifies how well-approximated the group is by its finite quotients. We show that any S-arithmetic subgroup of a higher rank Chevalley group G has normal Farb growth n^dim(G). △ Less

Submitted 20 August, 2010; originally announced August 2010.

Comments: 18 pages

MSC Class: 20E26; 11F06; 22E40; 20H05

Journal ref: Compositio Math. 148 (2012) 907-920

Generalizing Magnus' characterization of free groups to some free products

Authors: Khalid Bou-Rabee, Brandon Seward

Abstract: A residually nilpotent group is \emph{$k$-parafree} if all of its lower central series quotients match those of a free group of rank $k$. Magnus proved that $k$-parafree groups of rank $k$ are themselves free. In this note we mimic this theory with finite extensions of free groups, with an emphasis on free products of the cyclic group $C_p$, for $p$ an odd prime. We show that for $n \leq p$ Magnus… ▽ More A residually nilpotent group is \emph{$k$-parafree} if all of its lower central series quotients match those of a free group of rank $k$. Magnus proved that $k$-parafree groups of rank $k$ are themselves free. In this note we mimic this theory with finite extensions of free groups, with an emphasis on free products of the cyclic group $C_p$, for $p$ an odd prime. We show that for $n \leq p$ Magnus' characterization holds for the $n$-fold free product $C_p^{*n}$ within the class of finite-extensions of free groups. Specifically, if $n \leq p$ and $G$ is a finitely generated, virtually free, residually nilpotent group having the same lower central series quotients as $C_p^{*n}$, then $G \cong C_p^{*n}$. We also show that such a characterization does not hold in the class of finitely generated groups. That is, we construct a rank 2 residually nilpotent group $G$ that shares all its lower central series quotients with $\ffp$, but is not $\ffp$. △ Less

Submitted 16 April, 2011; v1 submitted 1 April, 2010; originally announced April 2010.

Comments: 11 pages, complete rewrite

MSC Class: 20E26

Bertrand's postulate and subgroup growth

Authors: K. Bou-Rabee, D. B. McReynolds

Abstract: In this article we investigate the L^1-norm of certain functions on groups called divisibility functions. Using these functions, their connection to residual finiteness, and integration theory on profinite groups, we define the residual average of a finitely generated group. One of the main results in this article is the finiteness of residual averages on finitely generated linear groups. Whethe… ▽ More In this article we investigate the L^1-norm of certain functions on groups called divisibility functions. Using these functions, their connection to residual finiteness, and integration theory on profinite groups, we define the residual average of a finitely generated group. One of the main results in this article is the finiteness of residual averages on finitely generated linear groups. Whether or not the residual average is finite depends on growth rates of indices of finite index subgroups. Our results on index growth rates are analogous to results on gaps between primes, and provide a variant of the subgroup growth function, which may be of independent interest. △ Less

Submitted 7 September, 2009; originally announced September 2009.

Comments: 33 pages

MSC Class: 20E07; 20E18

Journal ref: J. Algebra 324 (2010) 793-819

Parasurface groups

Authors: K. Bou-Rabee

Abstract: A residually nilpotent group is \emph{$k$-parafree} if all of its lower central series quotients match those of a free group of rank $k$. Magnus proved that $k$-parafree groups of rank $k$ are themselves free. We mimic this theory with surface groups playing the role of free groups. Our main result shows that the analog of Magnus' Theorem is false in this setting. A residually nilpotent group is \emph{$k$-parafree} if all of its lower central series quotients match those of a free group of rank $k$. Magnus proved that $k$-parafree groups of rank $k$ are themselves free. We mimic this theory with surface groups playing the role of free groups. Our main result shows that the analog of Magnus' Theorem is false in this setting. △ Less

Submitted 12 August, 2009; originally announced August 2009.

Comments: 6 pages

MSC Class: 57M05; 20F22

Journal ref: Pacific J. Math., Vol. 248 (2010), No. 1, 12-30

Asymptotic growth and least common multiples in groups

Authors: K. Bou-Rabee, D. B. McReynolds

Abstract: In this article we relate word and subgroup growth to certain functions that arise in the quantification of residual finiteness. One consequence of this endeavor is a pair of results that equate the nilpotency of a finitely generated group with the asymptotic behavior of these functions. The second half of this article investigates the asymptotic behavior of two of these functions. Our main resu… ▽ More In this article we relate word and subgroup growth to certain functions that arise in the quantification of residual finiteness. One consequence of this endeavor is a pair of results that equate the nilpotency of a finitely generated group with the asymptotic behavior of these functions. The second half of this article investigates the asymptotic behavior of two of these functions. Our main result in this arena resolves a question of Bogopolski from the Kourovka notebook concerning lower bounds of one of these functions for nonabelian free groups. △ Less

Submitted 27 January, 2010; v1 submitted 21 July, 2009; originally announced July 2009.

Comments: 13 pages

MSC Class: 20F65

Journal ref: Bull. Lond. Math. Soc. 43 (2011), 1059-1068

Quantifying Residual Finiteness

Authors: Khalid Bou-Rabee

Abstract: We introduce the concept of quantifying the extent to which a finitely generated group is residually finite. The quantification is carried out for some examples including free groups, the first Grigorchuk group, finitely generated nilpotent groups, and certain arithmetic groups such as $SL_n(\mathbb{Z})$. In the context of finite nilpotent quotients, we find a new characterization of nilpotent g… ▽ More We introduce the concept of quantifying the extent to which a finitely generated group is residually finite. The quantification is carried out for some examples including free groups, the first Grigorchuk group, finitely generated nilpotent groups, and certain arithmetic groups such as $SL_n(\mathbb{Z})$. In the context of finite nilpotent quotients, we find a new characterization of nilpotent groups. △ Less

Submitted 15 April, 2010; v1 submitted 6 July, 2008; originally announced July 2008.

Comments: 11 pages, 0 figures, streamlined proof of Theorem 2.4

MSC Class: 20E26

Journal ref: K. Bou-Rabee, \emph{Quantifying residual finiteness}, J. Algebra, {\bf 323} (2010), 729--737