[論文レビュー] Lattice of relational algebras definable in integers with successor

A. L. Semenov, S. F. Soprunov|arXiv (Cornell University)|Jan 21, 2012

Advanced Algebra and Logic参考文献 1被引用数 7

ひとこと要約

この論文は、Svenoniusの定理を用いて、後続関数を備えた整数の集合における定義可能関係のラティスを特徴づけている。非自明な定義可能関係は、すべて3つの無限族のいずれかに同値であることが示され、それらは差関係 $A_{2,n}$（正確な差）、$A_{1,n}$（対称的差）、$A_{0,n}$（絶対値差）である。これらは、後続関数を備えた $ℤ$ 上で完全かつ構造的な定義可能性ラティスを形成する。

ABSTRACT

Svenonius theorem reduces the problem of first-order definability to the problem of relationship between groups of permutations. In the present paper we use this approach to describe the lattice of definable relations for the structure of integer numbers with the successor relation.

研究の動機と目的

• 構造 $\langle \mathbb{Z}, \{^\prime\} \rangle$ における一階論理的定義可能関係のラティスを完全に記述すること。ここで $^\prime$ は後続関数である。
• 置換不変性と初等拡大による制約を焦点に、すべての定義可能関係を初等的同値性の観点から分類すること。
• Svenoniusの定理を応用し、特に $ℤ$ に後続関数を備えた文脈において、初等拡大における置換群から定義可能性空間を回復すること。
• 定義可能性を群論的手法で分析するための普遍的可算初等拡大 $M_\mathbb{Z}$ を確立すること。
• 整数 $ℤ$ に後続関数を備えた構造において、すべての非自明な定義可能関係が、3つの標準的タイプ $A_{2,n}$、$A_{1,n}$、$A_{0,n}$ のいずれかと初等的同値であることを証明すること。

提案手法

• Svenoniusの定理を用いて、初等拡大における定義可能性と置換不変性の関係を関係づけ、群作用から定義可能性空間を回復可能にする。
• 普遍的初等拡大 $M_\mathbb{Z} = \mathbb{Z} \times S$（$S$ は可算）を導入し、後続関数を成分ごとに定義することで、定義可能性を分析するための標準的モデルとする。
• 主要な関係を定義する：$A_{2,n}$（正確な差 $n$）、$A_{1,n}$（差 $\pm n$）、$A_{0,n}$（絶対値差 $n$）、そしてインデックスにおけるGCDとLCMを用いたラティス演算を確立する。
• タプルの $w$-区別不能性の概念を導入し、差の構造的制約を活用して、置換下での関係比較を可能にする。
• $M_\mathbb{Z}$ 上の置換を3種類に分類する：シフト（第一種）、軌道上で符号を反転（第二種）、銀河を入れ替え（第三種）、それぞれが異なる定義可能関係を保存する。
• 群論的議論を用いる：関係 $R$ が置換群 $\Gamma_R$ によって保存され、かつ $\Gamma_R$ に特定のタイプの置換が含まれるならば、$R$ は標準的 $A_{i,n}$ と同値である必要がある。

実験結果

リサーチクエスチョン

• RQ1 後続関数を備えた $ℤ$ 上の一階論理的定義可能関係のラティスの完全な構造は何か？
• RQ2 特にSvenoniusの定理を用いて、初等拡大における置換不変性を用いた定義可能性の特徴づけはどのように可能か？
• RQ3 $A_{2,n}$、$A_{1,n}$、$A_{0,n}$ のうち、$ℤ$ に後続関数を備えた構造におけるすべての非自明な定義可能関係の代表として機能できるのはどれか？
• RQ4 特に初等拡大の文脈において、定義可能性ラティスは、関係を保存する置換群から完全に回復可能か？
• RQ5 3種類の置換（シフト、符号反転、銀河入れ替え）は、定義可能関係の初等的同値類を決定づける上で果たす役割は何か？

主な発見

• 整数 $ℤ$ に後続関数を備えた構造において、すべての非自明な定義可能関係は、ある $n \in \mathbb{N}$ に対して、3つの標準的族のいずれかと初等的同値である：$A_{2,n}$（正確な差 $n$）、$A_{1,n}$（差 $\pm n$）、$A_{0,n}$（絶対値差 $n$）。
• 構造 $\langle \mathbb{Z}, \{^\prime\} \rangle$ 上の定義可能性ラティスは、正確に3つの無限族の定義可能関係から構成され、それぞれが3つの標準的タイプに対応する。
• 関係 $R$ が定義可能であるための必要十分条件は、その安定化群 $\Gamma_R$ が特定のタイプの置換を含むことである：もし $\Gamma_R$ にのみシフト（第一種）が含まれるならば、$R \approx A_{2,d}$ である。もし $\Gamma_R$ にシフトと符号反転置換（第二種）が含まれるならば、$R \approx A_{1,d}$ である。もし $\Gamma_R$ に銀河入れ替え置換（第三種）が含まれるならば、$R \approx A_{0,d}$ である。
• 普遍的可算初等拡大 $M_\mathbb{Z} = \mathbb{Z} \times S$（$S$ は可算）は、置換群を用いたすべての定義可能性分析に十分である。なぜなら、任意の可算初等拡大 $M_\mathbb{Z}$ は $M_\mathbb{Z}$ と同型だからである。
• 証明は $w$-区別不能性と正規差の保存に依拠する背理法に基づく。もし置換 $f$ が $A_{0,d}$ を保存するが $R$ を保存しない場合、かつ $R$ が $A_{0,d}$ と同値でないならば、補題2と $\Gamma_R$ の構造により矛盾が生じる。
• ラティス構造は、標準的関係におけるインデックスのGCDとLCMの相互作用によって完全に決定され、$A_{i,j} \land A_{k,l} = A_{m,n}$ で $m = \max\{i,k\}$、$n = \gcd(j,l)$、$A_{i,j} \lor A_{k,l} = A_{m,n}$ で $m = \min\{i,k\}$、$n = \text{lcm}(j,l)$ となる。