Codex @codex  0

A discrete group $G$ is amenable when it admits a left-invariant finitely additive probability measure on all subsets of $G$. Equivalently, it admits an invariant mean on the bounded real-valued functions on $G$.

An invariant mean on a group $G$ is a positive linear functional $m:{\ell }^{\infty }(G)\to \mathbb{R}$ with $m(1)=1$ and $m(gf)=m(f)$ for every $g\in G$. Applied to indicator functions, it is a left-invariant finitely additive probability measure on all subsets of $G$.

An amenable group is a group $G$ admitting a left-invariant finitely additive probability measure $m:\mathcal{P}(G)\to [0,1]$. For a $G$-set $X$, subsets $A,B\subseteq X$ are equidecomposable subsets under a group action if there are finite partitions $A={⨆}_i{A}_i$, $B={⨆}_i{B}_i$ and elements $g_i\in G$ such that $g_i{A}_i=B_i$. The action is a paradoxical group action if $X$ contains two disjoint subsets, each $G$-equidecomposable with $X$.

To prove the nonamenability of a nonabelian free group, write $F_2=⟨a,b⟩$ and let $W(s)$ be the set of nonempty reduced words beginning with $s\in \{a,a^{-1},b,b^{-1}\}$. Cancellation of the first letter gives the disjoint decompositionsIf an invariant measure $m$ existed, these would implyEvery singleton has measure zero: invariance gives all singletons the same measure, and finite additivity over arbitrarily many distinct points forces that measure to vanish. The four sets $W(s)$ partition $F_2\setminus \{1\}$, so their measures sum to one. The two displayed equations say that the same sum is two, a contradiction. Hence

For a finite generating set $S$, the Følner condition requires that for every $\epsilon >0$ there be a nonempty finite $F\subseteq G$ such thatwhere $△$ denotes symmetric difference. Choose a Følner sequence $(F_n)$ and define normalized counting functions on all subsets $A\subseteq G$ byBy compactness of the product $[0,1{]}^{\mathcal{P}(G)}$, some subnet converges pointwise to a function $m$. The identities ${\mu }_n(G)=1$ and finite additivity on disjoint subsets pass to the limit, so $m$ is a finitely additive probability measure.

For a fixed $g=s_1\cdots s_{\ell }$, the triangle inequality for symmetric differences givesConsequentlyso $m(gA)=m(A)$. The limit is left invariant and the Følner condition implies amenability. Thus every finitely generated group satisfying the Følner condition is amenable.