[論文レビュー] 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

ひとこと要約

本稿は、素数位数の巡回群 $C_p$ とランク $d$ の自由アーベル群 $C^d$ の制限ワーレン積 $G_{p,d} = C_p \wr C^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.

研究の動機と目的

• 有限な $m$ に対して、$G_{p,d} = C_p \wr C^d$ が正規 $m$-分木上に忠実な状態閉包表現をもつかを特定すること。
• 特に第一レベル安定化子が交換子部分群を含む場合に、このような表現にかかる構造的制約を分析すること。
• $G_{2,1}$（ランプライトラーパー群）の既知の結果を、$d \geq 2$ の高ランクワーレン積 $G_{p,d}$ に拡張すること。
• 特に $p^2$-分木上での $G_{p,d}$ の明示的な有限状態自己機械的表現を構成すること。
• 第一レベル安定化子が交換子部分群を含むという条件下で、$G_{p,1}$ の $p$-進木上におけるすべての忠実な状態閉包表現を特徴付けること。

提案手法

• 有限指数の部分群 $H \subset G_{p,d}$ と $f: H \to G$ なる仮想自己準同型を伴う類似対 $(H,f)$ を用い、状態閉包木自己同型表現を再帰的に定義する。
• 状態閉包表現の構造を解析するため、$A$ が自己中心化アーベル正規部分群である半直積 $G = AX$ におけるモジュール論的定式化を適用する。
• 単純な類似対 $(H,f)$ を、指数と $f$-不変性を保ちつつ新しい対 $(\dot{H}, \dot{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 $G_{2,2}$ が4-分木上に表現する自己機械群の構造は何か？ また、その状態数はいくつか？
• 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}$ の表現は再帰的共軛と状態計算により実現され、自己相似的かつ有限状態の自己同型群が得られる。