首页/论文/math/9908157

arXiv math/99081571999-08-29math.LOmath.ACmath.RA

非自反的Whitehead群

A non-reflexive Whitehead group

Paul C. Eklof, Saharon Shelah

发表信息：: J. Pure Appl. Algebra 156 No. 2-3 (2001) 199--214

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们证明了存在一个非自反的Whitehead群是相容的，实际上它的对偶群是自由的。我们还证明了存在群A使得Ext（A，Z）是挠的且Hom（A，Z）=0是相容的.作为应用，我们证明了新的co-Moore空间存在性的一致性。

英文摘要：

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.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

Borel Whitehead群

Borel Whitehead groups

我们研究了Borel阿贝尔群的Whiteheadness（无aleph_1，wlog，否则这是平凡的）.我们证明CH（甚至WCH）蕴涵任何这样的阿贝尔群是自由的，并且总是aleph_2-free的.

1998-09-15math.LOmath.RA

一个等价于非自由Whitehead群存在性的组合原理

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

由于识别的原则中所描述的标题，我们证明，任何不可数基数λ，如果有一个不自由的基数λ的Whitehead群是不自由的，那么有许多“不错”的基数λ的Whitehead群是不自由的。

1994-03-15math.LOmath.RA

新的非自由的Whitehead组（修正版）

New non-free Whitehead groups (corrected version)

证明了存在一个基数为aleph_1的强aleph_1-free aleph_1-余可分群是aleph_1-不可分的。

1997-11-15math.LOmath.RA

Whitehead组的测试组

Test Groups for Whitehead Groups

我们考虑的问题时，对偶的怀特黑德组是一个测试组的怀特黑德组。这就等价于两个怀特黑德群的张量积何时是怀特黑德的问题。我们研究了在集合论的不同模型中会发生什么。

2007-02-11math.GRmath.LO

Whitehead群的一致化与多样性

Uniformization and the diversity of Whitehead groups

第三作者在[Sh：98]中研究了Whitehead群与单值化性质之间的联系。特别是，它基本上表明，有一个非自由的Whitehead（分别为aleph_1-coseparable）的基数aleph_1的群，当且仅当有一个阶梯系统上的一个固定子集的omega_1满足2-uniformization（分别为omega-uniformization）。这些技术也允许证明各种独立性和一致性的结果约Whitehead集团，例如，它是一致的，有一个非自由的Whitehead集团的基数aleph_1，但没有非自由aleph_1-coseparable集团。然而，一些自然问题仍然悬而未决，其中有以下两个：（i）基数aleph_1的W-群的类恰好是基数aleph_1的强aleph_1-自由群的类是否相容？(ii)如果基数为aleph_1的强aleph_1-自由群都是W-群，那么它们也都是aleph_1-余可分的吗？在本文中，我们使用的技术的一致化回答的第一个问题的否定和部分肯定的回答第二个问题。

1992-04-15math.LOmath.RA

第一个几乎自由的怀特黑德集团

The first almost free Whitehead group

假设G.C.H. kappa是第一个不可数基数使得存在一个kappa-自由阿尔贝群，它不是Whitehead（阿贝尔）群。证明了Kappa必然是一个不可达基数

2011-06-10math.LO

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

O-极小结构下可定义的光滑函数环的Whitehead群

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

Whitney群$K_1(A)$对于某个子群$\operatorname{SK}_1(A)$同构于$A^\times \times \operatorname{SK}_1(A)$，其中$A$是交换环，$A^\times$表示$A$中的单位集。考虑实闭域$\mathcal R=(R,0,1,+,\cdot,\ldots)$的o-极小展开。设$M$是仿射可定义的$C^r$流形，其中$r$是非负整数.我们证明了它的同伦定理，并证明了群$\operatorname{SK}_1(C_{\text{df}}^r)$同构于$\operatorname{SK}_1(C_{\text{df}}^0(M))$，其中$C_{\text{df}}^r(M)$表示$M$上可定义$C^r$函数的环.

2020-07-29math.LOmath.RA

Baer-Specker群的自反子群与Martin公理

Reflexive subgroups of the Baer-Specker group and Martin's axiom

在最近的两篇论文（math.LO/0003164和math.LO/0003165）中，我们回答了埃克洛夫和麦克勒在书中提出的一个问题（第455页，问题12），这个问题是在diamondsuit_{aleph_1}的集合论假设下提出的，这个假设在集合论的许多模型中都成立，分别是特殊的连续统假设（CH）。对象是可数主理想整环R上的自反模，R不是域。根据H.Bass，R-模G是自反的，如果赋值映射s：G -> G^{**}是同构。这里G^*=Hom（G，R）表示G的对偶模.我们证明了无限秩自反R-模G的存在性，并且G不与G+R重合，这为上述问题提供了（甚至本质上不可分解的）反例。CH是找到“nasty”自反模的必要条件吗？在本文的最后一部分，我们将证明（假设超紧基数的存在），大自反模总是有大的和项。因此，至少本质上不可分解需要一个额外的集合论假设。然而，如本文第一部分所示，假设不一定是CH。我们将使用马丁公理找到具有上述分解的自反模，它们是贝尔-斯派克模R^omega的子模。

