[论文解读] Pure extensions of locally compact abelian groups

Peter Loth|ArXiv.org|Aug 15, 2005

Advanced Topology and Set Theory参考文献 16被引用 6

一句话总结

本文研究局部紧阿贝尔（LCA）群范畴中的纯扩张，确立了群 Pext(C,A) 与 Ext(C,A) 的第一乌尔姆子群重合的条件。它刻画了类 𝒞 中的纯内射群——即可以表示为紧生成群与离散群的拓扑直和的群——并提供了在扩张与对偶扩张设定下所有纯扩张均分裂的 𝒞 中群的完整结构描述。

ABSTRACT

In this paper, we study the group Pext(C,A) for locally compact abelian (LCA) groups A and C. Sufficient conditions are established for Pext(C,A) to coincide with the first Ulm subgroup of Ext(C,A). Some structural information on pure injectives in the category of LCA groups is obtained. Letting K denote the class of LCA groups which can be written as the topological direct sum of a compactly generated group and a discrete group, we determine the groups G in K which are pure injective in the category of LCA groups. Finally we describe those groups G in K such that every pure extension of G by a group in K splits and obtain a corresponding dual result.

研究动机与目标

• 确定对于局部紧阿贝尔群，Pext(C,A) 何时等于 Ext(C,A) 的第一乌尔姆子群。
• 刻画 LCA 群范畴中纯内射群，特别是可表示为紧生成群与离散群的拓扑直和的类 𝒞 中的群。
• 识别 𝒞 中所有满足每个由 𝒞 中群为系数的 G 的纯扩张均分裂的群 G，以及对偶地，每个由 G 为系数的 𝒞 中群的纯扩张均分裂的群。
• 利用向量群、环面群、有限循环群的直积以及有界或直和形式的离散群，建立此类群的结构分解。
• 澄清在 LCA 群背景下，拓扑纯性、内射性与扩张分裂之间的关系。

提出的方法

• 利用庞特里亚金对偶性与零化子理论，关联 LCA 群范畴中的 Ext 与 Pext 群。
• 应用关于纯子群与拓扑纯性的定理，特别是利用 [L1] 中关于紧生成群中纯子群的结果。
• 运用同构关系 Pext(⊕H_i, G) ≅ ∏ Pext(H_i, G)（当 H_i 为离散时）与 Pext(G, ∏H_i) ≅ ∏ Pext(G, H_i)（当 H_i 为紧致时），在有限性条件下成立。
• 利用 Ext(G, A) = 0 对于离散的约化扭群 A 与紧生成群 G 成立，以证明纯扩张的分裂性。
• 通过庞特里亚金对偶性应用对偶性，推导出分裂扩张的对偶刻画。
• 应用已知的结构定理：例如，代数紧致群是可除群与约化群的直和，并利用约化扭群为有界群当且仅当其为余扭群这一事实。

实验结果

研究问题

• RQ1 在何种条件下，对于 LCA 群 A 与 C，Pext(C,A) 与 Ext(C,A) 的第一乌尔姆子群重合？
• RQ2 在类 𝒞（即紧生成群与离散群的拓扑直和）中，哪些群在 LCA 群范畴中是纯内射的？
• RQ3 对于 𝒞 中的哪些群 G，每个由 𝒞 中群为系数的 G 的纯扩张均分裂？
• RQ4 对于 𝒞 中的群 G，每个由 𝒞 中群为系数的 G 的纯扩张均分裂的对偶刻画是什么？
• RQ5 向量群、环面群、有限循环群的直积以及有界离散群等结构分量，如何与 𝒞 中纯扩张的分裂性相关联？

主要发现

• 当 A 与 C 均为紧生成群或无小子群时，Pext(C,A) 与 Ext(C,A) 的第一乌尔姆子群重合。
• 类 𝒞 中的群 G 在 LCA 群范畴中是纯内射的，当且仅当 G ≅ ℝⁿ ⊕ Tᵐ，其中 n ≥ 0 且 m 为某个基数。
• 每个由 𝒞 中群为系数的 G 的纯扩张均分裂，当且仅当 G ≅ ℝⁿ ⊕ Tᵐ ⊕ A ⊕ B，其中 A 为有限循环群的直积，B 为有界离散群。
• 对偶地，每个由 𝒞 中群为系数的 G 的纯扩张均分裂，当且仅当 G ≅ ℝⁿ ⊕ C ⊕ D，其中 C 为紧致扭群，D 为循环群的离散直和。
• 对于离散约化扭群 A 与紧生成群 X，有 Pext(X,A) = 0，这意味着所有此类纯扩张均分裂。
• 类 𝒞 中的纯内射群恰好与 𝒞 中的内射群一致，即恰好为 ℝⁿ ⊕ Tᵐ 形式的群。