首页/论文/0902.1218

arXiv 0902.12182009-02-07math.LO

有限秩无挠的阿贝尔群到同构和到拟同构的分类

The classification of torsion-free abelian groups of finite rank up to isomorphism and up to quasi-isomorphism

Samuel Coskey

备注：: This is a part of my doctoral thesis. 23 pages, 1 figure
发表信息：: Transactions of the American mathematical society 364:175-194, 2012
DOI：: 10.1090/S0002-9947-2011-05349-3

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

秩为$n\geq3$的$p$ -局部无挠的阿贝尔群上的同构和拟同构关系与Borel约化不可比拟。

英文摘要：

The isomorphism and quasi-isomorphism relations on the $p$-local torsion-free abelian groups of rank $n\geq3$ are incomparable with respect to Borel reducibility.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

扭阿贝尔群的Galois作用的模型论

Model theory of Galois actions of torsion Abelian groups

我们证明了扭阿贝尔群$A$的伽罗瓦作用理论是可伴的当且仅当对每个素数$p$，$A$的$p$ -准素部分是有限的或者它与Prüfer $p$ -群重合.我们还提供了一个模型理论的描述，我们得到的模型同伴。

2022-05-06math.LO

无挠的阿贝尔群的可分解性问题是解析完全的

The decomposability problem for torsion-free abelian groups is analytic complete

讨论了无挠的阿贝尔群的可分解性。我们证明了在有限秩的可计算群中，这个性质是$Σ^0_3$ -完备的。然而，当我们考虑无限秩的群时，它变成了$Σ^1_1$ -完备的，所以它不能用算术语言中的一阶公式来表征。

2013-11-08math.LO

关于无挠阿贝尔群的Borel完备性及一个Slaman-Wehner度谱

On the Borel completeness of torsion-free abelian groups and a Slaman-Wehner degree spectrum

University of Illinois Chicago（伊利诺伊大学芝加哥分校）

本文给出无挠阿贝尔群Borel完备性的简化证明，并构造一个无计算副本但可从所有非计算集计算的群，解决Downey-Goncharov问题。

2026-10-06math.LO

唯一传递无挠的阿贝尔群

Uniquely Transitive Torsion-free Abelian Groups

我们将回答一个问题所提出的埃马纽埃尔Dror Farjoun关于存在的无挠的阿贝尔群G，使任何序偶的纯元素有一个独特的自同构映射的第一个元素到第二个。我们将证明对于任何后继基数lambda=mu^+且mu=mu^{aleph_0}，存在这样一个基数lambda群。

2004-04-14math.LO

有限长可计算阿贝尔p-群的同构问题

The Isomorphism Problem for Computable Abelian p-Groups of Bounded Length

分类理论将具有好的结构定理的类与不可能具有好的结构定理的类区分开来。有些类（例如稠密线性序）一般是不可分类的，但当我们只考虑可数成员时是可分类的。本文通过一系列的例子来探讨可计算结构类的这种概念。我们遵循Goncharov和Knight最近的工作，使用类的同构问题的程度来区分可分类类和不可分类类。本文计算了有界Ulm长的交换$p$ -群同构问题的度。其结果是一个序列的类，其同构问题是共尾的超算术层次。在这个过程中，新的来回关系，这样的群体计算。

2004-06-24math.LO

不可数无挠的阿贝尔群之间可嵌入关系的复杂性

The complexity of the embeddability relation between torsion-free abelian groups of uncountable size

证明了对每个不可数基数$κ$，使得$κ^{<κ}=κ$，$κ$ -大小的图Borel在$κ$ -空间上的可嵌入性的拟阶约化为$κ$ -大小的无挠的阿贝尔群在$κ$ -空间上的可嵌入性.然后我们用同样的技巧证明了对于基数小于连续统的$\mathbb{S}$ -无余挠环$R$，前Borel约化为$κ$-模在$κ$ -空间上的可嵌入性.由此我们得到所有的前序都是完备的$\boldsymbolΣ^1_1$拟序。

2018-08-03math.LO

更多相关论文收起更多论文

无挠的阿贝尔群是相容的$a Δ^1_2$ -完全群

