Search

In [3] is was shown that for any group $G$ whose rank (i.e., minimal number of generators) is at most 3, and any finite index subgroup $H\leq G$ with index $[G:H]\geq rank(G)$, one can always find a left-right transversal of $H$ which generates $G$. In this paper we extend this result to groups of rank at most 4. We also extend this to groups $G$ of arbitrary (finite) rank $r$ provided all the non-trivial divisors of $[G:core_G(H)]$ are at least $2r-1$. Finally, we extend this to groups $G$ of arbitrary (finite) rank provided $H$ is malnormal in $G$., Comment: 36 pages. This is the first version, comments and suggestions are welcome

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 contains a generating set of size $n$ for $G$, and that the construction is algorithmic when $G$ is finitely presented. We also show that, in the case where $G$ has rank $n \leq3$, there is a simultaneous left-right transversal for $H$ which contains a generating set of size $n$ for $G$. We finish by showing that if $H$ is a subgroup of a rank $n$ group $G$ with index less than $3 \cdot 2^{n-1}$, and $H$ contains no primitive elements of $G$, then $H$ is normal in $G$ and $G/H \cong C_{2}^{n}$., Comment: 15 pages, 6 figures. This is the version submitted for publication