Recognition: unknown
On the problem of stability of abstract elementary classes of modules
read the original abstract
It is an open problem of Mazari-Armida whether every abstract elementary class of $R$-modules $(\mathbf{K}, \leq_{\mathrm{pure}})$, with $\leq_{\mathrm{pure}}$ the pure submodule relation, is stable. We answer this question in the negative by constructing unstable abstract elementary classes $(\mathbf{K}, \leq_{\mathrm{pure}})$ of torsion-free abelian groups. On the other hand, we prove (in $\mathrm{ZFC}$) that if $R$ is any ring and $(\mathbf{K}, \preccurlyeq)$ is an abstract elementary class of $R$-modules which is $\kappa$-local (also called $\kappa$-tame) for some $\kappa \geq \mathrm{LS}(\mathbf{K}, \preccurlyeq)$, then $(\mathbf{K}, \preccurlyeq)$ is almost stable, where almost stability is a new notion of independent interest that we introduce in this paper, and which is equivalent to the usual notion of stability under the assumption of amalgamation. As a consequence, assuming the existence of a strongly compact cardinal $\kappa$, we have that every abstract elementary class $(\mathbf{K}, \preccurlyeq)$ of $R$-modules with amalgamation satisfying $\kappa > \mathrm{LS}(\mathbf{K}, \preccurlyeq)$ is stable.
This paper has not been read by Pith yet.
Forward citations
Cited by 2 Pith papers
-
Examples of non-tame abstract elementary classes of abelian groups
Constructs K1, an AEC of torsion-free abelian groups that is not finitely tame but is countably tame, plus families K2(2^μ) that fail tameness below any regular uncountable μ below the first measurable cardinal.
-
An unstable abstract elementary class of modules: A variation of Paolini-Shelah's example
A new abstract elementary class of torsion-free abelian groups is built that is unstable, has JEP and no maximal models but no AP, and is (<aleph0)-tame.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.