The logical complexity of finitely generated commutative rings

DOI10.1093/IMRN/RNY023MaRDI QIDQ5015553zbMATH OpenOpenAlexFDO

Authors Matthias Aschenbrenner, Anatole Khelif, Eudes Naziazeno, T. J. Scanlon

Publication date 9 December 2021

Published in IMRN. International Mathematics Research Notices (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Relative consistency and interpretations (03F25) Applications of logic to commutative algebra (13L05)

Abstract: We characterize those finitely generated commutative rings which are (parametrically) bi-interpretable with arithmetic: a finitely generated commutative ring $A$ is bi-interpretable with $(mathbbN,+,imes)$ if and only if the space of non-maximal prime ideals of $A$ is nonempty and connected in the Zariski topology and the nilradical of $A$ has a nontrivial annihilator in $mathbbZ$. Notably, by constructing a nontrivial derivation on a nonstandard model of arithmetic we show that the ring of dual numbers over $mathbbZ$ is not bi-interpretable with $mathbbN$.

Recommendations

• Infinite finitely generated fields are biinterpretable with ℕ
• A remark on commutative arithmetic rings
• Bi-interpretability and QFA structures: study of some soluble groups and commutative rings. (Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs
• Ideals in computable rings
• Arithmetic rings, bi-endomorphisms and Gr'obner bases

Cited in

(15)

• Complete first-order theories of some classical matrix groups over algebraic integers
• First-order rigidity of rings satisfying polynomial identities
• Online presentations of finitely generated structures
• scientific article; zbMATH DE number 5847329 (Why is no real title available?)
• NOTES ON THE DPRM PROPERTY FOR LISTABLE STRUCTURES
• Uniform definability of integers in reduced indecomposable polynomial rings
• Regular bi-interpretability of Chevalley groups over local rings
• Defining \(R\) and \(G(R)\)
• Bounded generation and commutator width of Chevalley groups: function case
• On the model theory of higher rank arithmetic groups
• Groups elementarily equivalent to metabelian Baumslag-Solitar groups and regular bi-interpretability
• Groups elementarily equivalent to a finitely generated free metabelian group
• Undecidability of indecomposable polynomial rings
• Model theory of projective spaces
• On the first-order genus of wreath products and their central extensions

This page was built for publication: The logical complexity of finitely generated commutative rings

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