Abstract
We associate a formal power series to every pp-formula over a Dedekind domain and use it to study Ziegler spectra of Dedekind domains R and \(\widetilde{R},\) where R a subring of \(\widetilde{R}\), with particular interest in the case when \(\widetilde{R}\) is the integral closure of R in a finite dimensional separable field extension of the field of fractions of R.
Similar content being viewed by others
Notes
The next Proposition 6.4 implies that the converse is also true.
References
Berrick, A.J., Keating, M.E.: An Introduction to Rings and Modules with \(K\)-theory in View. Cambridge Studies in Advanced Mathematics, vol. 65. Cambridge University Press, Cambridge (2000)
Berrick, A.J., Keating, M.E.: Categories and Modules with \(K\)-theory in View. Cambridge Studies in Advanced Mathematics, vol. 67. Cambridge University Press, Cambridge (2000)
Dickmann, M., Schwartz, N., Tressl, M.: Spectral Spaces. New Mathematical Monographs, vol. 35. Cambridge University Press, Cambridge (2019)
Eklof, P.C., Herzog, I.: Model theory of modules over a serial ring. Ann. Pure Appl. Logic 72, 145–176 (1995)
Geigle, W.: The Krull–Gabriel dimension of the representation theory of a tame hereditary Artin algebra and applications to the structure of exact sequences. Manuscr. Math. 54, 83–106 (1985)
Goodearl, K.R., Warfield, R.B., Jr.: An Introduction to Noncommutative Rings. Cambridge University Press, Cambridge (2004)
Gregory, L., L’Innocente, S., Puninski, G., Toffalori, C.: Decidability of the theory of modules over Prüfer domains with infinite residue fields. J. Symb. Logic 83, 1391–1412 (2018)
Herzog, I.: Elementary duality of modules. Trans. Am. Math. Soc. 340, 37–69 (1993)
Herzog, I.: Locally simple objects. In: Eklof, P., Goebel, R. (eds.) Proceedings of the International Conference on Abelian Groups and Modules. Trends in Mathematics Series, pp. 341–351. Birkhäuser, Basel (1999)
Janusz, G.: Algebraic Number Fields. Graduate Studies in Mathematics, vol. 7. American Mathematical Society, Providence (1996)
L’Innocente, S., Puninski, G., Toffalori, C.: On the decidability of the theory of modules over the ring of algebraic integers. Ann. Pure Appl. Logic 168, 1507–1516 (2017)
Larsen, M., McCarthy, P.: Multiplicative Theory of Ideals. Pure and Applied Mathematics, vol. 43. Academic Press, London (1971)
Lorenzini, D.: An Invitation to Arithmetic Geometry. Graduate Studies in Mathematics, vol. 9. American Mathematical Society, Providence (1996)
Marcus, D.: Number Fields. Springer, Berlin (2018)
Neukirch, J.: Algebraic Number Theory. Springer, Berlin (1999)
Prest, M.: Model Theory and Modules. London Math. Soc. Lecture Note Series, vol. 150. Cambridge University Press, Cambridge (1988)
Prest, M.: Purity, Spectra and Localisation. Encyclopedia of Mathematics and its Applications, vol. 121. Cambridge University Press, Cambridge (2009)
Puninski, G., Toffalori, C.: Some model theory of modules over Bézout domains. The width. J. Pure Appl. Algebra 219, 807–829 (2015)
Rosenberg, J.: Algebraic \(K\)-Theory and Its Applications, Graduate Texts in Mathematics, vol. 147. Springer, Berlin (1994)
Rotman, J.: Introduction to Homological Algebra. Springer, Berlin (2009)
Sutherland, A.: Number Theory I. Lecture Notes. https://ocw.mit.edu/courses/mathematics/18-785-number-theory-i-fall-2017
Swan, R.: Algebraic \(K\)-theory. Lecture Notes in Mathematics, vol. 76. Springer, Berlin (1968)
van den Dries, L.: Lectures on the model theory of valued fields. In: Macpherson, H.D., Toffalori, C. (eds.) Model Theory in Algebra, Analysis and Arithmetic, CIME Summer Course, Cetraro 2012. Lecture Notes in Mathematics, vol. 2111, pp. 55–157. Springer, New York (2014)
Ziegler, M.: Model theory of modules. Ann. Pure Appl. Logic 26, 149–213 (1984)
Acknowledgements
Lorna Gregory and Carlo Toffalori thank the Italian GNSAGA-INdAM and PRIN 2017 for their support. The authors thank the anonymous referee for her/his very helpful suggestions.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Gregory, L., Herzog, I. & Toffalori, C. Notes on model theory of modules over Dedekind domains. Boll Unione Mat Ital 17, 11–39 (2024). https://doi.org/10.1007/s40574-023-00372-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40574-023-00372-w