Hostname: page-component-cd9895bd7-gbm5v Total loading time: 0 Render date: 2024-12-22T20:17:31.054Z Has data issue: false hasContentIssue false
  • English
  • Français

The model completion of the theory of modules over finitely generated commutative algebras

Published online by Cambridge University Press:  12 March 2014

Moshe Kamensky
Moshe Kamensky*
Affiliation:
Department of Mathematics, The Hebrew University, Jerusalem, Israel
*
Department of Pure Math, University of Waterloo, Waterloo, N2L 3G1, Ontario, Canada, E-mail: [email protected], URL: http://mkamensky.notlong.com
Get access Rights & Permissions [Opens in a new window]

Abstract

We find the model completion of the theory modules over , where is a finitely generated commutative algebra over a field K. This is done in a context where the field K and the module are represented by sorts in the theory, so that constructible sets associated with a module can be interpreted in this language. The language is expanded by additional sorts for the Grassmanians of all powers of Kn, which are necessary to achieve quantifier elimination.

The result turns out to be that the model completion is the theory of a certain class of “big” injective modules. In particular, it is shown that the class of injective modules is itself elementary. We also obtain an explicit description of the types in this theory.

Keywords

modulesmodel completionquantifier eliminationPrimary 03C10Secondary 03C60
Type
Research Article
Information
The Journal of Symbolic Logic , Volume 74 , Issue 3 , September 2009 , pp. 734 - 750
Copyright
Copyright © Association for Symbolic Logic 2009

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

Buechler, Steven [1996], Essential stability theory, Perspectives in Mathematical Logic, Springer-Verlag, Berlin.CrossRefGoogle Scholar
Eisenbud, David [1995], Commutative algebra, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York, with a view toward algebraic geometry.CrossRefGoogle Scholar
Hartshorne, Robin [1977], Algebraic geometry, Graduate Texts in Mathematics, no. 52, Springer-Verlag, New York.CrossRefGoogle Scholar
Marker, David [2002], Model theory: An introduction, Graduate Texts in Mathematics, vol. 217, Springer-Verlag, New York.Google Scholar
Milne, James S. [1980], Étale cohomology, Princeton Mathematical Series, vol. 33, Princeton University Press, Princeton. N.J..Google Scholar
Milne, James S. [2005], Algebraic geometry, http://jmilne.org/math/, 02, course lecture notes.Google Scholar
Pierce, David [2006], Model-theory of vector-spaces over unspecied fields, http://www.math.metu.edu.tr/~dpierce/papers/Vector-spaces/, 09.Google Scholar
Poizat, Bruno [2000], A course in model theory, Universitext, Springer-Verlag, New York, an introduction to contemporary mathematical logic, translated from the French by Moses Klein and revised by the author.CrossRefGoogle Scholar
Robinson, Raphael M. [1951], Undecidable rings, Transactions of the American Mathematical Society, vol. 70, no. 1, pp. 137–159.CrossRefGoogle Scholar
Sacks, Gerald E. [1972], Saturated model theory, W. A. Benjamin, Inc., Reading, Massachusetts.Google Scholar
den Dries, L. van and Schmidt, K. [1984], Bounds in the theory of polynomial rings over fields. A nonstandard approach, Inventiones Mathematicae, vol. 76, no. 1, pp. 77–91.CrossRefGoogle Scholar