Non-amenable finitely presented torsion-by-cyclic groups
We prove that with probability tending to 1, a one-relator group with at least three generators and the relator of length is residually finite, is a virtually residually (finite -)group for all sufficiently large , and is coherent. The proof uses both combinatorial group theory and non-trivial results about Brownian motions.
Page 1