绝对不可分解模块

@文章{Gobel2007绝对IM,title={绝对不可分解模块},作者={Rudiger Gobel和Saharon Shelah},日志={arXiv:Logic},年份={2007},url={https://api.semanticscholar.org/CorpusID:14821355}}
如果一个模在宇宙的每个泛型扩展中都是直接不可分解的,则称其为绝对不可分解。我们想证明绝对不可分解的大阿贝尔群的存在性。这是从一大类具有自同态环R的交换环R上的R-模的一个更一般的结果得出的,当传递到宇宙的一般扩张时,这一结果保持不变。事实证明,在这种情况下,“大”具有确切的含义,即

具有绝对自同态环的模

Eklof和Shelah[8]称一个阿贝尔群为绝对不可分解群,如果它在宇宙的每个泛型扩展中都是直接不可分解的。更一般地说,我们说R模是绝对的

具有指定自同态幺半群的绝对图

摘要我们考虑图的自同态幺半群。众所周知,任何幺半群都可以表示为具有可数多色的图Γ的自同态幺半群M。我们给出了新的证据

无挠阿贝尔群Borel完备性的证明

2021年2月,Paolini和Shelah[4]宣布了无挠阿贝尔群的理论TFAB是Borel完备的证明。自那时以来,他们观察到并证实了

关于不可数Hopfian群和co-Hopfian阿贝尔群的存在性

我们讨论了不可数的co-Hopfian阿贝尔群和(绝对)Hopfian阿贝尔群的存在性问题。首先,我们证明了不存在co-Hopfian约化阿贝尔群G的大小<

无穷逻辑的表达能力与绝对共Hopfianity

Paolini和Shelah构造了任何给定大小的绝对Hopfian无挠阿贝尔群。相比之下,我们表明,这不一定是绝对联合霍普菲亚集团的情况。我们

模块的Borel复杂性

我们证明了对于可数交换环R,可数R模的类要么只有可数的多个同构类型,要么是Borel完备的。机器提供了简洁的

不可分解显阿贝尔群

对于每个λ,我们给出了一个无非平凡自同构的阿贝尔群的显式构造。特别是群绝对没有非平凡的自同构,因此是绝对的

具有绝对自同态环的模

Eklof和Shelah[8]称一个阿贝尔群为绝对不可分解群,如果它在宇宙的每个泛型扩展中都是直接不可分解的。更一般地说,我们说R模是绝对的

具有指定拓扑自同态环的小几乎自由模

我们将把某些拓扑环实现为基数为)1的1-自由阿贝尔群的自同态环,其中同构也是将给定环上的拓扑与

字段的自同构组

我们考虑无限域K或形式实数域K与群G的对(K,G),并希望找到具有自同构群G的K的扩张域F。如果K是形式实数,那么我们也希望F

几何格的自同构群

摘要。我们想考虑特殊格的自同构群。格的分配性与集合格紧密相连,正如G.Birkhoff(参见[26])所指出的那样

绝对刚性系统和绝对不可分解群

我们给出了一个新的证明:存在任意大的不可分解阿贝尔群;此外,所构造的群是绝对不可分解的,也就是说,它们在任何泛型中都是不可分解

不可分解几乎自由模——局部情形

摘要设$R$是非域的可数主理想域,$a$是作为$R$模自由的可数$R$-代数。然后我们将构造一个${{\aleph}_{1}}$-free$R$