arXiv math/07022932007-02-11math.LOmath.GR

Test Groups for Whitehead Groups

Paul C. Eklof, Laszlo Fuchs, Saharon Shelah

发表信息：: Rocky Mountain J. Math. 42 No. 6 (2012) 1863--1873

英文摘要：

We consider the question of when the dual of a Whitehead group is a test group for Whitehead groups. This turns out to be equivalent to the question of when the tensor product of two Whitehead groups is Whitehead. We investigate what happens in different models of set theory.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

The first almost free Whitehead group

Assume G.C.H. and kappa is the first uncountable cardinal such that there is a kappa-free abelian group which is not a Whitehead (abelian) group. We prove that kappa is necessarily an inaccessible cardinal

2011-06-10math.LO

介于 Whitehead 群与一致化之间

Between Whitehead groups and uniformization

本文在ZFC中证明了关于可数序数平稳集的梯子系统一致化与强自由阿贝尔群的余可分性等价，解决了Eklof和Mekler专著中的问题B3和B4。

2025-11-03math.GRmath.LO

Borel Whitehead groups

We investigate the Whiteheadness of Borel abelian groups (aleph_1-free, wlog, as otherwise this is trivial). We show that CH (and even WCH) implies any such abelian group is free, and always aleph_2-free.

1998-09-15math.LOmath.RA

A combinatorial principle equivalent to the existence of non-free Whitehead groups

As a consequence of identifying the principle described in the title, we prove that for any uncountable cardinal lambda, if there is a lambda-free Whitehead group of cardinality lambda which is not free, then there are many ``nice'' Whitehead groups of cardinality lambda which are not free.

1994-03-15math.LOmath.RA

New non-free Whitehead groups (corrected version)

We show that it is consistent that there is a strongly aleph_1-free aleph_1-coseparable group of cardinality aleph_1 which is not aleph_1-separable.

1997-11-15math.LOmath.RA

浓缩怀特海问题

Condensed Whitehead Problem

针对独立于ZFC的怀特海问题，研究者在浓缩数学中给出类似问题的肯定解答，并证明大小为κ的阿贝尔群A是自由的等价于特定Ext函子取值为0。

2026-10-09math.GRmath.LO

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

Whitehead的问题与压缩数学

Whitehead's problem and condensed mathematics

本文探讨了Whitehead问题在压缩数学中的独立性，并展示了其在不同范畴下的不同解法及一致性问题。

2025-12-13math.GRmath.LO

A non-reflexive Whitehead group

We prove that it is consistent that there is a non-reflexive Whitehead group, in fact one whose dual group is free. We also prove that it is consistent that there is a group A such that Ext(A,Z) is torsion and Hom(A,Z)=0. As an application we show the consistency of the existence of new co-Moore spaces.

1999-08-29math.ACmath.LOmath.RA

Uniformization and the diversity of Whitehead groups

The connections between Whitehead groups and uniformization properties were investigated by the third author in [Sh:98]. In particular it was essentially shown there that there is a non-free Whitehead (respectively, aleph_1-coseparable) group of cardinality aleph_1 if and only if there is a ladder system on a stationary subset of omega_1 which satisfies 2-uniformization (respectively, omega-uniformization). These techniques allowed also the proof of various independence and consistency results about Whitehead groups, for example that it is consistent that there is a non-free Whitehead group of…

1992-04-15math.LOmath.RA

可计算 Scott 语句与有限展示群的弱 Whitehead 问题

Computable Scott sentences and the weak Whitehead problem for finitely presented groups

University of Torino（都灵大学）

本文证明可计算Hopfian有限展示结构具有可计算d-Σ₂ Scott语句当且仅当其弱Whitehead问题可判定，并据此推出双曲群与polycyclic-by-finite群均具有此类语句，同时证明弱Hopfian有限展示群由其∃⁺-types强定义。

2024-03-27math.LO

Whitehead group of the ring of smooth functions definable in an o-minimal structure

The Whitney group $K_1(A)$ is isomorphic to $A^\times \times \operatorname{SK}_1(A)$ for some subgroup $\operatorname{SK}_1(A)$, where $A$ is a commutative ring and $A^\times$ denotes the set of units in $A$. Consider an o-minimal expansion of a real closed field $\mathcal R=(R,0,1,+,\cdot,\ldots)$. Let $M$ be an affine definable $C^r$ manifold, where $r$ is a nonnegative integer. We demonstrate its homotopy theorem and that the group $\operatorname{SK}_1(C_{\text{df}}^r)$ is isomorphic to $\operatorname{SK}_1(C_{\text{df}}^0(M))$, where $C_{\text{df}}^r(M)$ denotes the ring of definable $C^r$…

2020-07-29math.LOmath.RA