Kaplansky classes, finite character and ℵ1-projectivity

被引:11
作者
Saroch, Jan [1 ]
Trlifaj, Jan [1 ]
机构
[1] Charles Univ Prague, Fac Math & Phys, Dept Algebra, Prague 18675 8, Czech Republic
关键词
Kaplansky class; Ext; deconstructible class; abstract elementary class; finite character; aleph(1)-projective module; Singular Cardinal Hypothesis; precover of a module; ABSTRACT ELEMENTARY CLASSES; MODULES;
D O I
10.1515/FORM.2011.101
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Kaplansky classes emerged in the context of Enochs' solution of the Flat Cover Conjecture. Their connection to abstract model theory goes back to Baldwin et al.: a class C of roots of Ext is a Kaplansky class closed under direct limits if and only if the pair (C, <=) is an abstract elementary class (AEC) in the sense of Shelah. We prove that this AEC has finite character in case C = C-perpendicular to' for a class C' of pure-injective modules. In particular, all AECs of roots of Ext over any right noetherian right hereditary ring R have finite character (but the case of general rings remains open). If (C, <=) is an AEC of roots of Ext, then C is known to be a covering class. However, Kaplansky classes need not even be precovering in general: We prove that the class D of all aleph(1)-projective modules (which is equal to the class of all flat Mittag-Leffler modules) is a Kaplansky class for any ring R, but it fails to be precovering in case R is not right perfect, the class (perpendicular to)(D-perpendicular to) equals the class of all flat modules and consists of modules of projective dimension <= 1. Assuming the Singular Cardinal Hypothesis, we prove that D is not precovering for each countable non-right perfect ring R.
引用
收藏
页码:1091 / 1109
页数:19
相关论文
共 32 条
[1]  
Angeleri Hgel L., 2004, LNPAM, V236, P27
[2]   Mittag-Leffler Conditions on Modules [J].
Angeleri Hugel, Lidia ;
Herbera, Dolors .
INDIANA UNIVERSITY MATHEMATICS JOURNAL, 2008, 57 (05) :2459-2517
[3]  
[Anonymous], STUDIES LOGIC
[4]  
Baldwin J., 2009, U LECT SERIES, V50
[5]   ⊥N as an abstract elementary class [J].
Baldwin, John T. ;
Eklof, Paul C. ;
Trlifaj, Jan .
ANNALS OF PURE AND APPLIED LOGIC, 2007, 149 (1-3) :25-39
[6]   All tilting modules are of finite type [J].
Bazzoni, Silvana ;
Stovicek, Jan .
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2007, 135 (12) :3771-3781
[7]   All modules have flat covers [J].
Bican, L ;
El Bashir, R ;
Enochs, E .
BULLETIN OF THE LONDON MATHEMATICAL SOCIETY, 2001, 33 :385-390
[8]  
Drinfeld V, 2006, PROG MATH, V244, P263
[9]  
Eklof P C., 2002, Almost free modules: Set-theoretic methods
[10]   Shelah's singular compactness theorem [J].
Eklof, Paul C. .
PUBLICACIONS MATEMATIQUES, 2008, 52 (01) :3-18