I'm reading about amenable groups. What are explicit examples of nonabelian discrete amenable groups other than finite groups? Perhaps a group presentation or matrix representation would be useful.
Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)
|
2
2
|
||||||
|
|
9
|
To "specify" Alain's answer: 0) The group $\langle a,b \mid bab^{-1}=a^2\rangle$ (solvable of class 2 Baumslag-Solitar group) 1) The group of upper triangular $n\times n$ matrices with integer coefficients and 1 on the diagonal (nilpotent), $n\ge 1$. 2) The group of all permutations of $\mathbb{Z}$ with finite support (locally finite). 3) The subexp. growth groups, unfortunately, would require more space to define. But you can find them in Wiki. |
|||
|
|
You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.
|
8
|
Solvable (which includes nilpotent and polycyclic); locally finite; subexponential growth. |
|||||
|
|
6
|
The lamplighter group, defined as the wreath product $\mathbb{Z}/2\mathbb{Z} \wr \mathbb{Z}$, is amenable yet has exponential growth. It can be thought of as a bi-infinite sequence of street lamps, each of which can be turned on and off, and a lamplighter who moves along the sequence. The three generators of the group are to move the lamplighter right or left, and to switch the state of the lamp he is positioned in front of. With this picture in mind, it is easy to show the group has exponential growth. |
|||
|
|
|
4
|
Groups generated by bounded automaton are amenable: |
||||||
|
|
1
|
|
|||
|
|
|
0
|
All compact hausdorff groups are amenable because they have a Haar-measure which can be chosen with $\mu(G)=1$. So $O_n(\mathbb{R})$, $U_n(\mathbb{C})$, closed subgroups thereof as well as quotients by closed normal subgroups are amenable. |
||||||||
|
|
0
|
$\mathrm{Symm}(\mathbb{Z}) \leftthreetimes \mathbb{Z}$ - see page 4321 in http://www.cse.sc.edu/~maxal/a-g-g.pdf |
|||
|
|
|
0
|
Elementary amenable groups: the smallest class of groups which includes finite groups and commutative groups, and is closed under formation of homomorphic images, subgroups, group extensions (by an other element of the class) and directed unions. (See http://en.wikipedia.org/wiki/Elementary_amenable_group) |
|||
|
|
|
0
|
Solvable and locally finite are elementary, I guess those of subexponential growth are, too. |
|||
|
|
|
0
|
E.g. a solvable group is one that can be constructed from abelian groups using extensions. But now I see that locally finite groups are not elementary (for example, the free group on two generators is finitely generated, hence locally finite, but it is definitely not amenable, hence it cannot be elementary), sorry for that. |
|||||||||
|
