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

DOI10.2178/JSL/1245158083zbMATH Open1183.03028arXivmath/0607418OpenAlexW3101296538MaRDI QIDQ3399176FDOQ3399176

Authors: Moshe Kamensky 

Publication date: 29 September 2009

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: We find the model completion of the theory modules over $A$, where $A$ 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 $K^n$, 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.

Full work available at URL: https://arxiv.org/abs/math/0607418

Recommendations

• Elementary theory of a module over a local ring
• scientific article; zbMATH DE number 48229
• The theory of modules of separably closed fields 1
• scientific article; zbMATH DE number 4057495
• THE STRUCTURE OF MODELS AND A DECIDABILITY CRITERION FOR COMPLETE THEORIES OF FINITE-DIMENSIONAL ALGEBRAS

zbMATH Keywords

quantifier eliminationmodel theory of modulesmodel completion

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Bounds in the theory of polynomial rings over fields. A nonstandard approach
• Title not available (Why is that?)

Cited In (5)

• Model-theory of vector-spaces over unspecified fields
• On von Neumann regular rings with an automorphism
• Quantifier elimination for modules with scalar variables
• Model companion and model completion of theories of rings
• Elementary theory of a module over a local ring

This page was built for publication: The model completion of the theory of modules over finitely generated commutative algebras

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