Torsion-Free Abelian Groups are Consistently $a Δ^1_2$-complete

设$\mbox{TFAG}$是无挠的阿贝尔群的理论。证明了如果不存在$ZFC^- + κ(ω)$的可数传递模型，则$\mbox{TFAG}$是$a Δ^1_2$ -完全的，特别地，这与$ZFC$是一致的.我们定义了$α$ -ary Schröder-Bernstein性质，并证明了对于每个$α< κ(ω)$，$\mbox{TFAG}$都不满足$α$ -ary Schröder-Bernstein性质.我们不确定$\mbox{TFAG}$是否具有$κ(ω)$ -ary Schröder-Bernstein性质;如果它具有，那么它就不是$a Δ^1_2$ -完备的，因此也不是Borel完备的。

2018-04-22math.LO

无 torsion 的 Abel 群是忠实 Borel 完整的，并且纯可嵌入性是一个完全的解析准序

Torsion-free abelian groups are faithfully Borel complete and pure embeddability is a complete analytic quasi-order

University of Torino（都灵大学）；The Hebrew University of Jerusalem（耶路撒冷希伯来大学）；Rutgers University（罗格斯大学）

本文证明了无 torsion 的 Abel 群是忠实 Borel 完整的，并展示了纯可嵌入性是一个完全的解析准序。

2026-01-26math.LO

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

A proof of the Borel completeness of torsion free abelian groups

给出了无挠的阿贝尔群的Borel完备性的一个证明.这一证明大大不同的方法Paolini-Shelah。

2022-02-15math.GRmath.LO

SL（n，Z）的有限作用的Borel约化

Borel reductions of profinite actions of SL(n,Z)

Greg Hjorth和Simon Thomas证明了有限秩无挠阿贝尔群的分类问题的复杂性随秩的变化而变化，即\emph{strictly increases}.随后，Thomas证明了当$p$变化时，$p$ -固定秩$n$的局部无挠阿贝尔群的分类问题的复杂性为\emph{pairwise incomparable}。我们证明，如果$3\leq m<n$和$p,q$是不同的素数，然后分类问题的复杂性$p$ -局部无扭阿贝尔群秩$m$是再次无法比拟的$q$ -局部无扭阿贝尔群秩$n$。

2010-09-30math.LO

无挠的阿贝尔群是Borel完备的

Torsion-Free Abelian Groups are Borel Complete

University of Torino（都灵大学）；The Hebrew University of Jerusalem（耶路撒冷希伯来大学）；Rutgers University（罗格斯大学）

证明了具有整环$ω$的无挠的阿贝尔群的Borel空间是Borel完备的，即，在这个Borel空间上的同构关系是尽可能复杂的，作为同构关系。这解决了描述集合论中一个长期存在的问题，这个问题可以追溯到1989年弗里德曼和斯坦利关于博雷尔归约的开创性论文。

2023-02-21math.GRmath.LO

泛无挠的阿贝尔群上的Kulikov问题

Kulikov's problem on universal torsion-free abelian groups

设T是阿贝尔群，λ是不可数正则基数.我们考虑在基数小于或等于λ的所有无挠的阿贝尔群G中是否存在一个满足Ext（G，T）=0的无挠泛群G^* 的问题。这里G^* 被称为对T是无挠泛的，如果，每当基数小于或等于lambda的无挠的阿贝尔群G满足Ext（G，T）=0，则存在G到G^* 的嵌入。对于大类的阿贝尔群T和基数λ它表明，答案是一贯没有。特别是，T扭转，这解决了一个问题的库利科夫。

2001-12-22math.GRmath.LO

关于纯性的可数泛挠阿贝尔群

A countable universal torsion abelian group for purity

我们证明了存在可数的泛阿贝尔p-纯群，可数阿贝尔p-群$U$，使得每个可数阿贝尔p-群纯嵌入$U$。这是为下面$\aleph_ω$的[Fuc 15]问题5.1提供完整解决方案所需的最后一个结果。引入了$\aleph_0$ -强齐次p-群，证明了存在一个泛阿贝尔纯p-群是$\aleph_0$ -强齐次的，并完全刻画了可数$\aleph_0$ -强齐次p-群.

2023-02-21math.GRmath.LO