Skip to main content
2 of 2
edited body
Al Tal
  • 1.3k
  • 7
  • 16

Generic set that is a proper subgroup

For a group $G$ generated by a finite set $S$ we denote by $B_{G,S}(n)$ the ball of radius $n$, that is the set of all elements in $G$ which are expressible as products $x_1x_2\ldots x_n$ where $x_i\in S\cup S^{-1}\cup\{1\}$. One calls the set $Q$ generic in $G$ with respect to $S$ if $$\lim_{n\to\infty}\sup \frac{|Q\cap B_{G,S}(n)|}{|B_{G,S}(n)|}=1.$$

My question is whether there exist a group $G$ and a proper subgroup $H<G$ such that $H$ is a generic subset in $G$ with respect to some finite generating set $S$ of the group $G$.

Al Tal
  • 1.3k
  • 7
  • 16