A Diophantine definition of rational integers over some rings of algebraic numbers
type: Item
instance of: scholarly article
title: A Diophantine definition of rational integers over some rings of algebraic numbers
zbMATH Open document ID: 0771.11048
author: Alexandra Shlapentokh
published in: Notre Dame Journal of Formal Logic
publication date: 1993-02-22T00:00:00Z
review text: After a negative answer was given to Hilbert's Tenth Problem (that is, is there an algorithm that identifies the diophantine equations which have rational integer solutions and those that don't?) it is natural to ask a similar question in various other domains, for example, in the ring of integers \({\mathcal O}_ K\) of a number field \(K\). In all known cases (notably for \(K\) a quadratic field, a totally real extension or an abelian extension) the problem has a negative answer. Yet, the problem remains open for an arbitrary number field \(K\). The author gives a negative answer to the similar question for domains \({\mathcal O}\) which result from an \({\mathcal O}_ K\) by inverting a finite set of primes, for each number field \(K\) where the problem has been solved. The approach is in the classical style (first developed by Denef- Lipshitz): one considers the solutions of a Pell equation in \({\mathcal O}\). These correspond to a group of units with finite rank in a quadratic extension of \(K\). Then one essentially defines in a positive-existential way a subgroup of rank one (this is the hard part) and uses this in order to give a positive-existential definition of the rational integers in \({\mathcal O}\). The final result follows by the answer to Hilbert's Tenth Problem.
Mathematics Subject Classification ID: 11U05
zbMATH DE Number: 120367
zbMATH Keywords: diophantine definition of rational integers
zbMATH Keywords: rings of algebraic numbers
zbMATH Keywords: decidability
zbMATH Keywords: Hilbert's Tenth Problem
reviewed by: Thanases Pheidas
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1093634397
OpenAlex ID: W2026628716
DOI: 10.1305/NDJFL/1093634397
Recommended article: A diophantine definition of integers in the rings of rational numbers
Recommended article: Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator
Recommended article: Definability of the ring of integers in some infinite algebraic extensions of the rationals
Recommended article: Diophantine definitions for some polynomial rings
Recommended article: On diophantine equations over the ring of all algebraic integers
Recommended article: DIOPHANTINE SETS OF POLYNOMIALS OVER ALGEBRAIC EXTENSIONS OF THE RATIONALS
Recommended article: Arithmetic over the rings of all algebraic integers.
Recommended article: Q3497175
Recommended article: On Diophantine sets over polynomial rings
Recommended article: DIOPHANTINE DEFINABILITY OVER HOLOMORPHY RINGS OF ALGEBRAIC FUNCTION FIELDS WITH INFINITE NUMBER OF PRIMES ALLOWED AS POLES
description: scientific article; zbMATH DE number 120367