Decidability of the theory of modules over Pr\"ufer domains with infinite residue fields

DOI10.1017/JSL.2018.58MaRDI QIDQ6288370arXivFDO

Authors Lorna Gregory, Sonia L'Innocente, Gena Puninski, Carlo Toffalori

Publication date 27 June 2017

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Dedekind, Prüfer, Krull and Mori rings and their generalizations (13F05)

Abstract: We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Pr"ufer (in particular B'ezout) domains with infinite residue fields in terms of a suitable generalization of the prime radical relation. For B'{e}zout domains these conditions are also necessary.

This page was built for publication: Decidability of the theory of modules over Pr\"ufer domains with infinite residue fields

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