ノート:従順群

定義に関する疑問

不勉強にしてよく知らないのですが、en:Følner sequence には「フェルナー列を持つなら従順群」とのみあります。フェルナー列を持つことを従順群の定義にしてよい、すなわち逆の「従順群ならフェルナー列を持つ」が成り立つことは確かなのでしょうか。--白駒 2011年5月8日 (日) 12:06 (UTC)

離散群の場合には、確かに正しいと思います。 証明は、例えば、Taoのブログをご覧になってください。 --AlphaEtOmega 2011年5月8日 (日) 14:16 (UTC)

早速のお返事をありがとうございます。離散群に限っていることを見落としておりました。大変失礼致しました。実際には離散群を扱うことが多いのでしょうが、もしよければ一般的な定義も書いて頂ければ嬉しいです。--白駒 2011年5月8日 (日) 21:04 (UTC)