×

基本上是不可分解的模块,几乎是免费的。 (英语) Zbl 0675.13010号

考虑具有唯一(至多单位)素元素p的完全离散估值环R上的降阶无扭模。集合论公理体系ZFC与构造公理[T.杰赫《集合论》(1978;Zbl 0419.03028号)]假设。如果在任何分解(M=H\oplus K\)中H,K中的一个具有有限秩,则称R-模M本质上是不可分解的。如果秩小于(kappa)的每个子模都是自由的,并且强自由的,如果它是自由的并且秩小于的任何子模都可以嵌入到相同秩的子模U中,G/U是自由的。证明了对于正则的、非弱紧的基数(四元R的基数),存在这样强的(kappa)自由R-模(a^{alpha}{kappa}(alpha<2^{kappa}),即(E(a^})=R\oplusE_0(a^ \(a^{alpha}的R-自同态_{\kappa}\)和(E_0(A^{\alpha}_{\kapba})是具有有限秩的这类函数的理想。由此可知,存在一个本质上不可分解的无强(kappa)R模。
审核人:J.罗森诺普

MSC公司:

第13页 交换环中模和理想的结构、分类定理
13立方厘米 交换环中的投射模和自由模及理想
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接