Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1034

Preprint Number 1034

Previous Next Preprint server

1034. Sonia L'Innocente and Françoise Point
Bézout domains and lattice-valued modules

Submission date: 20 April 2016


We introduce a notion of lattice-valued modules over a commutative Bézout domain B, an instance being the ring B endowed with the lattice-valuation map to its lattice-ordered group of divisibility. Restricting ourselves to the setting of abelian structures satisfying a divisibility condition, we prove a quantifier elimination result. We extend in this setting a former Feferman-Vaught type theorem due to Garavaglia, considering the localizations over the ring B localized at the maximal ideal M, where M ranges over the maximal spectrum of B. We derive decidability results for the theory of modules over certain effectively given Bézout domains with good factorisation and in particular for effectively given good Rumely domains, for example the ring of algebraic integers.

Mathematics Subject Classification: 03C60, 03B25, 13A18, 06F15

Keywords and phrases:

Full text arXiv 1604.05922: pdf, ps.

Last updated: April 28 2016 13:36 Please send your corrections to: