[论文解读] On the holomorph of a discrete group

Maria S. Voloshina|ArXiv.org|Feb 11, 2003

Geometric and Algebraic Topology参考文献 18被引用 6

一句话总结

本文通过构造显式的群解析式，研究了有限阿贝尔 p-群，特别是 ℤ_{p^r} 的全自同构群，计算其整系数同调与模 p 上同调环。证明了 ⊕_n ℤ_{p^r} 的全自同构群是 GL(n+1, ℤ_{p^r}) 的子群，且其模 p 上同调的 Lyndon-Hochschild-Serre 族谱序列在 p^r ≥ 8 时不于 E₂ 页崩溃，并计算了同余子群的博克斯坦同态。主要贡献在于给出了经典结果——唯一单射群是平凡群——的一个新简短证明。

ABSTRACT

The holomorph of a discrete group $G$ is the universal semi-direct product of $G$. In chapter 1 we describe why it is an interesting object and state main results. In chapter 2 we recall the classical definition of the holomorph as well as this universal property, and give some group theoretic properties and examples of holomorphs. In particular, we give a necessary and sufficient condition for the existence of a map of split extensions for holomorphs of two groups. In chapter 3 we construct a resolution for $Hol(Z_{p^r})$ for every prime $p$, where ${\mathbb Z}_m$ denotes a cyclic group of order $m$, and use it to compute the integer homology and mod $p$ cohomology ring of $Hol(Z_{p^r})$. In chapter 4 we study the holomorph of the direct sum of several copies of $Z_{p^r}$. We identify this holomorph as a nice subgroup of $GL(n+1, Z_{p^r})$, thus its cohomology informs on the cohomology of the general linear group which has been of interest in the subject. We show that the LHS spectral sequence for $H^*(Hol(\bigoplus_n Z_{p^r}); F_p)$ does not collapse at the $E_2$ stage for $p^r\ge 8$. Also, we compute mod $p$ cohomology and the first Bockstein homomorphisms of the congruence subgroups given by $Ker (Hol(\bigoplus_n Z_{p^r}) o Hol(\bigoplus_n Z_p)).$ In chapter 5 we recall wreath products and permutative categories, and their connections with holomorphs. In chapter 6 we give a short proof of the well-known fact due to S. Eilenberg and J. C. Moore that the only injective object in the category of groups is the trivial group.

研究动机与目标

• 计算所有素数 p 和 r ≥ 1 的 ℤ_{p^r} 的全自同构群的整系数同调与模 p 上同调环。
• 将 ⊕_n ℤ_{p^r} 的全自同构群识别为 GL(n+1, ℤ_{p^r}) 的子群，以将其上同调与一般线性群的上同调联系起来。
• 分析 ⊕_n ℤ_{p^r} 的全自同构群的 Lyndon-Hochschild-Serre 族谱序列，证明当 p^r ≥ 8 时，该族谱序列不于 E₂ 页崩溃。
• 计算由 Hol(⊕_n ℤ_{p^r}) → Hol(⊕_n ℤ_p) 的核定义的同余子群的模 p 上同调与第一博克斯坦同态。
• 证明族 {Hol(G^n)} 与 {Aut(G^n)} 构成交换范畴，从而赋予无限环路空间结构。
• 给出一个简洁证明，说明在群范畴中唯一的单射对象是平凡群。

提出的方法

• 通过广义化的沃耳方法构造 Hol(ℤ_{2^r}) 的解析式，以计算其整系数同调与模 2 上同调。
• 将沃耳的解析式方法应用于奇素数 p，构造 Hol(ℤ_{p^r}) 的解析式，以计算其模 p 上同调环。
• 通过矩阵表示将 Hol(⊕_n ℤ_{p^r}) 识别为 GL(n+1, ℤ_{p^r}) 的子群，从而实现与 GL(n+1, ℤ_{p^r}) 上同调的比较。
• 利用分裂扩张的映射存在性，分析 H*(Hol(⊕_n ℤ_{p^r}); ℱ_p) 的 Lyndon-Hochschild-Serre 族谱序列，证明当 p^r ≥ 8 时，该族谱序列不于 E₂ 页崩溃。
• 通过 Hol(⊕_n ℤ_{p^r}) → Hol(⊕_n ℤ_p) 的约化映射的核，计算同余子群上同调中的第一博克斯坦同态。
• 通过圆 bouquet 的覆盖空间的拓扑方法，证明一个群同态的单射性，该性质是证明单射群平凡性的关键。

实验结果

研究问题

• RQ1 ℤ_{p^r} 的全自同构群的结构如何？其整系数同调与模 p 上同调能否被显式计算？
• RQ2 Hol(⊕_n ℤ_{p^r}) 的上同调的 Lyndon-Hochschild-Serre 族谱序列行为如何？它是否于 E₂ 页崩溃？
• RQ3 同余子群 Ker(Hol(⊕_n ℤ_{p^r}) → Hol(⊕_n ℤ_p)) 的模 p 上同调与第一博克斯坦同态是什么？
• RQ4 对于有限阿贝尔 p-群 G，族 {Hol(G^n)} 与 {Aut(G^n)} 是否可赋予交换范畴结构？
• RQ5 为何群范畴中唯一的单射对象是平凡群？能否使用拓扑与群论工具给出简洁证明？

主要发现

• 通过从沃耳方法推广的解析式，显式计算了 Hol(ℤ_{2^r}) 的整系数同调与模 2 上同调环。
• 对于奇素数 p，通过解析式构造显式计算了 Hol(ℤ_{p^r}) 的模 p 上同调环，揭示其结构为多项式代数与外代数的张量积。
• 当 p^r ≥ 8 时，H*(Hol(⊕_n ℤ_{p^r}); ℱ_p) 的 Lyndon-Hochschild-Serre 族谱序列不于 E₂ 页崩溃，表明存在非平凡的扩张问题。
• 同余子群 Ker(Hol(⊕_n ℤ_{p^r}) → Hol(⊕_n ℤ_p)) 具有非平凡的模 p 上同调与第一博克斯坦同态，且均已显式计算。
• 对于 G = ℤ_{p^r}，族 {Hol(G^n)} 与 {Aut(G^n)} 构成交换范畴，从而诱导出无限环路空间结构。
• 给出一个新简短证明，说明唯一单射群是平凡群，该证明基于覆盖空间理论与从 F[a,b] 到 F[c,d] 的单射群同态。