Some stable non-elementary classes of modules

DOI10.1017/JSL.2021.68arXiv2010.02918MaRDI QIDQ6350672FDOQ6350672

Authors: Marcos Mazari-Armida 

Publication date: 6 October 2020

Abstract: Fisher [Fis75] and Baur [Bau75] showed independently in the seventies that if $T$ is a complete first-order theory extending the theory of modules, then the class of models of $T$ with pure embeddings is stable. In [Maz4, 2.12], it is asked if the same is true for any abstract elementary class $(K,le{q}_p)$ such that $K$ is a class of modules and $le{q}_p$ is the pure submodule relation. In this paper we give some instances where this is true: $extbfTheorem.$ Assume $R$ is an associative ring with unity. Let $(K,le{q}_p)$ be an AEC such that $KsubseteqRext-Mod$ and $K$ is closed under finite direct sums, then: - If $K$ is closed under pure-injective envelopes, then $(K,le{q}_p)$ is $lambda$-stable for every $lambdageqLS(K)$ such that $lambd{a}^{|R|+alep{h}_0}=lambda$. - If $K$ is closed under pure submodules and pure epimorphic images, then $(K,le{q}_p)$ is $lambda$-stable for every $lambda$ such that $lambd{a}^{|R|+alep{h}_0}=lambda$. - Assume $R$ is Von Neumann regular. If $K$ is closed under submodules and has arbitrarily large models, then $(K,le{q}_p)$ is $lambda$-stable for every $lambda$ such that $lambd{a}^{|R|+alep{h}_0}=lambda$. As an application of these results we give new characterizations of noetherian rings, pure-semisimple rings, dedekind domains, and fields via superstability. Moreover, we show how these results can be used to show a link between being good in the stability hierarchy and being good in the axiomatizability hierarchy. Another application is the existence of universal models with respect to pure embeddings in several classes of modules. Among them, the class of flat modules and the class of injective torsion modules.

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Noetherian rings and modules (associative rings and algebras) (16P40) Abstract elementary classes and related topics (03C48) General module theory in associative algebras (16D10) Applications of logic to commutative algebra (13L05)

This page was built for publication: Some stable non-elementary classes of modules

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