arXiv math/01122532001-12-22math.LOmath.GR

Kulikov's problem on universal torsion-free abelian groups

Saharon Shelah, Lutz Strüngmann

发表信息：: J. London Math. Soc. (2) 67 No. 3 (2003) 626--642
DOI：: 10.1112/blms/bdr055

英文摘要：

Let T be an abelian group and lambda an uncountable regular cardinal. We consider the question of whether there is a lambda-universal group G^* among all torsion-free abelian groups G of cardinality less than or equal to lambda satisfying Ext(G,T)=0. Here G^* is said to be lambda-universal for T if, whenever a torsion-free abelian group G of cardinality less than or equal to lambda satisfies Ext(G,T)=0, then there is an embedding of G into G^*. For large classes of abelian groups T and cardinals lambda it is shown that the answer is consistently no. In particular, for T torsion, this solves a problem of Kulikov.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

A proof of the Borel completeness of torsion free abelian groups

A proof of the Borel completeness of torsion free abelian groups is presented. This proof differs considerably from the approach of Paolini-Shelah.

2022-02-15math.GRmath.LO

Torsion-Free Abelian Groups are Borel Complete

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

We prove that the Borel space of torsion-free Abelian groups with domain $ω$ is Borel complete, i.e., the isomorphism relation on this Borel space is as complicated as possible, as an isomorphism relation. This solves a long-standing open problem in descriptive set theory, which dates back to the seminal paper on Borel reducibility of Friedman and Stanley from 1989.

2023-02-21math.GRmath.LO

A countable universal torsion abelian group for purity

We show that there is a countable universal abelian p-group for purity, i.e., a countable abelian p-group $U$ such that every countable abelian p-group purely embeds in $U$. This is the last result needed to provide a complete solution to Problem 5.1 of [Fuc15] below $\aleph_ω$. We introduce $\aleph_0$-strongly homogeneous p-groups, show that there is a universal abelian p-group for purity which is $\aleph_0$-strongly homogeneous, and completely characterize the countable $\aleph_0$-strongly homogeneous p-groups.

2023-02-21math.GRmath.LO

Some ugly aleph_1-free abelian groups

Given an aleph_1-free abelian group G we characterize the class C_G of all torsion abelian groups T satisfying Ext(G,T)=0 assuming the continuum hypothesis CH. Moreover, in Godel's constructable universe we prove that this characterizes C_G for arbitrary torsion-free abelian G. It follows that there exist some ugly aleph_1-free abelian groups.

2001-07-29math.GRmath.LO

Model theory of Galois actions of torsion Abelian groups

We show that the theory of Galois actions of a torsion Abelian group $A$ is companionable if and only if for each prime $p$, the $p$-primary part of $A$ is either finite or it coincides with the Prüfer $p$-group. We also provide a model-theoretic description of the model companions we obtain.

2022-05-06math.LO

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

We discuss the decomposability of torsion-free abelian groups. We show that among computable groups of finite rank this property is $Σ^0_3$-complete. However, when we consider groups of infinite rank, it becomes $Σ^1_1$-complete, so it cannot be characterized by a first-order formula in the language of arithmetic.

2013-11-08math.LO

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

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

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.

2009-02-07math.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

We will answer a question raised by Emmanuel Dror Farjoun concerning the existence of torsion-free abelian groups G such that for any ordered pair of pure elements there is a unique automorphism mapping the first element onto the second one. We will show the existence of such a group of cardinality lambda for any successor cardinal lambda=mu^+ with mu=mu^{aleph_0}.

2004-04-14math.LO

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

We prove that for every uncountable cardinal $κ$ such that $κ^{<κ}=κ$, the quasi-order of embeddability on the $κ$-space of $κ$-sized graphs Borel reduces to the embeddability on the $κ$-space of $κ$-sized torsion-free abelian groups. Then we use the same techniques to prove that the former Borel reduces to the embeddability on the $κ$-space of $κ$-sized $R$-modules, for every $\mathbb{S}$-cotorsion-free ring $R$ of cardinality less than the continuum. As a consequence we get that all the previous are complete $\boldsymbolΣ^1_1$ quasi-orders.

