単位元のねじれ部分群を用いた整数の定義可能性
Definability and undecidability via the torsion subgroup of units
この論文をやさしく読む
ひとことで言うと
大きな数体の整数環の中で通常の整数を論理式で指定し、理論の決定不能性を示す研究。
何に役立つ？
数論的な構造と論理的な決定可能性の関係を理解する助けになる。
この研究の面白いところ
1の冪根をパラメータなしの正の存在論理式で定義できることを鍵に、最大アーベル拡大の整数環を扱う。
どこまで分かった？
対象はQabやQtr(i)の部分体の整数環。任意の体への結果ではない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
本論文は、有理数体Qの最大アーベル拡大Qabの整数環Zabの中で、通常の整数環Zを一階論理で定義できることを証明する。これにより、Zabの一階理論が決定不能であると分かる。 さらに一般的に、iを虚数単位、Qtrをすべての全実数からなる体として、Qtr(i)の部分体の整数環に関する新しい定義可能性と決定不能性の結果を証明する。特に、無限個の1の冪根を含む体に注目する。これらの結果の鍵は、Qtr(i)の任意の部分体Lについて、その整数環OLの中で1の冪根の集合μ(OL)を定義する、パラメータを使わない正の存在論理式があるという事実である。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
In this paper, we prove that $\mathbb{Z}$ is first-order definable in the ring of integers $\mathbb{Z}^{\text{ab}}$ of the maximal abelian extension $\mathbb{Q}^{\text{ab}}$ of $\mathbb{Q}$, which implies that the first-order theory of $\mathbb{Z}^{\text{ab}}$ is undecidable. More generally, writing $i = \sqrt{-1}$ and $\mathbb{Q}^{\text{tr}}$ for the field of all totally real numbers, we prove new definability and undecidability results for rings of integers of subfields of $\mathbb{Q}^{\text{tr}}(i)$, focusing especially on fields which contain infinitely many roots of unity. The key ingredient for these results is that there is a parameter-free positive-existential formula which defines the roots of unity $\mu(\mathcal{O}_L)$ inside $\mathcal{O}_L$ for every field $L\subseteq \mathbb{Q}^{\text{tr}}(i)$.
著者のコメント
16 pages
arXiv ID: 2609.27210 ／ 要約の誤りについて