従順群

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

フェルナー列による定義
離散群が従順であるとは、空でない有限部分集合の列が存在して、任意の元に対して

が成り立つことである（はとの対称差）。

また、このような列をのフェルナー列（フェルナーれつ、）という。

参考文献 

数学に関する記事