Related papers: SL(3,Z) is not Howson
The Hanna Neumann conjecture states that if F is a free group, then for all nontrivial finitely generated subgroups H,K <= F, rank(H intersect K) - 1 <= [rank(H)-1] [rank(K)-1]. Where most papers to date have considered a direct graph…
We prove that every {finitely generated residually finite}-by-sofic group satisfies Kaplansky's direct and stable finiteness conjectures with respect to all noetherian rings. We use this result to provide countably many new examples of…
We prove that Thompson's group $F$ has a subgroup $H$ such that the conjugacy problem in $H$ is undecidable and the membership problem in $H$ is easily decidable. The subgroup $H$ of $F$ is a closed subgroup of $F$. That is, every function…
Let $\G$ be a limit group, $S\subset\G$ a subgroup, and $N$ the normaliser of $S$. If $H_1(S,\mathbb Q)$ has finite $\Q$-dimension, then $S$ is finitely generated and either $N/S$ is finite or $N$ is abelian. This result has applications to…
We give two examples of a finitely generated subgroup of a free group and a subset, closed in the profinite topology of a free group, such that their product is not closed in the profinite topology of a free group.
We provide an algorithm that, given a finite set of generators for a subgroup $H$ of a finitely generated free group $F$, determines whether $H$ is echelon or not and, in case of affirmative answer, also computes a basis with respect to…
Let $G$ be a group acting on a tree $T$ with finite edge stabilizers of bounded order. We provide, in some very interesting cases, upper bounds for the complexity of the intersection $H\cap K$ of two tame subgroups $H$ and $K$ of $G$ in…
We complete the classification of the finite special linear groups $\SL_n(q)$ which are $(2,3)$-generated, i.e., which are generated by an involution and an element of order $3$. This also gives the classification of the finite simple…
We show that the invariants of a free associative algebra of finite rank under a linear action of a finite-dimensional Hopf algebra generated by group-like and skew-primitive elements form a finitely generated algebra exactly when the…
Let M be a smooth manifold which is homeomorphic to the n-fold product of S^k, where k is odd. There is an induced homomorphism from the group of diffeomorphisms of M to the automorphism group of H k (M ; Z). We prove that the image of this…
Let D be an irreducible lattice in a connected, semisimple Lie group G with finite center. Assume that the real rank of G is at least two, that G/D is not compact, and that G has more than one noncompact simple factor. We show that D has no…
The non-centralizer graph of a finite group $G$ is the simple graph $\Upsilon_G$ whose vertices are the elements of $G$ with two vertices $x$ and $y$ are adjacent if their centralizers are distinct. The induced subgroup of $\Upsilon_G$…
We present a flexible random construction which, for certain graphs $H$, is able to produce $H$-free graphs with edge density strictly larger than that of the $H$-free process, while simultaneously preserving pseudorandom properties and…
Let $\Gamma$ be a non-elementary Kleinian group and $H<\Gamma$ a finitely generated, proper subgroup. We prove that if $\Gamma$ has finite co-volume, then the profinite completions of $H$ and $\Gamma$ are not isomorphic. If $H$ has finite…
A group $G$ with conjugation operation is a rack. We call such racks \emph{group racks}. In this paper we study finite group racks via their subrack lattices. Heckenberger, Shareshian, and Welker proved that the isomorphism type of the…
The goal of this paper is to demonstrate the use of techniques from hyperbolic geometry to compute generating sets of certain subgroups of $SL^+(2,\mathbb{C})$; specifically, $SO^+(Q,\mathbb{Z})$ for $Q$ some integral quadratic form of…
The intersection graph of a group $G$ is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper non-trivial subgroups of $G$, and there is an edge between two distinct vertices $H$…
For G = SL(3,R) and G = SO(2,n), we give explicit, practical conditions that determine whether or not a closed, connected subgroup H of G has the property that there exists a compact subset C of G with CHC = G. To do this, we fix a Cartan…
We prove that a discrete subgroup generated by two lattices in opposite minimal horospherical subgroups of $SL(3,\mathbb{C})$ is arithmetic and thus by a Borel and Harish-Chandra also a lattice. We follow the method and ideas used by Oh in…
Let a real Lie group $G$ have a $C^\infty$ action on a real manifold $M$. Assume every nontrivial element of $G$ has nowhere dense fixpoint set in $M$. First, we show, in every frame bundle, except possibly the $0$th, that each stabilizer…