Hostname: page-component-8448b6f56d-42gr6 Total loading time: 0 Render date: 2024-04-24T20:49:28.550Z Has data issue: false hasContentIssue false
  • English
  • Français

DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS

Published online by Cambridge University Press:  22 April 2015

LORNA GREGORY
LORNA GREGORY*
Affiliation:
THE UNIVERSITY OF MANCHESTER SCHOOL OF MATHEMATICS, OXFORD ROAD MANCHESTER, M13 9PL, UKE-mail:lorna.a.gregory@manchester.ac.uk
Get access Rights & Permissions [Opens in a new window]

Abstract

Extending work of Puninski, Puninskaya and Toffalori in [5], we show that if V is an effectively given valuation domain then the theory of all V-modules is decidable if and only if there exists an algorithm which, given a, b ε V, answers whether a ε rad(bV). This was conjectured in [5] for valuation domains with dense value group, where it was proved for valuation domains with dense archimedean value group. The only ingredient missing from [5] to extend the result to valuation domains with dense value group or infinite residue field is an algorithm which decides inclusion for finite unions of Ziegler open sets. We go on to give an example of a valuation domain with infinite Krull dimension, which has decidable theory of modules with respect to one effective presentation and undecidable theory of modules with respect to another. We show that for this to occur infinite Krull dimension is necessary.

Keywords

theory of modulescommutative valuation domaindecidabilityZiegler spectrum
Type
Articles
Information
The Journal of Symbolic Logic , Volume 80 , Issue 2 , June 2015 , pp. 684 - 711
Copyright
Copyright © The Association for Symbolic Logic 2015 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Fuchs, László and Salce, Luigi, Modules over non-Noetherian domains. Mathematical Surveys and Monographs, vol. 84, American Mathematical Society, Providence, RI, 2001.Google Scholar
Gregory, Lorna, Ziegler Spectra of Valuation Rings, Ph.D. thesis, University of Manchester, 2011.Google Scholar
Gregory, Lorna, Sobriety for the Ziegler spectrum of a Prüfer domain. Journal of Pure and Applied Algebra, vol. 217 (2013), no. 10, pp. 1980–1993.Google Scholar
Herzog, Ivo, Elementary duality of modules. Transactions of the American Mathematical Society, vol. 340 (1993), no. 1, pp. 37–69.CrossRefGoogle Scholar
Puninski, Gennadi, Puninskaya, Vera, and Toffalori, Carlo, Decidability of the theory of modules over commutative valuation domains. Annals of Pure and Applied Logic, vol. 145 (2007), no. 3, pp. 258–275.CrossRefGoogle Scholar
Prest, Mike, Model theory and modules, London Mathematical Society Lecture Note Series, vol. 130, Cambridge University Press, Cambridge, 1988.Google Scholar
Puninski, Gennadi, Cantor-Bendixson rank of the Ziegler spectrum over a commutative valuation domain, this Journal, vol. 64 (1999), no. 4, pp. 1512–1518.Google Scholar
Puninski, Gennadi, Serial rings. Kluwer Academic Publishers, Dordrecht, 2001.Google Scholar
Ziegler, Martin, Model theory of modules. Annals of Pure and Applied Logic, vol. 6 (1984), no. 2, pp. 149–213.Google Scholar