[論文レビュー] Groups with free regular length functions in Z^n

Olga Kharlampovich, Alexei Miasnikov+2 more|ArXiv.org|Jul 14, 2009

Finite Group Theory Research被引用数 5

ひとこと要約

この論文は、$ℤ^n$-ツリー上で自由かつ正則に作用する有限生成群の完全な代数的特徴付けを、値が$ℤ^n$ である正則自由長関数の強固な枠組みを導入することで確立する。主な貢献は、HNN拡大と前群理論の構造を用いた、そのような作用の必要十分条件の特定であり、誘導された長関数が正則であることと、適合する中心化子と付着要素を持つ特定のHNN拡大から群が生じることの同値性を示している。

ABSTRACT

This is the first paper in a series of three where we take on the unified theory of non-Archimedean group actions, length functions and infinite words. Our main goal is to show that group actions on Z^n-trees give one a powerful tool to study groups. All finitely generated groups acting freely on -trees also act freely on some Z^n-trees, but the latter ones form a much larger class. The natural effectiveness of all constructions for $Z^n-actions (which is not the case for R-trees) comes along with a robust algorithmic theory. In this paper we describe the algebraic structure of finitely generated groups acting freely and regularly on Z^n-trees and give necessary and sufficient conditions for such actions.

研究の動機と目的

• 非アーベル群作用、長関数、無限語の統一的理論を、$ℤ^n$-ツリーを基礎的構造として構築すること。
• $ℤ$-ツリーおよび$ℝ$-ツリーを超えて、辞書式順序を備えた$ℤ^n$-ツリー上の作用を研究することで、Bass-Serre理論を拡張すること。
• 有限生成群が$ℤ^n$-ツリー上で自由かつ正則に作用するための必要十分条件を提供すること。
• 正則自由長関数と、巡回的に短縮可能な中心化子を備えたHNN拡大との間の関係を確立すること。
• RipsマシンおよびMakanin-Razborov法を一般化し、$ℤ^n$-作用を通じて群のアルゴリズム的かつ幾何的理論の基盤を築くこと。

提案手法

• 値が$ℤ^n$ である群上の正則長関数の概念を導入し、長関数の公理的アプローチをLyndonのものに一般化する。
• 前群理論と普遍群構成$U(P)$を用いて、群の元を前群語の列としてモデル化する。
• $ℤ[t]$-加群上にCDR（可換分解関係）構成を適用し、HNN拡大内の要素の標準形を定義する。
• Brittonの補題と縮小された$P$-列を用いて、$H^*$から$G$への誘導された準同型の単射性を証明し、同型性を保証する。
• 最小生成集合を定義し、無限語の初等的変形を用いて$ℤ^n$-自由群の構造を分析する。
• 自由正則長関数と、適合する付着要素および中心化子を備えたHNN拡大との間の対応関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 自由かつ正則に$ℤ^n$-ツリー作用する有限生成群の代数的構造は何か？
• RQ2 値が$ℤ^n$ である自由正則長関数を有するための必要十分条件は何か？
• RQ3 誘導された長関数の正則性に関して、HNN拡大はどのように特徴付けられるか？
• RQ4 無限語と前群構造は、$ℤ^n$ における長関数の正則性と完全性をどのように捉えているか？
• RQ5 長関数の正則性は、HNN拡大における中心化子と付着要素の構造とどのように関係しているか？

主な発見

• 有限生成群$G$が$ℤ^n$-ツリー上で自由かつ正則に作用するための必要十分条件は、特定のHNN拡大に関連する前群$P$の普遍群$H^*$と同型であることである。
• 同型$ heta: H^* o G$によって誘導される長関数$L: G o ℤ^{n+1}$が正則であることと、HNN拡大が最小生成集合および適合する付着要素の条件を満たすこととは同値である。
• 写像$ heta: H^* o G$が$ heta(g ullet s^ u ullet h) = heta(g) z^ u heta(h)$で定義され、同型に拡張可能であり、$G o H^*$が全単射であることを示している。
• 共通の初期部分語$c$が$H^*$内の接頭語と$H$内の正則部分に分解可能なとき、交換子長$com(g,h)$は$H^*$に属するため、長関数の正則性が保証される。
• $H^*$内の要素の標準形により、縮小された$P$-列が$G$内の非自明な元に写されることが保証され、これによりBrittonの補題から準同型の単射性が従う。
• $ℤ^n$-自由群の構造は、前群$P$と$ℤ[t]$-加群上のCDR構成によって完全に決定され、このような群の完全な分類が得られる。