[論文レビュー] Metabelian Wreath Products Are LERF

Roger C. Alperin|ArXiv.org|Sep 21, 2006

Geometric and Algebraic Topology参考文献 2被引用数 5

ひとこと要約

この論文は、$A$ と $Q$ が有限生成アーベル群であるとき、メタアーベルワレース積 $A \wr Q$ が LERF（局所拡張残留有限）であることを証明する。証明は、アーベル核を持つ群拡大における部分群の分離性に関する強化された分離補題を用い、有限指数部分群への還元とプロファイ位相の議論を組み合わせている。主な結果は、$A \wr \mathbb{Z}$ に関する先行研究を一般化し、マグニス埋め込みを介して自由メタアーベル群が LERF であることを示唆する。

ABSTRACT

We show that a wreath product of two finitely generated abelian groups is LERF. Consequently the free metabelian groups are LERF.

研究の動機と目的

• ワレース積 $A \wr Q$ が LERF となる条件を同定すること、特にメタアーベルの場合に焦点を当てる。
• 有限生成アーベル群 $A$ に対して $A \wr \mathbb{Z}$ が LERF であるという既知の結果を、一般の有限生成アーベル群 $Q$ に拡張すること。
• マグニス埋め込みを用いて、自由メタアーベル群が $A \wr Q$ に埋め込まれることを示し、それにより LERF であることを確立すること。
• 有限指数還元とプロファイ位相を用いた、メタアーベルワレース積における部分群分離性の一般枠組みを提供すること。

提案手法

• 文献[de C]の分離補題の修正版を用い、$f: \Gamma \to Q$ がアーベル核を持つとき、$f(S)$ が $Q$ で有限指数である部分群 $S \leq \Gamma$ が $\Gamma$ で強く分離可能であることを示す。
• 分離問題を、$f(S) = Q$ かつ $S \cap K = \{1\}$ となる場合に還元し、$\Gamma = K \rtimes S$ かつ $K = A^Q$ となるようにする。
• 部分群 $S$ のプロファイ閉包 $\bar{S}$ が $K$ と自明に交わることを証明し、$S$ がプロファイ位相で閉じていることを示す。
• Gruenbergの定理により、$\Gamma^{(1)}_{R_2}$ と $\Gamma^{(2)}_{R_1}$ が有限生成かつ残留有限であることを用い、有限商を通して要素を分離する。
• 有限指数部分群への還元を適用する：$S$ が $\Gamma$ の有限指数部分群で分離可能であれば、$S$ は $\Gamma$ で分離可能である。これにより、$Q = R_1 \times R_2$ の場合に還元できる。
• マグニス埋め込みを用いて、自由メタアーベル群を $A \wr Q$（$A$, $Q$ は有限生成アーベル群）に埋め込み、LERF である群の部分群として、それらが LERF であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 有限生成アーベル群 $A$, $Q$ に対して、ワレース積 $A \wr Q$ が LERF となる条件は何か？
• RQ2 $A \wr \mathbb{Z}$ が LERF であるという結果を、任意の有限生成アーベル群 $Q$ に対して $A \wr Q$ に一般化できるか？
• RQ3 有限生成アーベル群 $A$, $Q$ に対して $A \wr Q$ の部分群分離性が、自由メタアーベル群が LERF であることを示唆するか？
• RQ4 有限生成アーベル群 $A$, $Q$ に対して、$A \wr Q$ のプロファイ位相を用いて、有限生成部分群を有限商によって分離できるか？

主な発見

• 有限生成アーベル群 $A$ と $Q$ に対して、ワレース積 $A \wr Q$ は常に LERF である。
• 証明は、$f: \Gamma \to Q$ がアーベル核を持つとき、$f(S)$ が $Q$ で有限指数である部分群 $S \leq \Gamma$ が $\Gamma$ で強く分離可能であることを示す、強化された分離補題に依存している。
• 有限指数還元技術により、問題が $f(S) = Q$ となる場合に還元可能であり、これによりプロファイ閉包の議論が簡略化される。
• 部分群 $S$ のプロファイ閉包 $\bar{S}$ は、$\bar{S} \cap K = \{1\}$ を満たす。これは $S$ がプロファイ位相で閉じていることを示唆する。
• $\Gamma^{(1)}_{R_2}$ と $\Gamma^{(2)}_{R_1}$ は有限生成かつ残留有限であるため、有限商による要素の分離が可能である。
• その結果、自由メタアーベル群は LERF である。なぜなら、それらが $A \wr Q$（$A$, $Q$ は有限生成アーベル群）に埋め込まれており、LERF は部分群に対しても保存されるからである。