A universal first-order formula defining the ring of integers in a number field

DOI10.4310/MRL.2013.V20.N5.A12zbMATH Open1298.11113arXiv1202.6371OpenAlexW2963890724MaRDI QIDQ2510101FDOQ2510101

Authors: Jennifer Park 

Publication date: 31 July 2014

Published in: Mathematical Research Letters (Search for Journal in Brave)

Abstract: We show that the complement of the ring of integers in a number field K is Diophantine. This means the set of ring of integers in K can be written as {t in K | for all x_1, ..., x_N in K, f(t,x_1, ..., x_N) is not 0}. We will use global class field theory and generalize the ideas originating from Koenigsmann's recent result giving a universal first order formula for Z in Q.

Full work available at URL: https://arxiv.org/abs/1202.6371

Recommendations

• A Diophantine definition of rational integers over some rings of algebraic numbers
• Existential definability with bounds on archimedean valuations
• Definability of the ring of integers in pro-\(p\) Galois extensions of number fields
• Defining the integers in large rings of a number field using one universal quantifier
• Towards Hilbert's tenth problem for rings of integers through Iwasawa theory and Heegner points
• Hilbert's Tenth Problem for Rings of Algebraic Functions in One Variable Over Fields of Constants of Positive Characteristic
• Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of \(\mathbb{Q}\)
• Elliptic curves, \(L\)-functions, and Hilbert's tenth problem
• Decidable Sentences Over Polynomial Rings
• On Dipphantine definability and decidability in some rings of algebraic functions of characteristic 0

zbMATH Keywords

class field theoryquaternion algebraHilbert symbolHilbert's tenth problemArtin reciprocitydiophantine set

Mathematics Subject Classification ID

Class field theory (11R37) Quaternion and other division algebras: arithmetic, zeta functions (11R52) Decidability (number-theoretic aspects) (11U05)

Cited In (15)

• Diophantine definability of nonnorms of cyclic extensions of global fields
• Extensions of Hilbert's tenth problem: definability and decidability in number theory
• Defining \(\mathbb Z\) in \(\mathbb Q\)
• Elliptic curves, \(L\)-functions, and Hilbert's tenth problem
• Defining the integers in large rings of a number field using one universal quantifier
• Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting)
• A survey of local-global methods for Hilbert's tenth problem
• Universally and existentially definable subsets of global fields
• A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF
• Universally defining Z$\mathbb {Z}$ in Q$\mathbb {Q}$ with 10 quantifiers
• Irreducibility of polynomials over global fields is diophantine
• Universally defining finitely generated subrings of global fields
• Elimination theory for the ring of algebraic integers.
• Characterizing integers among rational numbers with a universal-existential formula
• As easy as \(\mathbb {Q}\): Hilbert's tenth problem for subrings of the rationals and number fields

This page was built for publication: A universal first-order formula defining the ring of integers in a number field

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2510101)