×

在爬网模块上。 (英文) Zbl 1109.13009号

如果对于corank 1的任何一对纯稠密子模(M,N)都存在自同构(theta),则称(R)-模(G)为Crawley模{自动}_{R} (G)和(Mθ=N)[A.L.S.Corner,R.哥贝尔B.戈德史密斯,Q.J.数学。57,第2183-192号(2006年;Zbl 1116.20035号)].
本文将那里关于Crawley群的结果推广到(p\)-adic整数环上的Crawley模。
设(S\)是不可数的正则基数(\lambda\)的平稳子集,设(D=\{f\in~^{\alpha}2:\alpha<\lambda)(其中\(2=\{0,1\})\)。如果以下条件成立,则称\(S\)具有弱菱形属性\(\Phi_{\lambda}(S)\):对于任何(着色)函数\(c:D\rightarrow2=\{0,1\}\),都有一个弱菱形函数\c=\delta\eta\}\)在\(\lambda\)中是静止的[K.J.德夫林S.谢拉,以色列。数学杂志。29, 239–247 (1978;兹比尔0403.03040);P.埃克洛夫梅克勒《几乎自由模块》,集理论方法(荷兰北部,阿姆斯特丹)(1990;Zbl 0718.20027号)].
这里使用了弱金刚石属性的以下更强但等效的版本:让(S)如上所示。那么,\(S\)具有弱菱形性质\(\Phi_{\lambda}(S)\)当且仅当基数\(\mu=:~2^{<\lambda}\)和集合\(D=\{f\ in~^{\alpha}\mu:\alpha<\lampda\}\)的下列条件成立:如果\(c:D\rightarrow2\)是\(D\)的着色,那么对于每个函数\(f:\lambd\rightarror\mu,\)存在一个弱菱形序列(^{lambda}2中的eta)(取决于(c)),使得S|(f\upharpoonright\delta)c=delta\eta)在(lambda)中是稳定的。
主要结果表明,对于(R)一个PID和(G)一个秩为(aleph{1})的(aleph_1})自由(R)-模,其中(Gamma)-不变(Gamma-E)来自一个平稳集(E\substeq\aleph_1{1}\),并且(G)的弱菱形成立,因此(E)不是Crawley模。因此,假设\(2^{\aleph_{0}}<~2^{\aleph_{1}}\),秩的\(\aleph_1}\)-free\(R\)-模是Crawley当且仅当它是自由的。
如果假设ZFC和MA,并且\(R\)是PID,那么任何秩为\(\aleph_{1}\)的强\(\leph_{1\)-free\(R\)-模都显示为Crawley模。因此,如果假设ZFC、MA和\(\ aleph_{1}<~2^\ aleph_{0}\),并且\(R\)是一个在\(R \)上可数生成商域\(Q\neq-R\)的PID,则存在秩为\(\ aleph_{1}\)的自由但非自由Crawley \(R\)-模。

MSC公司:

13立方厘米 交换环中的投射模和自由模及理想
20公里40 阿贝尔群的同调和范畴方法
03E50型 连续统假设与马丁公理
13升05 逻辑在交换代数中的应用
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 内政部:10.1112/plms/s3-503.447·Zbl 0562.20030号 ·doi:10.1112/plms/s3-50.3.447
[2] DOI:10.1007/BF02762012·Zbl 0403.03040号 ·doi:10.1007/BF02762012
[3] Eklof P.,几乎自由模,集合理论方法(1990)·Zbl 0718.20027号
[4] Fuchs L.,阿贝尔群(1958)
[5] Fuchs L.,无限阿贝尔群(1970)·兹比尔0209.05503
[6] Göbel R.,模的逼近和自同态代数(2004)
[7] Jech T.,集合论(1978)
[8] Megibben C.,太平洋数学杂志。107第205页–(1983)
[9] Mekler A.H.,太平洋数学杂志。第121页第121–(1986)
[10] Mekler A.H.,太平洋数学杂志。121第133页–(1986年)
[11] DOI:10.1007/BF02757281·Zbl 0318.02053号 ·doi:10.1007/BF02757281
[12] Shelah S.,《正当和不当强迫》(1997年)·Zbl 0889.03041号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。