×

几乎自由模和Mittag-Lefler条件。 (英语) Zbl 1279.16001号

设\(R\)是一个环。P.罗思迈勒[Habilittionsschrift,Kiel(1994)]引入了Mittag-Lefler模相对于一类左\(R\)-模\(\mathcal Q\)的概念。如果正则态射\(M\otimes_R\prod_{i\in i}X_i\ to \prod_{i\in i}M\otimes_RX_i\)是来自\(\mathcal Q\)的任何左\(R\)-模\(\{X_i\mid i\ in i\}\)族的monic,则右\(R\)-模\(M\)称为\(\mathcal Q\)-Mitag Leffler。
证明了右(R)-模(M)是(mathcal Q)-Mittag-Lefler当且仅当它有一个(aleph_1)-稠密系统,即在可数上升链的并下闭的子模的有向族,并且(M)的任何可数子集都包含在(mathcal-Q)-Mettag-Lffler模的系统元素中。特别地,平坦Mittag-Lefler模被描述为具有投射模的(aleph_1)-系统的模,即(aleph_1)-投射。
接下来,作者考虑严格的Mittag-Lefler模。给出了这类模的一些性质,并研究了它与可分性的关系。在第4节中,得到了具有平坦\(\mathcal Q\)-Mittag-Lefler模类在乘积下是闭的性质的环的刻画。
本文的最后一部分致力于证明平坦Mittag-Lefler模类不适合在一个方案上的准相干带轮全链复数范畴上构造Quillen模型范畴。这个问题被简化为考虑解构性P.C.埃克洛夫[出版物,第52条,第1期,第3-18页(2008年;Zbl 1147.16001号)],属于平面Mittag-Lefler模块类。只有当环完美时,才满足此条件。

MSC公司:

