[论文解读] Crossed product of groups. Applications

A. L. Agore, G. Militaru|arXiv (Cornell University)|May 27, 2008

Finite Group Theory Research参考文献 15被引用 5

一句话总结

本文通过将交叉积作为新范畴 $χ_2(H,G)$ 中的普遍对象，重新定义了群扩张的分类，其中态射包含正规子群与商群的自同构。关键贡献是提出一个广义的施雷尔类型定理，通过在交叉系统上定义的新等价关系 $ approx_2$ 对扩张进行分类，并给出了交叉积之间同构的显式判别准则。

ABSTRACT

We survey the extensions of a group by a group using crossed products instead of exact sequences of groups. The approach has various advantages, one of them being that the crossed product is an universal object. Several new applications are given, a general Schreier type theorem is proved and a few open problems are left.

研究动机与目标

• 通过用交叉积作为普遍对象，取代传统的正合序列，重新表述经典的群扩张问题。
• 定义一个新的扩张范畴 $\mathcal{E}_2(H,G)$，其中态射包含 $H$ 和 $G$ 的群自同构，而不仅限于全群的同构。
• 通过在标准化交叉系统上定义的新等价关系 $\approx_2$，建立群扩张的分类。
• 提供交叉积 $H\#_\alpha^f G$ 与 $H\#_{\alpha'}^{f'} G$ 之间同构的显式判别准则。
• 将施雷尔的经典分类结果推广到此新范畴框架下，通过 $\mathrm{Crossed}(H,G)/\approx_2$ 实现骨架分类。

提出的方法

• 将传统的群扩张 $(E,i,p)$ 替换为等价的交叉系统 $(H,G,\alpha,f)$，其中 $\alpha:G\to\mathrm{Aut}(H)$ 是一个弱作用，$f:G\times G\to H$ 是一个 $\alpha$-上循环。
• 定义一个新的范畴 $\mathcal{E}_2(H,G)$，其对象为交叉系统，态射为三元组 $(u,\gamma,v)$，其中 $u:H\to H$，$\gamma:E\to E'$，$v:G\to G$ 是使图表可交换的群同态。
• 证明交叉积 $H\#_\alpha^f G$ 在不同范畴中同时是初始对象与终末对象，满足两个普遍性质（定理 2.1）。
• 通过四元组 $(u,r,v,s)$ 导出交叉积之间同构的显式相容条件，从而得出推论 2.3 中的刻画。
• 引入交叉系统上的 $2$-等价关系 $\approx_2$，其定义为存在满足方程 (38) 和 (39) 的同构三元组 $(\eta,\gamma,t)$。
• 证明范畴 $\mathcal{E}_2(H,G)$ 的骨架与商集 $\mathrm{Crossed}(H,G)/\approx_2$ 之间存在双射，从而得出主要分类结果（定理 3.8）。

实验结果

研究问题

• RQ1 如何在新的范畴框架下，通过将交叉积作为普遍对象，重新分类经典的群扩张问题？
• RQ2 在包含正规子群与商群自同构的背景下，如何正确定义扩张之间的态射？
• RQ3 在新范畴 $\mathcal{E}_2(H,G)$ 下，交叉积 $H\#_\alpha^f G$ 的同构类具有何种结构？
• RQ4 能否为此类新范畴的扩张建立广义的施雷尔类型定理？
• RQ5 在 $\mathcal{E}_2(H,G)$ 中，两个交叉积同构的充分必要条件是什么？

主要发现

• 交叉积 $H\#_\alpha^f G$ 在一个范畴中是初始对象，在另一个非对偶范畴中是终末对象，从而确立了强普遍性质（定理 2.1）。
• 所有从一个交叉积 $H\#_\alpha^f G$ 到另一个 $H\#_{\alpha'}^{f'} G$ 的同构，与满足特定相容条件的四元组 $(u,r,v,s)$ 之间存在一一对应关系（推论 2.3）。
• 在 $\mathcal{E}_2(H,G)$ 中，两个交叉系统 $(H,G,\alpha,f)$ 与 $(H,G,\alpha',f')$ 之间存在同构，当且仅当存在同构 $\eta:H\to H$，$\gamma:G\to G$，以及一个映射 $t:G\to H$，使得满足方程 (38) 和 (39)（推论 3.5）。
• 交叉系统上的等价关系 $\approx_2$ 由此类三元组 $(\eta,\gamma,t)$ 的存在性定义，且其为等价关系（定义 3.7）。
• $\mathcal{E}_2(H,G)$ 范畴的骨架与商集 $\mathrm{Crossed}(H,G)/\approx_2$ 之间存在双射，从而在该框架下实现了扩张的完整分类（定理 3.8）。
• 将结果特化到平凡交叉系统，可得到交叉积在 $\mathcal{E}_2(H,G)$ 中同构于直积的充分必要条件（注记 3.6）。