従順群

フェルナー列による定義

離散群[math]G[/math]が従順であるとは、 空でない有限部分集合の列[math]\{ S_n \}[/math]が存在して、 任意の元[math]g \in G[/math]に対して

[math]\lim_{n \to \infty} \frac{|g S_n \triangle S_n|}{|S_n|} = 0[/math]

が成り立つことである。 ただし、[math]g S_n \triangle S_n[/math]は[math]g S_n[/math]と[math]S_n[/math]の対称差である。

また、このような列[math]\{ S_n \}[/math]を[math]G[/math]のフェルナー列(英: Følner sequence)という。