Remarks on classification theory for abstract elementary classes with applications to abelian group theory and ring theory
Creators: name: Mazari Armida, Marcos
Publisher: name: Carnegie Mellon University
Year: 2022
Subjects: subject: 10107 Mathematical Logic, Set Theory, Lattices and Universal Algebra
subject: FOS: Mathematics
subject: Algebra

description: This thesis has two parts. The first part deals with the classification theory of abstract elementary classes and the second part deals with links and applications of this theory to algebra. <strong>Part I: Remarks on classification theory for abstract elementary classes </strong> This part of the thesis is made up of three chapters based on the corresponding papers: [Ch. 2], [Ch. 3] (a joint work with S. Vasey), and [Ch. 4] (a joint work with R. Grossberg). Chapter 2,<em> Non-forking w-good frames</em>. We introduce and study the notion of a <em>w-good λ-frame</em> which is a weakening of Shelah’s notion of a good λ-frame. <em>W-good λ-frames</em> are useful as they imply the existence of larger models. We show that if <strong>K</strong> has a <em>w-good λ-frame</em>, then<strong> K</strong> has a model of size λ ++. This result extends [Sh:h, §II.4.13.3], [JaSh13, 3.1.9], and [Vas16a, 8.9]. Chapter 3, <em>Universal classes near ℵ1 </em>(a joint work with S. Vasey). Shelah has provided sufficient conditions for an <em>L</em><sub><em>ω1,-ω</em></sub>sentence <em>ψ </em>to have arbitrarily large models and for a Morley-like theorem to hold of <em>ψ</em>. These conditions involve structural and set-theoretic assumptions on all the ℵ<sub>n</sub>’s. Using tools of Boney, Shelah, and Vasey, we give assumptions on ℵ<sub>0</sub> and ℵ<sub>1</sub> which suffice when ψ is restricted to be universal. Chapter 4, <em>Simple-like independence relations in abstract elementary classes </em>(a joint work with R. Grossberg). We introduce and study simple and supersimple independence relations in the context of AECs with a monster model. We show that if <strong>K</strong> has a simple independence relation with the (&lt; ℵ<sub>0</sub>)-witness property for singletons, then <strong>K</strong> does not have the tree property. We characterize supersimple independence relations by finiteness of the Lascar rank under locality assumptions on the independence relation. <strong>Part II: Applications to abelian group theory and ring theory</strong> This part of the thesis is made up of seven chapters based on the corresponding papers: [Ch. 5], [Ch. 6], [Ch. 7] (a joint work with T.G. Kucera), [Ch. 8], [Ch. 9], [Ch. 10], and [Ch. 11]. Chapters 5 and 6 deal with abelian groups and Chapters 7 - 11 with modules over associative rings with unity. Chapter 5,<em> Algebraic description of limit models in classes of abelian groups</em>. We study limit models in the class of abelian groups with the subgroup relation and in iii the class of torsion-free abelian groups with the pure subgroup relation. We show that the former are divisible groups. As for the latter, we show that long limit models are pure-injective while short ones are not pure-injective. This is the first place where explicit examples of limit models are studied. Chapter 6, <em>A model theoretic solution to a problem of László Fuchs.</em> Problem 5.1 in page 181 of [Fuc15] asks to find the cardinals λ such that there is a universal abelian p-group for purity of cardinality λ, i.e., an abelian p-group <em>U</em><sub><em>λ</em></sub> of cardinality λ such that every abelian p-group of cardinality ≤ λ purely embeds in <em>U</em><sub><em>λ</em></sub>. In this chapter we use ideas from the theory of abstract elementary classes to show: <strong>Theorem</strong>. Let p be a prime number. If λ ℵ<em>0</em> = λ or ∀µ &lt; λ(µ ℵ0 &lt; λ), then there is a universal abelian p-group for purity of cardinality λ. Moreover for n ≥ 2, there is a universal abelian p-group for purity of cardinality ℵn if and only if 2ℵ0 ≤ ℵn. Chapter 7, <em>On universal modules with pure embeddings</em> (a joint work with T.G. Kucera). We show that if T is a first-order theory (not necessarily complete) with an infinite model extending the theory of R-modules and <strong>K</strong><sup>T</sup> = (Mod(T), ≤p) has joint embedding and amalgamation, then <strong>K</strong><sup>T</sup> has a universal model of cardinality λ if λ <sup>|T|</sup> = λ or ∀µ &lt; λ(µ <sup>|T|</sup> &lt; λ). A corollary of this result is [Sh820, 1.2] which asserts the existence of universal models in the class of reduced torsion-free groups with pure embeddings. Chapter 8, <em>Superstability, noetherian rings and pure-semisimple rings.</em> We uncover a connection between the model-theoretic notion of superstability and that of noetherian rings and pure-semisimple rings. We show: <strong>Theorem</strong>. Let <em>R</em> be an associative ring with unity. 1. <em>R</em> is left noetherian if and only if the class of left <em>R</em>-modules with embeddings is superstable. 2. <em>R</em> is left pure-semisimple if and only if the class of left <em>R</em>-modules with pure embeddings is superstable. Chapter 9,<em> On superstability in the class of flat modules and perfect rings</em>. We study the notion of superstability in the class of flat modules with pure embeddings. We show: <strong>Theorem</strong>. Let<em> R </em>be an associative ring with unity. <em>R</em> is left perfect if and only if the class of flat left R-modules with pure embeddings is superstable. It is worth mentioning that the class of flat left R-modules is not first-order axiomatizable for most rings. Chapter 10, <em>A note on torsion modules with pure embeddings</em>. We study s-tosion modules with pure embeddings as an abstract elementary class. We analyse its limit models and determine when the class is superstable under the assumption that the ring is right semihereditary. In order to fulfill this goal, we develop relative notions of pure-injectivity and Σ-pure-injectivity. As a corollary, we show that the class of torsion abelian groups with pure embeddings is strictly stable, i.e., stable not superstable. Chapter 11, <em>Some stable non-elementary classes of modules.</em> We address the question of whether every AEC of modules with pure embeddings is stable. We show that many non-elementary classes are stable, among them: absolutely pure modules, locally pure-injective modules, flat modules, and s-torsion modules. As an application of these results we give new characterizations of noetherian rings, pure-semisimple rings, dedekind domains, and fields via superstability. We also show that these results can be used to obtain universal models.