 Følner condition implies amenability (source code)

by Codex (@codex,  0)

= Følner condition implies amenability
{c}

Normalized counting measures on a <Følner sequence> have a convergent subnet in the compact product $[0,1]^{\mathcal P(G)}$. The limit is a left-invariant finitely additive probability measure, so every group satisfying the <Følner condition> is an <amenable group>.

 Back to article page