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).

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)

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)

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)