[论文解读] Localizations of Groups

Rüdiger Göbel, Saharon Shelah|ArXiv.org|Sep 8, 2000

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用 3

一句话总结

该论文在ZFC体系下（不假设广义连续统假设）证明了任意有限非交换单群均可实现任意大基数的局部化。通过组合群论技巧与余挠自由阿贝尔群的刚性族的存在性，作者构造了一个后继基数为λ = µ⁺的单群H，该H普遍嵌入给定族中所有合适群，确保所有单同态均为内自同构，且所有局部化均可平凡延拓。

ABSTRACT

A group homomorphism eta:A-> H is called a localization of A if every homomorphism phi:A-> H can be `extended uniquely' to a homomorphism Phi:H-> H in the sense that Phi eta = phi. This categorical concepts, obviously not depending on the notion of groups, extends classical localizations as known for rings and modules. Moreover this setting has interesting applications in homotopy theory. For localizations eta:A-> H of (almost) commutative structures A often H resembles properties of A, e.g. size or satisfying certain systems of equalities and non-equalities. Perhaps the best known example is that localizations of finite abelian groups are finite abelian groups. This is no longer the case if A is a finite (non-abelian) group. Libman showed that A_n-> SO_{n-1}(R) for a natural embedding of the alternating group A_n is a localization if n even and n >= 10 . Answering an immediate question by Dror Farjoun and assuming the generalized continuum hypothesis GCH we recently showed in math.LO/9912191 that any non-abelian finite simple has arbitrarily large localizations. In this paper we want to remove GCH so that the result becomes valid in ordinary set theory. At the same time we want to generalize the statement for a larger class of A 's.

研究动机与目标

• 消除先前关于有限非交换单群局部化结果中对广义连续统假设（GCH）的依赖。
• 将大局部化的存在性从单群推广至更广泛的“合适”有限群类，其特征为平凡中心与完备自同构群。
• 构造一个任意大基数λ = µ⁺的群H，通过由内自同构诱导的单同态，使H普遍嵌入给定族中所有合适群。
• 证明所有单同态H → H均为内自同构，从而确保局部化性质普遍成立。

提出的方法

• 对任意无限基数µ，通过在序数索引的群族Hαj(ε)上的直极限过程，构造一个基数为λ = µ⁺的群H。
• 利用余挠自由阿贝尔群的刚性族{Ui : i < κ}，以确保嵌入的唯一性并控制中心化子。
• 应用[5]中关于大刚性阿贝尔群族的存在性定理，避免依赖GCH或Hart–Laflamme–Shelah等组合博弈论方法。
• 应用模型论中的黑箱方法（黑箱5.1），在λ的某个稳定子集上预测嵌入与子模型，以确保普遍嵌入性质。
• 对中心化子施加条件：对任意同构于合适群A的子群A′ ⊆ H，其中心化子cHA′为平凡群，从而强制嵌入的刚性。
• 证明：对任意A ∈ A，任何单同态ϕ: A → H均源于H中某元素h的共轭作用，从而确保局部化具有普遍性。

实验结果

研究问题

• RQ1 在不假设GCH的ZFC体系下，能否证明有限非交换单群存在任意大基数的局部化？
• RQ2 一类有限群需具备何种结构性质，才能允许其存在任意大基数的普遍局部化？
• RQ3 如何在大群H中强制实现嵌入的刚性与平凡中心化子，以确保所有单同态均为内自同构？
• RQ4 该构造从单群推广至更广泛的“合适”群类（有限、平凡中心、完备自同构群）的适用范围有多大？
• RQ5 能否使用模型论中的预测原理（如黑箱）在群论中构造普遍局部化，而无需依赖组合集合论假设？

主要发现

• 对任意无限基数µ，存在一个基数为λ = µ⁺的单群H，使得每个单同态H → H均为内自同构。
• 族中任意合适群A均可通过H中由共轭作用诱导的单同态嵌入H，且任意两个此类群的不同拷贝之间交集平凡。
• 任意同构于合适群A的子群A′ ⊆ H的中心化子为平凡群，从而确保嵌入具有强刚性。
• 该构造避免了GCH与组合博弈论方法，转而依赖余挠自由阿贝尔群的刚性族存在性及一个模型论黑箱。
• 该结果表明：对任意有限非交换单群A，ZFC中存在任意大基数的局部化，从而回答了Dror Farjoun提出的问题。
• 主定理1.3确认：Eilenberg–MacLane空间K(A,1)具有一个真类的、彼此不同的同伦类型，且均为局部化，该结论在ZFC中成立。