Related papers: SL(3,Z) is not Howson

We construct nonlinear hyperbolic groups which are large, torsion-free, one-ended, and admit a finite $K(\pi,1)$. Our examples are built from superrigid cocompact rank one lattices via amalgamated free products and HNN extensions.

We give an example of a subgroup of SL(2,C) which is a strictly ascending HNN extension of a non-abelian finitely generated free group F. In particular, we exhibit a free group F in SL(2,C) of rank 6 which is conjugate to a proper subgroup…

We obtain a number of finiteness results for groups acting on Gromov-hyperbolic spaces. In particular we show that a torsion-free locally quasiconvex hyperbolic group has only finitely many conjugacy classes of $n$-generated one-ended…

We explore transversals of finite index subgroups of finitely generated groups. We show that when $H$ is a subgroup of a rank $n$ group $G$ and $H$ has index at least $n$ in $G$ then we can construct a left transversal for $H$ which…

Given a group $G$ and a subgroup $H$, we let $\mathcal{O}_G(H)$ denote the lattice of subgroups of $G$ containing $H$. This paper provides a classification of the subgroups $H$ of $G$ such that $\mathcal{O}_{G}(H)$ is Boolean of rank at…

We study the freeness problem for subgroups of $\operatorname{SL}_2(\mathbb{C})$ generated by two parabolic matrices. For $q = r/p \in \mathbb{Q} \cap (0,4)$, where $p$ is prime and $\gcd(r,p)=1$, we initiate the study of the algebraic…

Let H and K be subgroups of a free group of ranks h and k \geq h. We prove the following strong form of Burns' inequality: rank(H \cap K) - 1 \leq 2(h-1)(k-1) - (h-1)(rank(H \vee K) -1). A corollary of this, also obtained by L. Louder and…

We show that any lattice in $\mathrm{SL}_3(k)$, where $k$ is a nonarchimedean local field, contains an undistorted subgroup isomorphic to the free product $\mathbb{Z}^2*\mathbb{Z}$. To our knowledge, the subgroups we construct give the…

We show that the number of conjugacy classes of intersections $A\cap B^g$, for fixed finitely generated subgroups $A, B<F$ of a free group, is bounded above in terms of the ranks of $A$ and $B$; this confirms an intuition of Walter Neumann.…

Suppose G is a non-free finitely generated Kleinian group without parabolics which is not a lattice and let C(G) denote the commensurator in PSL(2,C). We prove that if the limit set of G is not a round circle, then C(G) is discrete.…

Let $G$ be an almost simple sporadic group and let $H$ be a soluble subgroup of $G$. In this paper we prove that there exists $x,y \in G$ such that $H \cap H^x \cap H^y=1$, which is equivalent to the bound $b(G,H) \leqslant 3$ with respect…

If G and H are finitely generated, residually nilpotent metabelian groups, H is termed para-G if there is a homomorphism of G into H which induces an isomorphism between the corresponding terms of their lower central quotient groups. We…

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…

Let $\mathbb{K}$ be an algebraically closed field of characteristic zero and $\mathbb{K}[x,y]$ the polynomial ring. The group $\text{SL}_{2}\left(\mathbb{K}[x,y]\right)$ of all matrices with determinant equal to $1$ over $\mathbb{K}[x,y]$…

We give results on when a finitely generated group has only indiscrete embeddings in SL(2,C), with particular reference to 3-manifold groups. For instance if we glue two copies of the figure 8 knot along its torus boundary then the…

Let $G$ be the group scheme $SL_2$ defined over a noetherian ring $k$. If $G$ acts on a finitely generated commutative $k$-algebra $A$, then $H^*(G,A)$ is a finitely generated $k$-algebra.

We develop practical techniques to compute with arithmetic groups $H\leq \mathrm{SL}(n,\mathbb{Q})$ for $n>2$. Our approach relies on constructing a principal congruence subgroup in $H$. Problems solved include testing membership in $H$,…

In this paper we study the (2,k)-generation of the finite classical groups SL(4,q), Sp(4,q), SU(4,q^2) and their projective images. Here k is the order of an arbitrary element of SL(2,q), subject to the necessary condition k>= 3. When q is…

We say that two graphs $H_1,H_2$ on the same vertex set are $G$-creating ($G$-different in other papers, this difference is explained in the introduction) if the union of the two graphs contains $G$ as a subgraph. Let $H(n,k)$ be the…

We study subgroups $H_U$ of the R. Thompson group $F$ which are stabilizers of finite sets $U$ of numbers in the interval $(0,1)$. We describe the algebraic structure of $H_U$ and prove that the stabilizer $H_U$ is finitely generated if and…