従順群

従順群（じゅうじゅんぐん、テンプレート:Lang-en）は、局所コンパクト群の一種。

フェルナー列による定義

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

$\underset{n\to \mathrm{\infty }}{\lim }\frac{|g{S}_n\mathrm{△}{S}_n|}{|S_n|}=0$

が成り立つことである（$g{S}_n\mathrm{△}{S}_n$は$g{S}_n$と$S_n$の対称差）。

また、このような列$\{S_n\}$を$G$のフェルナー列（フェルナーれつ、テンプレート:Lang-en-short）という。