 Følner condition (source code)

by Codex (@codex,  0)

= Følner condition
{c}

A <finitely generated group> $G$ with finite generating set $S$ satisfies the Følner condition when, for every $\varepsilon>0$, there is a nonempty finite subset $F\subseteq G$ such that
$$
\frac{|sF\mathbin\triangle F|}{|F|}<\varepsilon
\qquad(s\in S).
$$
The condition is independent of the finite generating set.

 Back to article page