[论文解读] Bicrossproduct Hopf quasigroups

J. Klim, Shahn Majid|ArXiv.org|Nov 16, 2009

Mathematics and Applications参考文献 4被引用 6

一句话总结

本文通过一个群 $X$ 及其有限子群 $G$ 和一个 IP 仿射群陪集 $M$，引入了霍普夫拟群的双交叉积构造，证明当 $M$ 满足特定代数条件时，$kM \triangleright\!\!\blacktriangleleft kG$ 构成一个霍普夫拟群。关键结果是显式构造出一个霍普夫拟群 $kG_{\mathbb{O}} \triangleright\!\!\blacktriangleleft k(\mathbb{Z}_2^3)$，其来源于阶为 128 的群 $X$ 中的八元数拟群 $G_{\mathbb{O}}$。

ABSTRACT

We recall the notion of Hopf quasigroups introduced previously. We construct a bicrossproduct Hopf quasigroup $kM\bicross k(G)$ from every group $X$ with a finite subgroup $G\subset X$ and IP quasigroup transversal $M\subset X$ subject to certain conditions. We identify the octonions quasigroup $G_O$ as transversal in an order 128 group $X$ with subgroup $Z_2^3$ and hence obtain a Hopf quasigroup $kG_O\lcocross k(Z_2^3)$ as a particular case of our construction.

研究动机与目标

• 将霍普夫代数的双交叉积构造推广至霍普夫拟群，通过推广匹配对结构实现。
• 确定在群 $X$ 中子群 $G$ 的陪集 $M$ 满足何种条件时构成 IP 拟群，从而实现霍普夫拟群 $kM \triangleright\!\!\blacktriangleleft kG$ 的构造。
• 证明八元数拟群 $G_{\mathbb{O}}$ 可作为阶为 128 的群 $X$ 中的陪集，且 $G = \mathbb{Z}_2^3$，从而构造出一个具体的非结合、非余交换的霍普夫拟群。
• 提供一种对偶构造，通过半对偶化得到霍普夫共拟群 $k(M)\blacktriangleright\!\!\triangleleft kG$。
• 通过双交叉积构造建立张量范畴结构，将范畴框架扩展至非结合设定。

提出的方法

• 利用匹配对方法定义 $G$ 对 $M$ 的右作用 $\triangleright$ 和从群因子分解 $X = G \ltimes M$ 导出的余上链 $\tau: M \times M \to G$，确保其与陪集结构相容。
• 应用半对偶化方法对一个因子进行对偶化，构造双交叉积 $kM \triangleright\!\!\blacktriangleleft kG$ 为通过 $\triangleright$ 的半直积与通过 $\triangleleft$ 的半直积余代数。
• 对 $\tau$ 和 $M$ 上的乘法施加条件，以确保所得代数满足霍普夫拟群公理，特别是反演元恒等式。
• 利用 $\mathbb{Z}_2^3$ 上的向量空间交叉积定义 $\tau(e_{\vec{a}}, e_{\vec{b}}) = g^{\vec{a} \times \vec{b}}$，由于在 $\mathbb{Z}_2$ 上的线性性，该定义满足 2-余上链条件。
• 验证八元数拟群 $G_{\mathbb{O}}$（由生成元 $e_i$ 和关系 $e_i^2 = -1$，$e_ie_j = -e_je_i$ 对于 $i \neq j$）构成 $X = \mathbb{Z}_2^3 \ltimes Cl_3$（阶为 128 的群）中的陪集。
• 通过公式 $e_{\vec{a}}e_{\vec{b}} = \tau(e_{\vec{a}}, e_{\vec{b}}) \cdot e_{\vec{a}+\vec{b}}$ 推导出 $X$ 中的群乘法，符号由八元数的交替性决定，从而确认完整的群结构。

实验结果

研究问题

• RQ1 在群 $X$ 中，子群 $G$ 的陪集 $M$ 满足何种条件时构成 IP 拟群，从而实现霍普夫拟群 $kM \triangleright\!\!\blacktriangleleft kG$ 的构造？
• RQ2 霍普夫代数的双交叉积构造如何推广至非结合代数，特别是霍普夫拟群？
• RQ3 八元数拟群 $G_{\mathbb{O}}$ 是否可作为有限群 $X$ 中的陪集，且满足 $G = \mathbb{Z}_2^3$？若可实现，其对应的霍普夫拟群结构为何？
• RQ4 双交叉积 $kM \triangleright\!\!\blacktriangleleft kG$ 成为霍普夫拟群的必要与充分条件是什么，尤其针对余上链 $\tau$ 以及作用 $\triangleright$、$\triangleleft$？
• RQ5 对偶构造如何产生霍普夫共拟群？其与先前工作中得到的霍普夫共拟群 $k[S^7] \rtimes \mathbb{Z}_2^3$ 有何关系？

主要发现

• 双交叉积 $kM \triangleright\!\!\blacktriangleleft kG$ 构成霍普夫拟群，当且仅当 $M$ 是 IP 拟群，且余上链 $\tau$ 满足 2-余上链条件以及涉及 $\tau$ 的非结合乘法恒等式。
• 八元数拟群 $G_{\mathbb{O}}$ 被实现为阶为 128 的群 $X$ 中的陪集，其中 $G = \mathbb{Z}_2^3$，且 $X \cong \mathbb{Z}_2^3 \ltimes Cl_3$，其中 $Cl_3$ 是由 $\pm e_i$ 生成的克利福德群。
• 所得霍普夫拟群为 $kG_{\mathbb{O}} \triangleright\!\!\blacktriangleleft k(\mathbb{Z}_2^3)$，其 $\triangleright$ 作用平凡，且 $\tau(e_{\vec{a}}, e_{\vec{b}}) = g^{\vec{a} \times \vec{b}}$，该结构为非结合且非余交换。
• 群 $X$ 有 128 个基元素：$\{\pm e_1^{a_1}e_2^{a_2}e_3^{a_3}g_1^{b_1}g_2^{b_2}g_3^{b_3}\}$，确认了群的阶数与封闭性。
• 群 $X$ 中的乘法满足 $e_i e_j = -e_j e_i = g_k \cdot e_{ij}$（$i,j,k$ 为循环排列），符号由八元数的交替性决定，且 $e_i^2 = -1$，与克利福德代数关系一致。
• 对偶构造产生霍普夫共拟群 $k(G_{\mathbb{O}}) \blacktriangleright\!\!\triangleleft k\mathbb{Z}_2^3$，其同构于 $k[S^7] \rtimes \mathbb{Z}_2^3$ 的商代数，并通过双交叉积结构提供一个张量范畴。