MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 3 Rollback to Revision 1

There are also the Burnside Burnside's groups $B(m,n)$ for $n\ge 665$ odd: they are of exponential growth and have the law $x^n=1$ so that they cannot contain any free subgroup on two generators. The fact that they are not solvable follows by the theorem of Rosenblatt:

"A f.g. solvable group is of exponential growth if and only if it contains a free sub-semigroup on two generators."

You can find details on paragraphs VII.C.27/28 of Pierre de la Harpe's book "Topics in Geometric Group Theory" (Chicago Lectures in Mathematics, 2000)

show/hide this revision's text 2 deleted 2 characters in body

There are also the Burnside's Burnside groups $B(m,n)$ for $n\ge 665$ odd: they are of exponential growth and have the law $x^n=1$ so that they cannot contain any free subgroup on two generators. The fact that they are not solvable follows by the theorem of Rosenblatt:

"A f.g. solvable group is of exponential growth if and only if it contains a free sub-semigroup on two generators."

You can find details on paragraphs VII.C.27/28 of Pierre de la Harpe's book "Topics in Geometric Group Theory" (Chicago Lectures in Mathematics, 2000)

show/hide this revision's text 1

There are also the Burnside's groups $B(m,n)$ for $n\ge 665$ odd: they are of exponential growth and have the law $x^n=1$ so that they cannot contain any free subgroup on two generators. The fact that they are not solvable follows by the theorem of Rosenblatt:

"A f.g. solvable group is of exponential growth if and only if it contains a free sub-semigroup on two generators."

You can find details on paragraphs VII.C.27/28 of Pierre de la Harpe's book "Topics in Geometric Group Theory" (Chicago Lectures in Mathematics, 2000)