怀特海问题

✍ dations ◷ 2025-07-11 17:14:36 #群论,数学问题

怀特海问题,是群论的一个重要问题,由美国数学家约翰·怀特海在1950年代提出。

给定环 Λ {\displaystyle \Lambda } 上的模 A , B , R {\displaystyle A,B,R} ,投射模 P {\displaystyle P} 以及正合列 R P A {\displaystyle R\rightarrow P\twoheadrightarrow A} 其中第一个箭头由单同态 μ {\displaystyle \mu } 实现,记

E X T Λ ( A , B ) = H o m ( R , B ) / I m ( μ ) {\displaystyle \mathrm {EXT} _{\Lambda }(A,B)=\mathrm {Hom(R,B)} /\mathrm {Im} (\mu ^{*})}

这里 μ {\displaystyle \mu ^{*}} 是由 μ {\displaystyle \mu } 自然导出的从 H o m ( P , B ) {\displaystyle \mathrm {Hom} (P,B)} H o m ( R , B ) {\displaystyle \mathrm {Hom} (R,B)} 的同态。如果 Λ {\displaystyle \Lambda } 是整数环 Z {\displaystyle \mathbb {Z} } ,则我们省去下标。注意任何一个阿贝尔群都可以看成一个整数模。

可以证明一个模 A {\displaystyle A} 是投射模当且仅当对于所有的模 B , E X T Λ ( A , B ) = 0 {\displaystyle B,\mathrm {EXT} _{\Lambda }(A,B)=0}

每一个自由模都是投射模。同调代数中一个经典定理说如果 Λ {\displaystyle \Lambda } 是主理想整环,那么每一 Λ {\displaystyle \Lambda } 自由模的子模也是自由的。特别地,整数环 Z {\displaystyle \mathbb {Z} } 上的所有自由模的子模都是自由的。因为每一个投射模都是自由模的子模,所以 Z {\displaystyle \mathbb {Z} } 上的投射模和自由模是一致的。

怀特海问题是同调代数中一个基本问题,其表述如下:

给定阿贝尔群A, E X T ( A , Z ) = 0 {\displaystyle \mathrm {EXT} (A,\mathbb {Z} )=0} 当且仅当A是自由的。

因此怀特海问题可以看作 Z {\displaystyle \mathbb {Z} } 上自由模的一个判别法则。

在ZFC下可以证明如果A是可数的阿贝尔群,那么怀特海问题是正确的. Shelah于1974年证明了如果 V = L {\displaystyle V=L} (即可构成公理成立),那么对每一个基数为 1 {\displaystyle \aleph _{1}} 的阿贝尔群,怀特海问题是对的。同时,如果马丁公理成立并且连续统假设不成立,那么存在一个基数为 1 {\displaystyle \aleph _{1}} 的阿贝尔群使得怀特海问题是错的。最终地,Shelah于1975年证明了如果 V = L {\displaystyle V=L} ,那么怀特海问题对于所有阿贝尔群成立。

相关

  • CD1CD1 (分化簇1)是分布于不同抗原提呈细胞(CPA)表面的一类糖蛋白,在人类,其编码基因位于1号染色体。这类蛋白质分子与MHC1(第一类主要组织相容性复合体)有同源关系,参与将脂质抗原提呈
  • 教学医院教学医院是指具有教学用途,提供在学的医学院及护理学院学生见习、实习和作研究的医院。这类医院通常都是由大学的医学院开设,或由政府指定大学的医学院驻守,因此也被概括性的称
  • 小菇属小菇属(学名:Mycena)是伞菌目小菇科的一个属,学名词源是古希腊文的μύκης(mykes),意指蘑菇。本属包含超过500个物种,大多数为较小型的蕈类。小菇属物种多行腐生生长,蕈伞一般较小
  • 世纪汇深圳世纪汇(英文名称:Century Place)是长江实业、和记黄埔和中航集团合作发展的商业项目。项目位于华强北商圈,占地十万多平方米,总建筑面积约十八万平方米,包括六万平方米的商场
  • 绝地战警:迈阿密行动《绝地战警:迈阿密行动》(英文:Bad Boys: Miami Takedown)是一个改编自电影《绝地战警2》的第一与第三人称射击游戏,由布里提兹游戏(Blitz Games)开发,帝王国际(Empire Interactive)、
  • 帕特·亨格尔马丁·帕特森“帕特”亨格尔(英语:Pat Hingle,1924年7月19日-2009年1月3日)是一名美国演员。
  • 艾丽斯·保尔艾丽斯·保尔(英语:Alice Paul,1885年1月11日-1977年7月9日),美国女权运动领袖。她和她的朋友露西·伯恩和其他朋友,成立了全国妇女党(National Women's Party),她们每天有三名女性
  • KDE游戏KDE游戏是包含在K Desktop Environment的游戏,有多种类型:大体分为纸牌,动作和棋盘游戏。 KDE3游戏,因为缺少维护者,未出现在KDE4: Akonadi · Decibel · Flake · KConfig X
  • 贺登崧贺登崧,(英语:Willem A. Grootaers,日语:W. A. グロータース,1911年5月26日-1999年8月9日),比利时神父、语言学家。贺登崧出生于比利时那慕尔,父亲为语言学家,从小受父母的影响即会说法
  • 冈崎藩冈崎藩(日语:岡崎藩/おかざきはん  */?)是日本的一个藩,位于三河国,藩厅是冈崎城。1602年,本多康重由上野白井藩,移封到冈崎,成立冈崎藩。1649年水野家移封到这里。1762年,水野忠任