[Paper Review] 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 Mathematics10 references4 citations

TL;DR

This paper proves that the involutive meadow of rational numbers, ℚ₀, cannot be finitely specified using the standard meadow axioms augmented with a finite set of equations of the form (1 + x₁² + ... + xₙ²) · (1 + x₁² + ... + xₙ²)⁻¹ = 1, even when generalized to the schema Hₙ. The key result is a negative answer to the question of whether such a finite specification exists, relying on number-theoretic properties of quadratic residues modulo primes and the unboundedness of a specific function 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$.

Motivation & Objective

• To investigate whether the involutive meadow of rational numbers ℚ₀ can be finitely specified using the standard meadow axioms and a finite set of equations of the form (1 + x₁² + ... + xₙ²) · (1 + x₁² + ... + xₙ²)⁻¹ = 1.
• To determine whether the schema Hₙ, which generalizes such equations, can yield a finite initial algebra specification of ℚ₀.
• To analyze the role of quadratic residues modulo prime numbers in determining whether a given equation holds in the zero-totalized prime fields (ℤ/pℤ)₀.
• To establish a necessary and sufficient condition for a finite set of meadow equations to specify ℚ₀ via the non-satisfaction of those equations in all (ℤ/pℤ)₀ for prime p.
• To resolve the open question of whether ℚ₀ can be finitely specified using the Hₙ schema, providing a negative answer through number-theoretic contradiction.

Proposed method

• Utilizes Theorem 1, which states that ℚ₀ ≅ 𝒪(Σ_Md, Md + E) if and only if (ℤ/pℤ)₀ ⊭ E for all primes p.
• Introduces a function f(n) that maps each natural number n to the difference between n and the largest quadratic residue modulo n, if n is prime.
• Applies Wright’s theorem (Theorem 2.3) to show that every finite non-empty subset of ℕ⁺ is a set of quadratic residues modulo infinitely many primes.
• Uses this to prove that f(n) is unbounded, meaning arbitrarily large values of f(n) exist for some primes.
• Constructs a contradiction by assuming a finite set of Hₙ axioms can specify ℚ₀, then showing that for sufficiently large f(p) > n, the axioms must fail in some (ℤ/pℤ)₀.
• Concludes via Theorem 1 that no such finite set of Hₙ axioms can specify ℚ₀, since (ℤ/pℤ)₀ satisfies the axioms for some prime p, violating the necessary condition.

Experimental results

Research questions

• RQ1 Can the involutive meadow of rational numbers ℚ₀ be finitely specified using the standard meadow axioms and a finite set of equations of the form (1 + x₁² + ... + xₙ²) · (1 + x₁² + ... + xₙ²)⁻¹ = 1?
• RQ2 Is there a finite subset of the Hₙ schema (generalized to multiple variables) that can serve as a finite initial algebra specification of ℚ₀?
• RQ3 What is the role of quadratic residues modulo prime numbers in determining whether a given equation holds in the zero-totalized prime fields (ℤ/pℤ)₀?
• RQ4 Does the function f(n), defined as the difference between n and its largest quadratic residue when n is prime, remain bounded or can it grow arbitrarily large?
• RQ5 Can the structure ℐ(Σ_Md, Md + L₁) be isomorphic to ℚ₀, or does it represent a non-cancellation meadow of characteristic 0 that does not contain ℚ₀ as a subalgebra?

Key findings

• The function f(n), defined as n minus the largest quadratic residue modulo n when n is prime, is unbounded, as proven via Wright’s theorem and the construction of primes where all small integers are quadratic residues.
• For any finite set of Hₙ axioms, there exists a prime p such that (ℤ/pℤ)₀ satisfies all axioms in the set, meaning the axioms do not exclude (ℤ/pℤ)₀ as a model.
• Since (ℤ/pℤ)₀ satisfies the axioms for some prime p, Theorem 1 implies that ℚ₀ cannot be isomorphic to the initial algebra of the theory Md + Γ for any finite Γ ⊂ {Hₙ | n ∈ ℕ}.
• Therefore, ℚ₀ cannot be finitely specified using the Hₙ schema, even though it can be specified using a single equation like f(x) · f(x)⁻¹ = 1 with f(x) = (x²−2)(x²−3)(x²−6).
• The initial algebra ℐ(Σ_Md, Md + L₁) is not isomorphic to ℚ₀, and it is a non-cancellation meadow of characteristic 0 that does not contain ℚ₀ as a subalgebra.
• The result confirms that weakening the specification from L₄ to L₂ cannot be extended further in a finite way using the Hₙ schema, establishing a fundamental limitation in algebraic specification of ℚ₀.