Model theory of Galois actions of torsion Abelian groups

Özlem Beyarslan, Piotr Kowalski

英文摘要：

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.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

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

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

Kulikov's problem on universal torsion-free abelian groups

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 …

2001-12-22math.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