AI 中文总结
研究R-模的μ-抽象初等类,通过句法假设证明相关稳定性,应用于具体μ-AEC如$(R-Mod, \leq_{pp}^\mu)$等,还研究了$(K, \leq_\oplus)$形式的μ-AEC,给出抽象模类稳定的充分条件。
AI 中文摘要
我们在μ-AEC理论中证明了几个新结果,主要聚焦于(几乎)稳定性,主要目标是对R-模的μ-AEC进行系统研究。主要结果如下:1. 我们表明,在合适的句法假设下,所有R-模的驯服μ-AEC(其中R是环)几乎稳定,若还满足强融合性质则稳定,这将第二作者和Shelah的工作扩展到了μ-AEC情形。2. 接着转向R-模具体μ-AEC的应用,如$(R-Mod, \leq_{pp}^\mu)$有稳定独立关系且是稳定驯服的μ-AEC等。3. 最后研究了$(K, \leq_\oplus)$形式的μ-AEC,表明对许多自然的K选择,它有稳定独立关系,进而稳定驯服,还给出了$(K, \leq_{pp})$形式抽象模类稳定的充分条件。
英文摘要
We prove several new results in the theory of $μ$-AECs, focusing mainly on (almost) stability, with the primary objective of undertaking a systematic study of $μ$-AECs of $R$-modules. Our main results are the following. 1. We show that, under suitable syntactic assumptions, all tame $μ$-AECs of $R$-modules (where $R$ is a ring) are almost stable, and are stable if they additionally satisfy a strong amalgamation property. This extends the work of the second author and Shelah [49] to the setting of $μ$-AECs. 2. We then turn to applications to concrete $μ$-AECs of $R$-modules. Our main result in this direction is that $(R$-Mod$, \leq_{pp}^μ)$ has a stable independence relation and is a stable and tame $μ$-AEC, where $\leq_{pp}^μ$ denotes the $μ$-pure submodule relation. We also prove similar stability results for various classes of abelian groups, including the $\aleph_1$-AEC of torsion-free abelian groups with the balanced subgroup relation. Moreover, we prove the almost stability of all $μ$-AECs of modules of the form $(R$-Mod$, \preccurlyeq)$, where $\preccurlyeq$ refines the direct summand relation and satisfies a strong form of coherence. 3. Finally, we study $μ$-AECs of the form $(K, \leq_\oplus)$, where $K$ is a class of pure-injective $R$-modules (note that this is, in general, not an AEC), and use our results to show that, for many natural choices of $K$, the class $(K, \leq_\oplus)$ has a stable independence relation and is therefore stable and tame. We use these results to give a sufficient condition for abstract classes of modules of the form $(K, \leq_{pp})$ to be stable when $K$ is closed under pure-injective envelopes. This generalizes, by a substantially different proof, results of Mazari-Armida [45].