[论文解读] Bi-gyrogroup: The group-like structure induced by bi-decomposition of groups

Teerapong Suksumran, Abraham A. Ungar|arXiv (Cornell University)|Jan 20, 2016

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

一句话总结

本文引入了双双曲群（bi-gyrogroup），一种由群 $\Gamma$ 的双分解 $\Gamma = H_L B H_R$（其中 $B$ 为子集，$H_L$、$H_R$ 为子群）诱导的新奇代数结构。研究证明，此类双分解可通过左、右旋转变换自然地生成双双曲群，从而推广了双曲群（gyrogroup）理论。主要贡献在于证明了商群 $\mathrm{Spin}(m,n)/\{1,-1\}$ 具有双双曲分解，从而在伪正交群的背景下实现了具体的双双曲群结构。

ABSTRACT

The decomposition $Γ=BH$ of a group $Γ$ into a subset $B$ and a subgroup $H$ of $Γ$ induces, under general conditions, a group-like structure for $B$, known as a gyrogroup. The famous concrete realization of a gyrogroup, which motivated the emergence of gyrogroups into the mainstream, is the space of all relativistically admissible velocities along with a binary operation given by the Einstein velocity addition law of special relativity theory. The latter leads to the Lorentz transformation group $\mathrm{SO}(1,n)$, $n\in\mathbb{N}$, in pseudo-Euclidean spaces of signature $(1, n)$. The study in this article is motivated by generalized Lorentz groups $\mathrm{SO}(m, n)$, $m, n\in\mathbb{N}$, in pseudo-Euclidean spaces of signature $(m, n)$. Accordingly, this article explores the bi-decomposition $Γ= H_LBH_R$ of a group $Γ$ into a subset $B$ and subgroups $H_L$ and $H_R$ of $Γ$, along with the novel bi-gyrogroup structure of $B$ induced by the bi-decomposition of $Γ$. As an example, we show by methods of Clifford algebras that the quotient group of the spin group $\mathrm{spin}(m, n)$ possesses the bi-decomposition structure.

研究动机与目标

• 将原本由单重分解 $\Gamma = BH$ 诱导的双曲群结构推广至更丰富的结构，通过双分解 $\Gamma = H_L B H_R$ 实现。
• 定义并公理化双双曲群叠（bi-gyrogroupoid）与双双曲群（bi-gyrogroup），作为具有两组自同构（左、右旋转变换）的代数结构。
• 证明伪正交群 $\mathrm{SO}(m,n)$ 与商群 $\mathrm{Spin}(m,n)/\{1,-1\}$ 具有双双曲分解。
• 确立双双曲群是通用计算工具，其应用不仅限于狭义相对论，还涵盖克利福德代数与调和分析。

提出的方法

• 通过公理 (BG1)–(BG5) 定义双双曲群叠，包括单位元、逆元，以及满足双双曲结合律的左、右自同构（lgyr, rgyr）。
• 引入双横截分解 $\Gamma = H_L B H_R$ 作为结构框架，用于在集合 $B$ 上诱导双双曲群叠运算 $\oplus_b$。
• 利用定理 4.19 中的归一化条件，从双横截运算 $\odot$ 推导出双双曲群运算 $\oplus$。
• 运用克利福德代数方法分析自旋群 $\mathrm{Spin}(m,n)$，证明其商群 $\mathrm{Spin}(m,n)/\{1,-1\}$ 满足双双曲分解条件。
• 证明双双曲群结构 $B$ 由双分解通过左、右旋转变换的存在性而生成，且这些旋转变换满足双旋变器恒等式。
• 验证当 $H_L$ 为平凡子群时，双双曲群结构退化为双曲群结构，从而与已有理论保持一致。

实验结果

研究问题

• RQ1 如何将原本基于单重分解 $\Gamma = BH$ 定义的双曲群结构推广，以容纳左右两侧的子群 $H_L$ 与 $H_R$？
• RQ2 从双分解 $\Gamma = H_L B H_R$ 所生成的群类对象，其公理化结构特征为何？
• RQ3 伪正交群 $\mathrm{SO}(m,n)$ 是否具有双双曲分解？若存在，其在 $B$ 上诱导的双双曲群结构为何？
• RQ4 能否证明商群 $\mathrm{Spin}(m,n)/\{1,-1\}$ 具有双双曲分解，从而将双双曲群框架扩展至自旋群？
• RQ5 双双曲群中左、右两组旋转变换相比双曲群中的单组旋转变换，如何丰富其代数结构？

主要发现

• 双双曲群结构完全由群 $\Gamma$ 的任意双双曲分解 $\Gamma = H_L B H_R$ 诱导，生成双双曲群 $(B, \oplus)$，其左、右旋转变换满足双双曲结合律。
• 商群 $\mathrm{Spin}(m,n)/\{1,-1\}$ 具有双双曲分解，该结论通过克利福德代数方法确立，证实其可实现为双双曲群。
• 双双曲群 $(B, \oplus)$ 满足双双曲结合律，当左、右旋转变换均为平凡时，该律退化为标准结合律。
• 双双曲群结构比双曲群结构更丰富，因为复合自同构 $\mathrm{lgyr}[a,b] \circ \mathrm{rgyr}[b,a]$ 由运算决定，但单个自同构本身无法仅由运算唯一确定。
• 双双曲群 $(B, \oplus)$ 同构于 $n \times m$ 实矩阵在双双曲加法下的群叠，为抽象结构提供了具体模型。
• 双双曲群是双曲群，但反之不成立：双双曲群因具有双组旋转变换而具备额外的结构层次。