Bézout domains and lattice-valued modules

DOI10.1016/J.JPAA.2019.05.016MaRDI QIDQ2318399zbMATH OpenOpenAlexFDO

Authors Sonia L'Innocente, Françoise Point

Publication date 15 August 2019

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

abelian structuresBézout domainsdecidability of theories of modulesdefinable setsring of all \(p\)-adic algebraic integersring of all algebraic integersring of all real algebraic integersvalued modules

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Ordered groups (06F15) Valuations and their generalizations for commutative rings (13A18)

Abstract: Let B be a commutative B'ezout domain B and let MSpec(B) be the maximal spectrum of B. We obtain a Feferman-Vaught type theorem for the class of B-modules. We analyse the definable sets in terms, on one hand, of the definable sets in the classes of modules over the localizations of B by the maximal ideals of B, and on the other hand, of the constructible subsets of MSpec(B). When B has good factorization, it allows us to derive decidability results for the class B-modules, in particular when B is the ring of algebraic integers or its intersection with real numbers or p-adic numbers.

Review text

The paper contains an advanced study of the model theory of modules over commutative Bezout domains, containing a Feferman-Vaught-type theorem, the definable sets and the constructible sets of the maximal ideal spectrum of the ring. As an application, they get the decidability of the theory of the right modules over the ring of all algebraic integers and over the rings of the real, respectively the \(p\)-adic, algebraic integers.

Recommendations

• Some model theory of modules over Bézout domains. The width
• Decidability of modules over a Bézout domain \(D+XQ[X]\) with \(D\) a principal ideal domain and \(Q\) its field of fractions
• Decidability of the theory of modules over commutative valuation domains
• Decidability of the theory of modules over Prüfer domains with dense value groups
• Decidability of the theory of modules over Prüfer domains with infinite residue fields

Cites work

• \(p\)-adic analytic groups
• \(RD\)-formulas and \(W\)-rings
• Abelian lattice-ordered groups and a characterization of the maximal spectrum of a Prüfer domain.
• Arithmetic over the rings of all algebraic integers.
• Computable Algebra, General Theory and Theory of Computable Fields
• Corrigendum to: ``Quantifier elimination in valued Ore modules
• Decidability for Theories of Modules
• DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS
• Decidability of the rings of real algebraic and p-adic algebraic integers.
• Decidability of the theory of modules over commutative valuation domains
• Decidability of the theory of modules over Prüfer domains with infinite residue fields
• Direct product decomposition of theories of modules
• Elementary Duality of Modules
• Elimination theory for the ring of algebraic integers.
• Embedding Theorems for Abelian Groups with Valuations
• Existentially closed domains with radical relations.
• scientific article; zbMATH DE number 4152550 (Why is no real title available?)
• scientific article; zbMATH DE number 3752829 (Why is no real title available?)
• scientific article; zbMATH DE number 42052 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 192904 (Why is no real title available?)
• scientific article; zbMATH DE number 1344825 (Why is no real title available?)
• scientific article; zbMATH DE number 3437452 (Why is no real title available?)
• scientific article; zbMATH DE number 1531449 (Why is no real title available?)
• scientific article; zbMATH DE number 3279238 (Why is no real title available?)
• Imaginary modules
• Jaffard-Ohm correspondence and Hochster duality
• Maximality and Ultracompleteness in Normed Modules
• Model theory of modules
• On the decidability of the theory of modules over the ring of algebraic integers
• On the prime ideals of the ring of entire functions
• Some model theory of modules over Bézout domains. The width
• The Ziegler spectrum of the ring of entire complex valued functions
• Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic

Cited in

(7)

• A geometric approach to free left modules over right Bezout domains
• Decidability of the theory of modules over Prüfer domains with dense value groups
• Decidability of the theory of modules over Prüfer domains with infinite residue fields
• Some model theory of modules over Bézout domains. The width
• Valued modules on skew polynomial rings and Bézout domains
• Decidability of modules over a Bézout domain \(D+XQ[X]\) with \(D\) a principal ideal domain and \(Q\) its field of fractions
• Decidability of the theory of modules over commutative valuation domains

This page was built for publication: Bézout domains and lattice-valued modules

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