[论文解读] On some residual properties of Baumslag -- Solitar groups

Д. И. Молдаванский|arXiv (Cornell University)|Oct 14, 2013

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

一句话总结

本文综述了 Baumslag-Solitar 群 $G(m,n) = \langle a,b \mid a^{-1}b^m a = b^n \rangle$ 的剩余性质，建立了 $Φ$-剩余性与共轭 $Φ$-分离性的判定准则，其中 $Φ$ 为有限群或有限 $\pi$-群类。主要结果表明：当且仅当 $n \equiv 1 \pmod{p}$（$p$ 为素数）时，$G(1,n)$ 是 $Φ$-剩余的，但当 $|n| \neq 1$ 时并非共轭 $Φ$-分离的；相比之下，当 $|n| = m$ 时，$G(m,n)$ 对任意 $\pi$-群类均既为 $Φ$-剩余又为共轭 $Φ$-分离。

ABSTRACT

A survey of results on the residual properties of Baumslag -- Solitar groups which have been obtained to date.

研究动机与目标

• 系统综述 Baumslag-Solitar 群 $G(m,n)$ 中剩余有限性、共轭分离性与子群分离性的已知结果。
• 阐明 $G(m,n)$ 在何种条件下为剩余有限、剩余 $p$-群或共轭分离的（针对有限 $\pi$-群）。
• 解决关于 $Φ$-剩余性与共轭 $Φ$-分离性之间关系的开放问题，特别是针对 $G(1,n)$ 与 $|n|=m$ 的 $G(m,n)$ 情况。
• 为关键定理提供易于理解的证明，尤其针对原始文献难以获取或证明被新近简化的场合。

提出的方法

• 利用 HNN 扩张将 $G(m,n)$ 表示为 $\langle b \rangle \cong \mathbb{Z}$ 的扩张，其中稳定自同构为 $a$，关联子群为 $\langle b^m \rangle$ 与 $\langle b^n \rangle$。
• 构造有限同态像 $H_n(k,l) = \langle a,b \mid a^{-1}ba = b^n, a^k = b^l = 1 \rangle$ 以检验剩余性。
• 应用欧拉函数 $\varphi(l)$ 确保自同构阶整除 $k$，从而实现有限 $p$-群商。
• 通过集合 $U = \{ n \in \mathbb{Z} \mid \exists x, x^{-1}gx = gc^n \}$ 及其子群 $V$ 实现共轭提升，以分析共轭分离性。
• 将模 $C^r$ 的共轭问题约化为正规循环子群 $C = \langle c \rangle$，利用 $V = m\mathbb{Z}$ 及 $r$ 的选取避免 $k \in U$。
• 利用 $|n| = m$ 时 $G(m,n)$ 的结构，通过关于具有非平凡中心的一-relator 群的已知结果证明子群分离性。

实验结果

研究问题

• RQ1 在何种条件下 $G(m,n)$ 是剩余有限的（即 $\Cal{F}$-剩余）？
• RQ2 何时 $G(m,n)$ 是剩余 $p$-群（$p$ 为素数），$m,n$ 的必要与充分条件是什么？
• RQ3 $G(1,n)$ 是否对任意素数集 $\pi$ 是共轭 $\Cal{F}_\pi$-分离的，这与 $\Cal{F}_\pi$-剩余性有何关联？
• RQ4 $\Cal{F}_\pi$-剩余性是否蕴含 $G(m,n)$ 的共轭 $\Cal{F}_\pi$-分离性，若成立，需满足何种条件？
• RQ5 当 $|n| = m$ 时，$G(m,n)$ 是否为子群分离的，其依据为何？

主要发现

• 在 $|n| \geq m > 0$ 条件下，群 $G(m,n)$ 是 $\Cal{F}$-剩余当且仅当 $m=1$ 或 $|n|=m$。
• 对素数 $p$，$G(m,n)$ 是 $\Cal{F}_p$-剩余当且仅当：$m=1$ 且 $n \equiv 1 \pmod{p}$，或 $|n| = m = p^r$ 且当 $n = -m$ 时 $p=2$。
• 当 $|n| \neq 1$ 时，$G(1,n)$ 对某些含两个素数的集合 $\pi$ 是 $\Cal{F}_\pi$-剩余的，但永远不是共轭 $\Cal{F}_\pi$-分离的。
• 若 $|n| = m$，则只要 $G(m,n)$ 是 $\Cal{F}_\pi$-剩余的，它对任意素数集 $\pi$ 都是共轭 $\Cal{F}_\pi$-分离的。
• 当 $|n| = m$ 时，$G(m,n)$ 是子群分离的，推广了关于具有非平凡中心的一-relator 群的早期结果。
• 在 $G(1,n)$ 中，循环子群 $\langle b \rangle$ 不是 $\Cal{F}$-分离的，因为 $b$ 与 $b^n$ 的共轭性迫使对所有有限指数正规子群 $N$，有 $g = aba^{-1} \in BN$。