従順群

従順群（じゅうじゅんぐん、英語: amenable group）は、局所コンパクト群の一種。

フェルナー列による定義

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

$\lim _{n\to \infty }{\frac {|gS_{n}\triangle S_{n}|}{|S_{n}|}}=0$

が成り立つことである（$gS_{n}\triangle S_{n}$は$gS_{n}$と$S_{n}$の対称差）。

また、このような列$\{S_{n}\}$を$G$のフェルナー列（フェルナーれつ、英: Følner sequence）という。