[论文解读] A negative result on algebraic specifications of the meadow of rational numbers

J.A. Bergstra, Inge Bethke|arXiv (Cornell University)|Jul 2, 2015

Advanced Combinatorial Mathematics参考文献 10被引用 4

一句话总结

本文证明了有理数的对合域 ℚ₀ 无法通过标准域公理加上有限组形如 (1 + x₁² + ... + xₙ²) · (1 + x₁² + ... + xₙ²)⁻¹ = 1 的方程进行有限指定，即使推广到 Hₙ 模式亦然。关键结果是否定回答了此类有限指定是否存在这一问题，其依据是模素数的二次剩余的数论性质，以及特定函数 f(n) 的无界性。

ABSTRACT

$\mathbb{Q}_0$ - the involutive meadow of the rational numbers - is the field of the rational numbers where the multiplicative inverse operation is made total by imposing $0^{-1}=0$. In this note, we prove that $\mathbb{Q}_0$ cannot be specified by the usual axioms for meadows augmented by a finite set of axioms of the form $(1+ \cdots +1+x^2)\cdot (1+ \cdots +1 +x^2)^{-1}=1$.

研究动机与目标

• 研究有理数的对合域 ℚ₀ 是否能通过标准域公理和有限组形如 (1 + x₁² + ... + xₙ²) · (1 + x₁² + ... + xₙ²)⁻¹ = 1 的方程实现有限指定。
• 确定 Hₙ 模式（该模式推广了此类方程）是否能产生 ℚ₀ 的有限初等代数指定。
• 分析模素数的二次剩余在判断给定方程是否在零总化素域 (ℤ/pℤ)₀ 中成立时所起的作用。
• 为有限组域方程通过在所有 (ℤ/pℤ)₀（p 为素数）中不满足这些方程这一条件，建立 ℚ₀ 的必要与充分条件。
• 解决 ℚ₀ 是否能通过 Hₙ 模式实现有限指定的开放问题，通过数论矛盾提供否定答案。

提出的方法

• 利用定理 1：ℚ₀ ≅ 𝒪(Σ_Md, Md + E) 当且仅当 (ℤ/pℤ)₀ ⊭ E 对所有素数 p 成立。
• 引入函数 f(n)，将每个自然数 n 映射到 n 与模 n 的最大二次剩余之间的差值，若 n 为素数。
• 应用 Wright 定理（定理 2.3）以证明 ℕ⁺ 的每个有限非空子集都是无穷多个素数模下的二次剩余集合。
• 利用该结论证明 f(n) 是无界的，即存在某些素数使得 f(n) 取得任意大的值。
• 通过反证法：假设存在一组有限的 Hₙ 公理可指定 ℚ₀，然后证明当 f(p) > n 足够大时，这些公理在某个 (ℤ/pℤ)₀ 中必然不成立。
• 依据定理 1 得出结论：不存在这样的有限组 Hₙ 公理可指定 ℚ₀，因为对某个素数 p，(ℤ/pℤ)₀ 满足这些公理，违反了必要条件。

实验结果

研究问题

• RQ1 有理数的对合域 ℚ₀ 是否能通过标准域公理和有限组形如 (1 + x₁² + ... + xₙ²) · (1 + x₁² + ... + xₙ²)⁻¹ = 1 的方程实现有限指定？
• RQ2 是否存在 Hₙ 模式的有限子集（推广至多变量）可作为 ℚ₀ 的有限初等代数指定？
• RQ3 模素数的二次剩余在判断给定方程是否在零总化素域 (ℤ/pℤ)₀ 中成立时起何作用？
• RQ4 函数 f(n)（定义为当 n 为素数时，n 与其最大二次剩余的差值）是否保持有界，或可任意增大？
• RQ5 结构 ℐ(Σ_Md, Md + L₁) 是否同构于 ℚ₀，抑或其为特征为 0 的非消去域，且不包含 ℚ₀ 作为子代数？

主要发现

• 函数 f(n)，定义为当 n 为素数时 n 与最大二次剩余的差值，是无界的，该结论通过 Wright 定理及构造出所有小整数均为二次剩余的素数得以证明。
• 对任意有限组 Hₙ 公理，均存在一个素数 p，使得 (ℤ/pℤ)₀ 满足该公理组中的所有公理，即这些公理无法排除 (ℤ/pℤ)₀ 作为模型。
• 由于对某个素数 p，(ℤ/pℤ)₀ 满足这些公理，定理 1 暗示 ℚ₀ 无法同构于理论 Md + Γ 的初等代数，其中 Γ ⊂ {Hₙ | n ∈ ℕ} 为有限集。
• 因此，即使可通过单个方程如 f(x) · f(x)⁻¹ = 1（其中 f(x) = (x²−2)(x²−3)(x²−6)）指定 ℚ₀，也无法通过 Hₙ 模式实现其有限指定。
• 初等代数 ℐ(Σ_Md, Md + L₁) 不同构于 ℚ₀，且其为特征为 0 的非消去域，不包含 ℚ₀ 作为子代数。
• 该结果确认，将指定从 L₄ 弱化至 L₂ 无法通过 Hₙ 模式进一步以有限方式扩展，确立了 ℚ₀ 代数指定中的根本限制。