Amenability of groups II - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T01:11:17Z http://mathoverflow.net/feeds/question/54838 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/54838/amenability-of-groups-ii Amenability of groups II Kate Juschenko 2011-02-09T01:13:53Z 2011-02-10T22:11:19Z <p>Are there any non-amenable group $G$ with the property:</p> <p>There exists $C&lt;1$ such that for every finite set $S\subset G$ there exists a set $F\subseteq S$ such that $|F|\geq C |S|$ and $F$ generates an amenable group.</p> <p><strong>UPDATE:</strong> Here is some motivation for the question: <a href="http://mathoverflow.net/questions/55075/amenability-of-groups-iii" rel="nofollow">http://mathoverflow.net/questions/55075/amenability-of-groups-iii</a></p> http://mathoverflow.net/questions/54838/amenability-of-groups-ii/54844#54844 Answer by Mark Sapir for Amenability of groups II Mark Sapir 2011-02-09T03:34:10Z 2011-02-09T04:29:37Z <p>A few thoughts. First you can assume that your group is finitely generated. Second, it does not contain free non-amenable subgroups, free Burnside groups, etc. Moreover, every subgroup of your group also has the same property. Now, you can look at the (not very large) list of known counterexamples to von Neumann's problem (non-amenable groups without free subgroups) to convince yourself that an example of such a group is not known. I strongly suspect that examples do not exist, that is every group satisfying your property must be amenable. I think that the following property may hold for all finitely generated groups: for every infinite finitely generated group $G$ and every $\epsilon\gt 0$ there exists a finite subset $S\subset G$ such that every subset of $S$ containing at least $\epsilon|S|$ elements generates $G$. (By Gromov's thesis this statement, if true, must be trivial.) For example, in the case of $\mathbb Z$, any sufficiently large (of cardinality bigger than $\frac{2}{\epsilon}$) set of primes is such. If it is true, then every group with your property is amenable. </p> <p>For the free group $F(a,b)$, the set can be constructed as $S=\{a^pb^q, p,q\in I\}$, where $I$ is any set of natural numbers such that for every $x_1\lt x_2 \lt...\lt x_n\in I$ the numbers $x_2-x_1, x_3-x_1,...,x_n-x_1$ are relatively prime (here $n$ depends on $\epsilon$, $|I|$ also depends on $\epsilon$). Indeed, if $I$ is large enough, a subset with $\ge \epsilon|S|$ elements will contain $n$ elements of the form $a^pb^{q_1}, a^pb^{q_2},..., a^pb^{q_n}$ where $q_1\lt q_2\lt...\lt q_n$ are from $I$. Then the subgroup generated by these elements will contain $b$. Similarly it will contain $a$. Instead of the free group, one can take any group $G$ generated by $a,b$ where the set $S$ is infinite. It might be enough to prove my conjecture in general. </p> <p><b> Edit. </b> One needs to be more careful in choosing the set $S$ for the free group, but the general idea seems to be correct. </p>