[论文解读] On state-closed representations of restricted wreath product of groups of type G_{p,d}=C_{p}wrC^{d}

Alex C. Dantas, Said N. Sidki|arXiv (Cornell University)|May 19, 2015

Advanced Algebra and Geometry参考文献 11被引用 6

一句话总结

本文研究了受限半直积 $G_{p,d} = C_p \wr C^d$ 的忠实状态闭表示，其中 $C_p$ 为素数阶循环群，$C^d$ 为秩为 $d$ 的自由交换群。证明了当 $d \geq 2$ 时，在 $p$-进树上不存在忠实状态闭表示，但构造了在 $p^2$-进树上的统一状态闭表示，并为 $G_{2,2}$ 在 4-叉树上给出了显式自动机实现。

ABSTRACT

Let $G_{p,d}$ be the restricted wreath product $C_{p} wr C^{d}$ where $C_{p}$ is a cyclic group of order a prime $p$ and $C^{d}$ a free abelian group of finite rank $d$. We study the existence of faithful state-closed (fsc) representations of $G_{p,d}$ on the $1$-rooted $m$-ary tree for some finite $m$. The group $G_{2,1}$, known as the lamplighter group, admits an fsc representation on the binary tree. We prove that for $d \geq 2$ there are no fsc representations of $G_{p,d}$ on the $p$ -adic tree. We characterize all fsc representations of $G=G_{p,1}$ on the $p$-adic tree where the first level stabilizer of the image of $G$ contains its commutator subgroup. Furthermore, for $d \geq 2$, we construct uniformly fsc representations of $G_{p,d}$ on the $p^{2}$ -adic tree and exhibit concretely the representation of $G_{2,2}$ on the $4$-tree as a finite-state automaton group.

研究动机与目标

• 确定 $G_{p,d} = C_p \wr C^d$ 在有限 $m$-叉树上的忠实状态闭表示是否存在。
• 分析此类表示的结构约束，特别是当第一级稳定子群包含交换子群时的情形。
• 将关于灯夫群（$G_{2,1}$）的已知结果推广到更高秩的半直积 $G_{p,d}$（$d \geq 2$）。
• 在更高阶树上（特别是 $p^2$-叉树上）为 $G_{p,d}$ 构造显式有限状态自动机表示。
• 在第一级稳定子群包含交换子群的条件下，刻画 $G_{p,1}$ 在 $p$-进树上的所有忠实状态闭表示。

提出的方法

• 使用相似对 $(H,f)$，其中 $H$ 在 $G_{p,d}$ 中有限指数，$f: H \to G$ 为虚拟自同态，递归地定义状态闭树自同构表示。
• 应用模理论表述，分析半直积 $G = AX$ 中状态闭表示的结构，其中 $A$ 为自中心化的阿贝尔正规子群。
• 引入一种变换，将简单相似对 $(H,f)$ 替换为新对 $(\dot{H}, \dot{f})$，保持指数和 $f$-不变性，从而简化分析。
• 采用递归树缠绕技术，从虚拟自同态构造有限状态自动机群。
• 通过显式计算状态和关联矩阵，验证有限状态行为，如在 $G_{2,2}$ 的 4-叉树上的演示。
• 应用群论论证，涉及正规闭包、交换子群和指数约束，以证明不存在性结果。

实验结果

研究问题

• RQ1 当 $d \geq 2$ 时，$G_{p,d} = C_p \wr C^d$ 是否在 $p$-进树上存在忠实状态闭表示？
• RQ2 当第一级稳定子群包含交换子群时，$G_{p,1}$ 在 $p$-进树上的状态闭表示为忠实表示的充要条件是什么？
• RQ3 能否为 $d \geq 2$ 的 $G_{p,d}$ 在 $p^2$-进树上构造统一的状态闭表示？
• RQ4 在 4-叉树上，$G_{2,2}$ 的自动机群表示的结构如何？其包含多少状态？
• RQ5 虚拟自同态和相似对的性质如何约束此类半直积中忠实状态闭表示的存在性？

主要发现

• 当 $d \geq 2$ 时，$G_{p,d}$ 在 $p$-进树上不存在忠实状态闭表示，由定理 1 和推论 1 证明。
• 在第一级稳定子群包含交换子群的条件下，$G_{p,1}$ 在 $p$-进树上的所有忠实状态闭表示均被完全刻画。
• 当 $d \geq 2$ 时，$G_{p,d}$ 在 $p^2$-进树上存在统一的状态闭表示，为表示问题提供了构造性解法。
• $G_{2,2}$ 在 4-叉树上存在忠实的有限状态自动机表示，且生成元 $x_1$ 的状态恰好有 12 个。
• $G_{2,2}$ 的自动机中 $x_1$ 的关联矩阵具有特定的 12×12 结构，并具有明确定义的转移计数，确认了有限状态行为。
• $G_{2,2}$ 的表示通过递归共轭和状态计算实现，得到一个自相似的、有限状态的自同构群。