MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Here is another interesting question that I can't answer on my own.

Let $G$ be a countable, discrete group such that for any subgroup $H$ of $G$ and any element $s$ of $G$ we have $[H : sHt]$ is finite and $[H : tHs]$ is finite where $st=ts=1$, i.e. $t$ is the inverse of $s$. Then $G$ is amenable.

Note that in the case when the indexes above are exactly equal $1$ then $G$ is Hamiltonian which is solvable and therefore amenable.

Thanks in advance.

share|cite|improve this question
1  
Another way to state this condition is that every subgroup $H<G$ has commensurator $\text{Comm}_G(H)$ equal to all of $G$. The commensurator in $G$ of a subgroup $H$ consists of all those $g$ for which $H\cap gHg^{-1}$ has finite index in $H$ and in $gHg^{-1}$.) (Note that in your question you need to intersect $H$ with $gHg^{-1}$ to ensure you get a subgroup of $H$.) Do you have examples of not-virtually-solvable groups for which this condition holds? – Tom Church May 31 '10 at 18:57
    
A classic is Pedersen's book, unfortunately not readable here: books.google.com/books?id=yBCoAAAAIAAJ – Steve Huntsman May 31 '10 at 19:18
    
Pedersen's book is available here in electronic form: gen.lib.rus.ec/get?md5=D0251C94AFFF04ECBD38BDC97F51AF2D – Dmitri Pavlov May 31 '10 at 19:25
2  
I think it is a bad idea to completely replace a question like this, in particular because Tom Church spent time writing a comment for the original question. If you figured out the first question as it says in the edit history, you could post the answer. – Jonas Meyer May 31 '10 at 19:36
1  
Quasi-finite groups (groups in which every proper subgroup is finite) fulfill the requirements (every subgroup is commensurated). Some known examples of such groups are infinite with Kazhdan's Property T and hence are non-amenable. Possibly the question for torsion-free groups is more subtle. – YCor Oct 6 '15 at 17:23

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.