[论文解读] Hypergroups over the group and generalizations of Schreier's theorem on group extensions

Samuel H. Dalalyan|arXiv (Cornell University)|Mar 24, 2014

Advanced Topics in Algebra参考文献 1被引用 3

一句话总结

本文引入了群上超群的新概念，以推广Schreier关于群扩张的定理。通过在子群的一个右陪集系上定义超群结构，作者建立了度数为 $ m $ 的群扩张的同构类与群作用下超群轨道之间的典范双射，统一并扩展了经典的上同调分类方法，尤其适用于非交换群。

ABSTRACT

Let $H$ be a group, $m$ be a positive integer, $Ext_m H$ be the set of all isomorphic in $G$ classes of group monomorphisms $φ: H ightarrow G$ such that index of $φ(H)$ in $G$ is $m$. The main goal of this paper is to describe the elements of $Ext_m H$ in terms of a new concept of hypergroups over the group. The obtained result is a very broad generalization of the Schreier theorem (1926). As an application, a series of intermediate generalizations is obtained; particularly, a description of the set $Ext (H, Q)$ of isomorphic classes of all extensions of a noncommutative group $H$ by $Q$.

研究动机与目标

• 将Schreier 1926年关于群扩张的定理推广至非交换群，使用一种新的代数结构。
• 定义并表征群上的超群，作为群、域和线性空间的统一框架。
• 在度数为 $ m $ 的群扩张的同构类与群作用下超群的轨道之间建立典范双射。
• 通过二维上同调，将扩张的上同调分类推广至非交换正规子群。
• 当群 $ H $ 为交换群时，恢复Schreier原始定理作为特例。

提出的方法

• 通过群 $ G $ 中子群 $ H $ 的右陪集系 $ M $，利用结构映射 $ \theta = (\Phi, \Psi, \Xi, \Lambda) $，定义群 $ H $ 上的超群。
• 引入与超群相关的（外）精确积的概念，推广了直积、半直积以及Neumann的一般积。
• 构造群 $ \mathcal{G} $ 及其在群 $ Hg(H,M) $（即群 $ H $ 上超群的同构类集合）上的作用 $ \mathcal{A} $。
• 定义二维上链 $ \kappa \in H^M $，上边界 $ \Lambda_\kappa $，以及上同调群 $ H^2((M,\Xi), H, \underline{\Psi}) $。
• 证明当 $ H $ 为交换群时，$ B^2((M,\Xi), H, \underline{\Psi}) $ 是 $ Z^2((M,\Xi), H, \underline{\Psi}) $ 的正规子群，从而可形成商上同调群。
• 建立典范双射 $ Ext_m(H) \cong Hg(H,M)/\mathcal{A} $，并进一步细化以根据给定商群 $ Q $ 对扩张进行分类。

实验结果

研究问题

• RQ1 如何使用统一的代数结构对固定度数 $ m $ 的群扩张进行分类？
• RQ2 Schreier关于群扩张的定理能否在非交换正规子群之外进行推广？
• RQ3 群上的超群在参数化群扩张中起什么作用？
• RQ4 结构映射 $ \Phi, \Psi, \Xi, \Lambda $ 如何编码扩张中的群乘法？
• RQ5 在何种条件下，二维上同调群 $ H^2(Q, H, \underline{\Psi}) $ 对 $ H $ 关于 $ Q $ 的扩张进行分类？

主要发现

• 存在从度数为 $ m $ 的群扩张同构类集合 $ Ext_m(H) $ 到群 $ H $ 上超群在作用 $ \mathcal{A} $ 下的轨道集合 $ Hg(H,M)/\mathcal{A} $ 的典范双射。
• 正规扩张集合 $ Ext_{m,0}(H) $ 与满足 $ \Phi $-作用平凡的超群集合 $ Hg_0(H,M)/\mathcal{A} $ 之间存在双射。
• 对于固定的同构类 $ [\Xi] $，集合 $ Hg_0(H,M,[\Xi])/{\mathcal{A}} $ 与 $ Ext(H,Q) $ 之间存在双射，其中 $ Q = (M,\Xi) $。
• 当 $ H $ 为交换群时，映射 $ j: Hg_0(H,M,\Xi,\Psi)/\mathcal{A}_0 \to H^2((M,\Xi), H, \underline{\Psi}) $ 是典范双射，从而恢复了Schreier定理。
• 当 $ H $ 为交换群时，二维上同调群 $ H^2((M,\Xi), H, \underline{\Psi}) $ 对 $ H $ 关于 $ Q $ 的扩张进行分类，分类依赖于反向同态 $ \underline{\Psi} $。
• 对于一般非交换群 $ H $，该构造通常不成立，原因在于 $ B^2 $ 非正规且群不满足交换性，导致无法构造商群。