Elementary theory of a module over a local ring

DOI10.1007/BF00971494MaRDI QIDQ915722zbMATH OpenOpenAlexFDO

Authors Alexei Myasnikov

Publication date 1989

Published in Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00971494

zbMATH Keywords

decidabilityelementary theoryfinite-dimensional k-algebrasnilpotent k-groupsstructure of modelstwo-basis model

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model-theoretic algebra (03C60) Applications of logic to commutative algebra (13L05) Nilpotent groups (20F18)

Review text

Suppose A is a finite-dimensional local commutative associative k-algebra with unit over a field k of arbitrary characteristic and M is a finitely generated A-module. In this paper we consider the elementary theory of a two-basis model \(M_ A=<M,A;\delta >\), where \(\delta\) is the predicate distinguishing the action of A on M. Besides being of interest in its own right, the study of models of type \(M_ A\) is justified by the fact that many model-theoretic problems for arbitrary finite-dimensional k-algebras and nilpotent k-groups of finite rank can be reduced to them via the technique of bilinear mappings. In the present paper we obtain an algebraic description of the structure of models of the complete theory of \(M_ A\) and give a criterion for its decidability. These results are used in an essential way to classify algebras and nilpotent groups with respect to elementary properties and to characterize among them the objects with a decidable theory.

Recommendations

• THE STRUCTURE OF MODELS AND A DECIDABILITY CRITERION FOR COMPLETE THEORIES OF FINITE-DIMENSIONAL ALGEBRAS
• scientific article; zbMATH DE number 510790
• Towards the decidability of the theory of modules over finite commutative rings
• The model completion of the theory of modules over finitely generated commutative algebras
• scientific article; zbMATH DE number 4089758

Cited in

(6)

• The theory of models of bilinear mappings
• The model completion of the theory of modules over finitely generated commutative algebras
• THE STRUCTURE OF MODELS AND A DECIDABILITY CRITERION FOR COMPLETE THEORIES OF FINITE-DIMENSIONAL ALGEBRAS
• Elementary constructive theory of Henselian local rings
• scientific article; zbMATH DE number 4089758 (Why is no real title available?)
• ω-STABILITY AND MORLEY RANK OF BILINEAR MAPS, RINGS AND NILPOTENT GROUPS

This page was built for publication: Elementary theory of a module over a local ring

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