2000-09-06math.ACmath.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 群与一致化之间

Between Whitehead groups and uniformization

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

2025-11-03math.GRmath.LO

自反阿贝尔群与可测基数及饱和MAD族

Reflexive abelian groups and measurable cardinals and saturated MAD families

通过对Eklof和Mekler的一个问题的讨论，证明了存在基数>=第一可测的自反群.

2010-01-31math.GRmath.LO

浓缩怀特海问题

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

自反表示性与稳定度量

Reflexive representability and stable metrics

众所周知，拓扑群可以表示为自反巴拿赫空间的等距群当且仅当其拓扑由弱殆周期函数诱导（参见\cite{Shtern:CompactSemitopologicalSemigroups}，\cite{Megrelishvili:OperatorTopologies}和\cite{Megrelishvili:TopologicalTransformations}）。我们表明，对于一个度量化组，这是等价的属性，它的度量是一致等价于一个稳定的度量意义上的Krivine和Maurey（见\cite{Krivine-Maurey:EspacesDeBanachStables}）。这个结果是用来给一个问题的Megrelishvili部分否定的答案。

2009-09-15math.LO

一些讨厌的自反群

Some Nasty Reflexive Groups

Eklof和Mekler在“Almost自由模，Set-theoretical Methods”中提出了不同构于Z+G的对偶阿贝尔群G的存在性问题。回想一下，G是一个对偶群，如果G ~ D^* 对于某个群D，其中D^*=Hom（D，Z）。这样的群的存在并不明显，因为对偶群是笛卡儿积Z^D的子群，因此有很多同态到Z中。若p是由笛卡儿积的投影产生的同态，则D^* ~ ker（p）+Z.在无限秩群D的所有“经典情形”中，证明了D^* ~ ker（p）。总是这样吗？还要注意，在H.Bass意义下的自反群G是对偶群，因为根据定义，赋值映射s：G-->G^{**}是同构，因此G是G^* 的对偶。假设aleph_1的菱形公理，我们构造了基数aleph_1的自反无挠阿贝尔群，它不同构于Z+G.这个结果是关于可数个非域的主理想整环上的模的。

2000-03-25math.GRmath.LO

遗传可分群与单色一致化

Hereditarily separable groups and monochromatic uniformization

我们给出了基数为aleph_1的非自由遗传可分群的存在性的一个组合等价。这可以用来，连同一个已知的组合等价的存在一个非自由的怀特黑德集团，以证明它是一致的，每一个怀特黑德集团是自由的，但不是每一个遗传可分集团是自由的。我们还表明，事实上，Z是一个P.I.D.有无穷多个素数是这个结果的关键。

2004-06-27math.GRmath.LO

自反模的分解

Decompositions of Reflexive Modules

我们继续[GbSh：568]（math.LO/0003164），在特殊的连续统假设（CH）下证明一个更强的结果. Eklof和Mekler的原始问题与对偶阿贝尔群有关。我们希望找到二元群体的一个特定例子，这将为这个问题提供否定的答案。为了得到一个更强也更一般的结果，我们将集中研究可数主理想整环R上的自反模。根据H.Bass，R-模G是自反的，如果赋值映射s：G-->G^{**}是同构。这里G^*=Hom（G，R）表示G的对偶群。在经典结果的指导下，关于无穷秩自反R-模G的存在性问题是自然的，其中G不cong G+R。我们将使用自由R-模上的双线性型理论，它加强了我们在[GbSh：568]（math.LO/0003164）中的代数结果。此外，我们希望应用[Sh：e]中的模型论组合定理，这使我们能够避免弱钻石原理。这有一个很大的优点，即所使用的预测原理仍然类似于钻石，但在CH下成立。

2000-03-25math.GRmath.LO

关于isometry群和极大对称性

On isometry groups and maximal symmetry

研究了巴拿赫空间中的极大对称性问题。这是通过分析一般线性群GL（X）的小子群的结构来完成的，其中X是可分自反巴拿赫空间。特别地，我们给出了巴拿赫空间X没有任何等价极大范数的第一个已知例子，或者等价地使得GL（X）不包含极大有界子群。此外，这个空间X可以被选择为超自反的。

2011-06-24math.FAmath.LO

滤过等价aleph_1-基数aleph_1的可分阿贝尔群

Filtration equivalent aleph_1-separable abelian groups of cardinality aleph_1

证明了存在两个可分的基数为aleph_1的阿贝尔群，它们是过滤等价的，一个是Whitehead群，另一个不是，这与普通集合论ZFC和广义连续统假设是一致的.这解决了埃克洛夫和麦克勒的一个公开问题。

2006-12-09math.LO