2018-08-03math.LO

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

Let $\mbox{TFAG}$ be the theory of torsion-free abelian groups. We show that if there is no countable transitive model of $ZFC^- + κ(ω)$ exists, then $\mbox{TFAG}$ is $a Δ^1_2$-complete; in particular, this is consistent with $ZFC$. We define the $α$-ary Schröder- Bernstein property, and show that $\mbox{TFAG}$ fails the $α$-ary Schröder-Bernstein property for every $α< κ(ω)$. We leave open whether or not $\mbox{TFAG}$ can have the $κ(ω)$-ary Schröder-Bernstein property; if it did, then it would not be $a Δ^1_2$-complete, and hence not Borel complete.

2018-04-22math.LO

非阿贝尔dp-极小群I：无挠与远隔情形

On non-abelian dp-minimal groups I: the torsion-free and distal cases

本文解决具有远隔f-泛型类型的dp-极小群是否为幂零-有限群的问题，证明此类群是幂零-有限群，还给出无挠dp-极小群必为阿贝尔群等相关结果。

2026-09-09math.GRmath.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 reductions of profinite actions of SL(n,Z)

Greg Hjorth and Simon Thomas proved that the classification problem for torsion-free abelian groups of finite rank \emph{strictly increases} in complexity with the rank. Subsequently, Thomas proved that the complexity of the classification problems for $p$-local torsion-free abelian groups of fixed rank $n$ are \emph{pairwise incomparable} as $p$ varies. We prove that if $3\leq m<n$ and $p,q$ are distinct primes, then the complexity of the classification problem for $p$-local torsion-free abelian groups of rank $m$ is again incomparable with that for $q$-local torsion-free abelian groups of ra…

2010-09-30math.LO

Non-existence of universals for classes like reduced torsion free abelian groups under embeddings which are not necessarily pure

We consider a class K of structures e.g. trees with omega +1 levels, metric spaces and mainly, classes of Abelian groups like the one mentioned in the title and the class of reduced separable (Abelian) p-groups. We say M in K is universal for K if any member N of K of cardinality not bigger than the cardinality of M can be embedded into M . This is a natural, often raised, problem. We try to draw consequences of cardinal arithmetic to non-existence of universal members for such natural classes.

2022-10-23math.LOmath.RA

ZFC中的华莱士问题与可数紧无挠阿贝尔群

The Wallace problem and countably compact torsion-free Abelian groups in ZFC

Independent researcher（独立研究者）；Department of Mathematics, Institute of Mathematics, Statistics and Computer Science, University of São Paulo（圣保罗大学数学、统计与计算机科学学院）

该研究在ZFC公理体系下，证明基数为$\mathfrak c$的无挠阿贝尔群可赋予无非平凡收敛序列的豪斯多夫可数紧群拓扑，构造出满足双侧消去律但非群的可数紧拓扑半群，否定回答了华莱士问题，并衍生出相关拓扑结构结论。

2026-08-19math.GNmath.GRmath.LO

On Holder-Brascamp-Lieb inequalities for torsion-free discrete Abelian groups

Hölder-Brascamp-Lieb inequalities provide upper bounds for a class of multilinear expressions, in terms of $L^p$ norms of the functions involved. They have been extensively studied for functions defined on Euclidean spaces. Bennett-Carbery-Christ-Tao have initiated the study of these inequalities for discrete Abelian groups and, in terms of suitable data, have characterized the set of all tuples of exponents for which such an inequality holds for specified data, as the convex polyhedron defined by a particular finite set of affine inequalities. In this paper we advance the theory of such inequ…

2015-10-14math.CAmath.LO

无挠阿贝尔群扩张的分类问题，I

The classification problem for extensions of torsion-free abelian groups, I

本文在Borel可定义同调代数框架下，确定了无挠可数阿贝尔群被特定类型阿贝尔群扩张的分类复杂度，并得出扩张分裂的有限秩子群判别准则。

2025-06-21math.ACmath.LO