On pairs of free modules over a Dedekind domain

DOI10.1007/S00153-005-0311-1MaRDI QIDQ2580960zbMATH OpenOpenAlexFDO

Authors Saverio Cittadini, Carlo Toffalori

Publication date 10 January 2006

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-005-0311-1

zbMATH Keywords

decidabilityfirst-order theorypairs of free modules

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model-theoretic algebra (03C60) Applications of logic in associative algebras (16B70)

Review text

From the authors' introduction: ``The purpose of this paper is to study pairs of free Abelian groups or, more generally, of free modules over a given Dedekind domain \(R\) from a model theoretic point of view. The authors begin with a new proof of Ziegler's classification of indecomposable pure injective pairs \((A,N)\) of flat modules over a Dedekind domain \(R\). In the heart of the paper, they consider the first-order theory \(T_ 1\) of the pairs \((F, F_ 1)\), where \(F\) is a free Abelian group and \(F_ 1\) is a subgroup of \(F\). It is shown that \(T_ 1\) is co-recursively enumerable. Finally the authors show that the extensions \(T_ 1^{\text{div}}\) and \(T_ 1^{\text{tf}}\) of \(T_ 1\) are decidable. Here \(T_ 1^{\text{div}}\) is the first-order theory of the pairs \((F, F_ 1)\) where \(F/F_1\) is divisible, and \(T_ 1^{\text{tf}}\) is the first-order theory of the pairs \((F, F_ 1)\) where \(F/F_1\) is torsion-free.

Recommendations

• Genera construction of finite rank torsion-free modules over Dedekind rings
• On P-torsion modules over a pullback of two Dedekind domains
• Indecomposable torsion modules over Dedekind domains
• scientific article; zbMATH DE number 3935176
• scientific article; zbMATH DE number 7024801

Cites work

• ALL MODULES HAVE FLAT COVERS
• Decidability for Theories of Modules
• Elementary Duality of Modules
• Flat covers of modules
• Generalizations of the Stacked Bases Theorem
• scientific article; zbMATH DE number 192904 (Why is no real title available?)
• Model theory of modules
• On the elementary theory of quadruples of vector spaces
• The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup
• Torsion Free Covering Modules
• Undecidability of the Theory of Abelian Groups with a Subgroup

Cited in

(6)

• A geometric approach to free left modules over right Bezout domains
• Divisorial free modules of relative invariants on Krull domains
• On two open problems about embedding of modules in free modules^∗
• scientific article; zbMATH DE number 1952016 (Why is no real title available?)
• On N₁-free modules with trivial dual
• Wiles Defect for Modules and Criteria for Freeness

This page was built for publication: On pairs of free modules over a Dedekind domain

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