2016年40月 结合代数中的自由、射影和平坦模与理想
16E30型 结合代数中模(Tor、Ext等)上的同调函子
16D70型 模、双模和理想的结构和分类(16Gxx除外),结合代数中的直接和分解和对消
14层05 滑轮、滑轮衍生类别等(MSC2010)
18层20 预提升和滑轮、堆垛、下降条件(理论方面)
03E75型 集合论的应用
16B70型 逻辑在结合代数中的应用
03C60型 模型理论代数
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Angeleri Hügel,L。;Herbera,D.,模块上的Mittag-Lefler条件,印第安纳数学。J.,57,2459-2517(2008)·Zbl 1206.16002号
[2] Angeleri Hügel,L.公司。;赫贝拉博士。;Trlifaj,J.,Baer和Mittag-Lefler模在驯服遗传代数上的应用,数学。Z.,265,1-19(2010)·Zbl 1235.16012号
[3] Azumaya,G.,本地纯投射模块,Contemp。数学。,124, 17-22 (1992) ·Zbl 0743.16003号
[4] Azumaya,G。;Fachini,A.,纯全局零维环和Mittag-Lefler模,J.pure Appl。代数,62109-122(1989)·Zbl 0693.16017号
[5] 巴佐尼,S。;Št´ovíček,J.,可数环上的平坦Mittag-Lefler模,Proc。阿默尔。数学。《社会学杂志》,第140期,第1527-1533页(2012年)·Zbl 1256.16003号
[6] Bican,L。;R.巴希尔。;Enochs,E.,所有模块都有平盖,Bull。伦敦数学。《社会学杂志》,33,385-390(2001)·Zbl 1029.16002号
[7] Camillo,V.,多项式环的相干性,J.代数,32,72-76(1990)·Zbl 0701.16023号
[8] Drinfeld,V.,《代数几何中的无穷维向量丛:导论》,(The Unity of Mathematics(2006),Birkhäuser:Birkháuser Boston),263-304·Zbl 1108.14012号
[9] Eklof,P.C.,Shelah的奇异紧性定理,Publ。数学。,52, 3-18 (2008) ·Zbl 1147.16001号
[10] 埃克洛夫,P.C。;Mekler,A.H.,《几乎免费的模块》,《北荷兰数学》。图书馆(2002年),爱思唯尔出版社:阿姆斯特丹·Zbl 1054.20037号
[11] 埃克洛夫,P.C。;Shelah,S.,大主理想域上的Whitehead模,论坛数学。,14, 477-482 (2002) ·Zbl 1005.03048号
[12] 伊诺克斯,E.E。;Estrada,S.,拟相干带范畴中的相对同调代数,高等数学。,194284-295(2005年)·兹比尔1090.16003
[13] Enochs,大肠杆菌。;埃斯特拉达,S。;García-Rozas,J.R.,(P^1(k))上准相干带复合体的局部投影单体模型结构,J.Lond。数学。Soc.,77,253-269(2008)·Zbl 1137.18009号
[14] 伊诺克斯,E.E。;洛佩斯·拉莫斯,J.A.,卡普兰斯基类,伦德。帕多瓦大学Sem.Mat.Univ.Padova,107,67-79(2002)·Zbl 1099.13019号
[15] S.Estrada,P.Guil Asensio,M.Prest,J.Trlifaj,由Drinfeld向量束产生的模型类别结构,预印本。;S.Estrada,P.Guil Asensio,M.Prest,J.Trlifaj,由Drinfeld向量束产生的模型类别结构,预印本·Zbl 1266.14014号
[16] S.Estrada,P.Guil Asensio,J.Trlifaj,限制平坦Mittag-Lefler模和广义向量丛的下降,预印本。;S.Estrada,P.Guil Asensio,J.Trlifaj,限制平坦Mittag-Lefler模和广义向量丛的下降,预印本·Zbl 1302.14012号
[17] Finkel Jones,M.,无挠模和内射模的平坦性和(f)-投影性,(非交换环理论的进展。非交换环的进展,数学讲义,第951卷(1982),Springer:Springer New-York/Blin),94-116·Zbl 0498.16020号
[18] 富克斯,L。;Salce,L.,非诺瑟域上的模,数学。调查单体。,第84卷(2001),美国。数学。Soc.:美国。数学。Soc.普罗维登斯·Zbl 0973.13001号
[19] Garfinkel,G.S.,通用无扭和跟踪模块,Trans。阿默尔。数学。《社会学杂志》,215119-144(1976)·Zbl 0319.16020号
[20] Gillespie,J.,Kaplansky类和派生类,数学。Z.,257,811-843(2007)·Zbl 1134.55016号
[21] Göbel,R。;Trlifaj,J.,模的逼近和自同态代数,de Gruyter Exp.Math。,第41卷(2006年),W.de Gruyter:W.de Guuyter Berlin·Zbl 1121.16002号
[22] Gooderl,K.R.,将张量积分布到直积上,太平洋数学杂志。,43, 107-110 (1972) ·Zbl 0237.13007号
[23] Gooderl,K.R.,Von Neumann正则环(1991),Krieger:佛罗里达州Krieger Malabar·Zbl 0749.16001号
[24] Guil Asensio,宾夕法尼亚州。;伊祖迪亚加,M。;Rothmaler,P。;Torrecillas,B.,严格的Mittag-Lefler模块,数学。日志。Q.,57,566-570(2011)·Zbl 1251.16001号
[25] Hill,P.,阿贝尔群可数性的第三公理,Proc。阿默尔。数学。《社会学杂志》,82,347-350(1981)·Zbl 0467.20041号
[26] Hovey,M.,Cotorsion pairs,model category structures,and representation theory,Math。Z.,241553-592(2002)·Zbl 1016.55010号
[27] Pontryagin,L.S.,拓扑交换群理论,数学年鉴。,35, 361-388 (1934)
[28] Prest,M.,《纯度、光谱和本地化》,《数学百科全书》。申请。,第121卷(2009),剑桥大学出版社:剑桥大学出版社·Zbl 1205.16002号
[29] Quillen,D.,同调代数,数学讲义。,第43卷(1967),Springer-Verlag:Springer-Verlag柏林/纽约·Zbl 0168.20903号
[30] Rada,J。;Saorín,M.,以模的(预)包络和(预)覆盖为特征的环,《通信代数》,26,899-912(1998)·Zbl 0908.16003号
[31] 雷诺德,M。;格鲁森,L.,《陈词滥调与投影的批判》,《发明》。数学。,13, 1-89 (1971) ·Zbl 0227.14010号
[32] P.Rothmaler,Mittag-Lefler模和正原子性,Habilitationsschrift,基尔,1994。;P.Rothmaler,Mittag-Lefler模和正原子性,Habilitationsschrift,基尔,1994年。
[33] Rothmaler,P.,Mittag-Lefler模块,Ann.Pure Appl。逻辑,88,227-239(1997)·Zbl 0916.16004号
[34] Šaroch,J。;Št´ovíček,J.,模块类别的可数望远镜猜想,高等数学。,219, 1002-1036 (2008) ·Zbl 1210.16007号
[35] J.Šaroch,J.Trlifaj,Kaplansky类,有限字符和\(\aleph_1\)doi:10.1515/form.2011.101;J.Šaroch,J.Trlifaj,Kaplansky类,有限字符和\(\aleph_1\)doi:10.1515/form.2011.101·兹比尔1261.16007
[36] Št′ovítch ek,J.,All(n)-cotilting模是纯射模,Proc。阿默尔。数学。Soc.,1341891-1897(2006)·Zbl 1095.16002号
[37] 西蒙·奥维切克,J。;Trlifaj,J.,广义Hill引理,共扭转对的Kaplansky定理及其应用,《落基山数学杂志》。,39, 305-324 (2009) ·Zbl 1173.16004号
[38] Trlifaj,J.,Whitehead测试模块,Trans。阿默尔。数学。Soc.,3481521-1554(1996)·Zbl 0865.16006号
[39] Zimmermann-Husgen,B.,自由模直积的纯子模,数学。年鉴,224233-245(1976)·Zbl 0321.16015号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。