[论文解读] Partial Lagrange's and Isomorphism Theorems for Gyrogroups

Teerapong Suksumran, Keng Wiboonton|arXiv (Cornell University)|Jun 2, 2014

Mathematics and Applications参考文献 14被引用 1

一句话总结

本文将群论中的基本定理——特别是拉格朗日定理和同构定理——推广到非结合代数结构陀螺群（gyrogroups）中。通过引入L-子陀螺群并证明其将陀螺群划分为左陪集，作者证明了任意有限L-子陀螺群的阶整除陀螺群的阶，从而将拉格朗日定理推广至陀螺群。

ABSTRACT

We extend well-known results in group theory to gyrogroups, especially the isomorphism theorems. We prove that an arbitrary gyrogroup $G$ induces the gyrogroup structure on the symmetric group of $G$ so that Cayley's Theorem is obtained. Introducing the notion of L-subgyrogroups, we show that an L-subgyrogroup partitions $G$ into left cosets. Consequently, if $H$ is an L-subgyrogroup of a finite gyrogroup $G$, then the order of $H$ divides the order of $G$.

研究动机与目标

• 将经典群论结果（如拉格朗日定理与同构定理）推广至陀螺群的语境中。
• 通过证明每个陀螺群在对称群上诱导出一个陀螺群结构，建立陀螺群的凯莱定理类比。
• 定义并分析L-子陀螺群，作为将陀螺群划分为左陪集的结构工具。
• 证明L-子陀螺群的阶整除有限陀螺群的阶，从而将拉格朗日定理推广至非结合设置。

提出的方法

• 引入L-子陀螺群的概念，即在陀螺群运算和左陀螺自同构下封闭的子集。
• 证明每个陀螺群G在其对称群上诱导出一个陀螺群结构，从而实现陀螺群的表示。
• 利用L-子陀螺群诱导的左陪集分解，分析陀螺群的内部结构。
• 证明L-子陀螺群的左陪集构成陀螺群的划分，类似于群论中的陪集分解。
• 利用划分性质，推导出有限陀螺群中阶的整除条件。
• 通过正规L-子陀螺群构造商陀螺群，将同构定理推广至陀螺群框架。

实验结果

研究问题

• RQ1 鉴于陀螺群的非结合性，拉格朗日定理能否推广至陀螺群？
• RQ2 群论中的同构定理如何适应陀螺群的框架？
• RQ3 陀螺群的子集需满足何种结构性质，才能诱导出良态的左陪集划分？
• RQ4 每个陀螺群是否都可表示为对称陀螺群的子群，从而推广凯莱定理？
• RQ5 L-子陀螺群在将经典群论结果推广至陀螺群中起到何种作用？

主要发现

• 任意陀螺群G在其对称群上诱导出一个陀螺群结构，从而将凯莱定理推广至陀螺群。
• 引入了L-子陀螺群的概念，并证明其在陀螺群运算和左陀螺自同构下封闭。
• L-子陀螺群将底层陀螺群G划分为不相交的左陪集，与群论中的陪集分解类似。
• 对于有限陀螺群G与L-子陀螺群H，H的阶整除G的阶，从而确立了陀螺群版本的拉格朗日定理。
• 通过正规L-子陀螺群构造商陀螺群，将同构定理推广至陀螺群。
• 结果表明，陀螺群支持丰富的代数结构，与群在子群与商群行为方面具有类比性。