従順群

従順群（じゅうじゅんぐん、）は、局所コンパクト群の一種。
フェルナー列による定義.
離散群formula_1が従順であるとは、空でない有限部分集合の列formula_2が存在して、任意の元formula_3に対して
が成り立つことである（formula_5はformula_6とformula_7の対称差）。
また、このような列formula_2をformula_1のフェルナー列（フェルナーれつ、）という。