フェルナー列による定義
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2011/05/08 21:03 UTC 版)
離散群Gが従順であるとは、 空でない有限部分集合の列{Sn}が存在して、 任意の元に対して が成り立つことである。 ただし、はgSnとSnの対称差である。 また、このような列{Sn}をGのフェルナー列(英: Følner sequence)という。
※この「フェルナー列による定義」の解説は、「従順群」の解説の一部です。
「フェルナー列による定義」を含む「従順群」の記事については、「従順群」の概要を参照ください。
- フェルナー列による定義のページへのリンク