[论文解读] Metabelian Wreath Products Are LERF

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

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

一句话总结

本文证明了当 $A$ 和 $Q$ 为有限生成交换群时，幂零型的半直积 $A ackslashwr Q$ 是 LERF（局部扩展剩余有限）。证明方法结合了针对具有交换核的群扩张中子群的强化可分性引理、有限指数子群约化以及 $p$-进拓扑论证。关键结果推广了关于 $A \wr \mathbb{Z}$ 的早期工作，并通过 Magnus 嵌入表明自由幂零群是 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 \wr \mathbb{Z}$ 是 LERF（当 $A$ 为有限生成交换群时）推广至任意有限生成交换群 $Q$。
• 通过 Magnus 嵌入到 $A \wr Q$ 中，建立自由幂零群是 LERF 的结论。
• 提供一个通用框架，利用有限指数约化与 $p$-进拓扑方法，研究幂零型半直积中的子群可分性。

提出的方法

• 使用 [de C] 中可分性引理的修改版本，证明若子群 $S \leq \Gamma$ 满足 $f(S)$ 在 $Q$ 中为有限指数，则其在 $\Gamma$ 中是强可分的，其中 $f: \Gamma \to Q$ 的核为交换群。
• 将可分性问题约化至 $f(S) = Q$ 且 $S \cap K = \{1\}$ 的情形，使得 $\Gamma = K \rtimes S$，其中 $K = A^Q$。
• 证明 $S$ 在 $\Gamma$ 中的 $p$-进闭包 $\bar{S}$ 与 $K$ 的交集为平凡，从而推出 $S$ 在 $p$-进拓扑下是闭的。
• 利用 $\Gamma^{(1)}_{R_2}$ 和 $\Gamma^{(2)}_{R_1}$ 有限生成且剩余有限（由 Gruenberg 定理）的事实，通过有限商群分离元素。
• 应用有限指数子群约化：若 $S$ 在 $\Gamma$ 的某个有限指数子群中可分，则 $S$ 在 $\Gamma$ 中也可分，从而可将问题约化至 $Q = R_1 \times R_2$ 的情形。
• 利用 Magnus 嵌入将自由幂零群嵌入到 $A \wr Q$ 中，其中 $A$ 和 $Q$ 为有限生成交换群，并由此推出它们是 LERF，因为 LERF 性质在子群下保持。

实验结果

研究问题

• RQ1 当 $A$ 和 $Q$ 为有限生成时，半直积 $A \wr Q$ 在何种条件下是 LERF？
• RQ2 已知结果 $A \wr \mathbb{Z}$ 是 LERF（当 $A$ 为有限生成交换群时）能否推广至任意有限生成交换群 $Q$ 的情形？
• RQ3 若 $A$ 和 $Q$ 为有限生成交换群，则 $A \wr Q$ 的子群可分性是否意味着自由幂零群是 LERF？
• RQ4 当 $A$ 和 $Q$ 为交换群时，能否利用 $A \wr Q$ 上的 $p$-进拓扑，通过有限商群分离其有限生成子群？

主要发现

• 当 $A$ 和 $Q$ 为有限生成交换群时，半直积 $A \wr Q$ 是 LERF。
• 证明依赖于一个强化的可分性引理：若子群 $S \leq \Gamma$ 满足 $f(S)$ 在 $Q$ 中为有限指数，则其在 $\Gamma$ 中是强可分的，其中 $f: \Gamma \to Q$ 的核为交换群。
• 有限指数约化技术使问题可约化至 $f(S) = Q$ 的情形，简化了 $p$-进闭包的论证。
• $S$ 在 $\Gamma$ 中的 $p$-进闭包 $\bar{S}$ 满足 $\bar{S} \cap K = \{1\}$，这蕴含 $S$ 在 $p$-进拓扑下是闭的。
• $\Gamma^{(1)}_{R_2}$ 和 $\Gamma^{(2)}_{R_1}$ 为有限生成且剩余有限，因此可利用有限商群分离元素。
• 作为推论，自由幂零群是 LERF，因为它们可嵌入到 $A \wr Q$（其中 $A$ 和 $Q$ 为有限生成交换群）中，而 LERF 性质在子群下保持。