amenable group

In mathematics, an amenable group is a topological group G carrying a kind of averaging operation, that is invariant under translations by group elements. In the case where G is not an abelian group, that means translation on a fixed side (left- or right-translation). The amenability property has a large number of equivalent formulations. In the field of analysis, the definition is in terms of linear functionals. An intuitive way to understand this version, that can be made precise, is that the support of the regular representation is the whole space of irreducible representations. In discrete group theory, on the other hand, a simpler definition is used, in which

G

has no topological structure. In this setting, a group is amenable if you can say what percentage of

G

any given subset takes up. If a group has a Flner sequence then it is automatically amenable.

Amenability in general

Let

G

be a locally compact group and

L^\infty(G)

be the Banach space of all essentially bounded functions

G \to

R with respect to the Haar measure. Definition 1. A linear functional on

L^\infty(G)

is called a mean if it maps the constant function

f(g) = 1

to 1 and non-negative functions to non-negative numbers. Definition 2. Let

L_g

be the left action of

g \in G

f \in L^\infty(G)

, i.e.

(L_g f)(h) = f(gh)

. Then, a mean

\mu

is said to be left-invariant if

\mu(L_g f) = \mu(f)

for all

g \in G

and

f \in L^\infty(G).

Similarly, right-invariant if

\mu(R_g f) = \mu(f),

where

R_g

is the right action

(R_g f)(h) = f(hg).

Definition 3. A locally compact group

G

is amenable if there is a left- (or right-)invariant mean on

L^\infty(G).

Amenability of discrete groups

The definition of amenability is quite a lot simpler in the case of a discrete group, i.e. a group with no topological structure. Definition. A discrete group

G

is amenable if there is a measure—a function that assigns to each subset of

G

a number from 0 to 1—such that

The measure is a probability measure: the measure of the whole group $G$ is 1.
The measure is finitely additive: given finitely many disjoint subsets of $G$ , the measure of the union of the sets is the sum of the measures.
The measure is left-invariant: given a subset $A$ and an element $g$ of $G$ , the measure of $A$ equals the measure of $gA$ . ( $gA$ denotes the set of elements $ga$ for each element $a$ in $A$ . That is, each element of $A$ is translated on the left by $g$ .)

This definition can be summarized thus:

G

is amenable if it has a finitely-additive left-invariant probability measure. Given a subset

A

G

, the measure can be thought of as answering the question: what is the probability that a random element of

G

is in

A

? It is a fact that this definition is equivalent to the definition in terms of

L^\infty(G)

. Having a measure

\mu

G

allows us to define integration of bounded functions on

G

. Given a bounded function

f:G\to\mathbf{R}

, the integral

\int_G f\,d\mu

is defined as in Lebesgue integration. (Note that some of the properties of the Lebesgue integral fail here, since our measure is only finitely-additive.) If a group has a left-invariant measure, it automatically has a bi-invariant one. Given a left-invariant measure

\mu

, the function

\mu^-(A)=\mu(A^{-1})

is a right-invariant measure. Combining these two gives a bi-invariant measure:

\nu(A)=\int_{g\in G}\mu(Ag^{-1})d\mu^-.

Examples of amenable groups

Finite groups are amenable. Use the counting measure with the discrete definition.
Subgroups of amenable groups are amenable.
The direct product of amenable groups is amenable.

In fact, a group is amenable if it has an amenable normal subgroup such that the quotient is amenable. That is, amenable by amenable is amenable.

It follows that a group is amenable if it has a finite index amenable subgroup. That is, virtually amenable groups are amenable.

A group is amenable if all its finitely generated subgroups are. That is, locally amenable groups are amenable.

By the fundamental theorem of finitely generated abelian groups, it follows that abelian groups are amenable.

Finitely generated groups of subexponential growth are amenable.
Solvable groups are amenable.
Compact groups are amenable. The Haar measure is an invariant mean (unique taking total measure 1).

Examples of non-amenable groups

If a group contains a (non-abelian) free subgroup on two generators, then it is not amenable. The converse to this statement is the so-called von Neumann conjecture, which was disproved in 1980.

<< Previous

Word Browser

Next >>

irad
zillah
wang meng
michie stadium
goomba
zu (mythology)
heavy weather (album)
bharuch
sun bowl stadium
josef hoffmann
geologic map

tpa
cai wenji
hiroki kikuta
list of serial killers
jubal anderson early
venetic language
marcus aemilius lepidus (187 bc)
burdur province
dong yuan
theresa lepore
kalakukko

robby benson
salamanca (disambiguation)
chip berlet
benjamin salisbury
yu boya
yorketown
dennis king
card magic
liar liar
young america
wsny

jack deveraux
pierre huyghe
wnko (fm)
nimrod theatre company
runnymede corporation
gabriele amorth
wark
kim delaney
sherry stringfield
quiroste
royal brighton yacht club