[论文解读] Central and medial quasigroups of small order

David Stanovský, Petr Vojtěchovský|arXiv (Cornell University)|Nov 11, 2015

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

一句话总结

本文对阶小于128的中心和中位拟群（不包括与 $C_4\times C_2^4$、$C_2^6$、$C_3^4$ 或 $C_5^3$ 同态的拟群）进行了完整的同构分类枚举。通过同构定理与GAP中的计算方法，作者推导出有限循环群上中心拟群数量的显式公式，并对其他所有阶数列出了精确计数，首次系统性地实现了对这些拟群在同构意义下的分类，其范围超越了小阶数的情况。

ABSTRACT

We enumerate central and medial quasigroups of order less than $128$ up to isomorphism, with the exception of those quasigroups that are isotopic to $C_4 imes C_2^4$, $C_2^6$, $C_3^4$ or $C_5^3$. We give an explicit formula for the number of quasigroups that are affine over a finite cyclic group.

研究动机与目标

• 对阶小于128的中心和中位拟群进行同构分类与枚举。
• 提供中心和中位拟群的完整同构类列表，排除特定同态类。
• 推导出有限循环群上中心拟群数量的显式公式。
• 建立基于GAP的计算框架，以高效枚举同构类。
• 扩展中位拟群的现有结果，并填补OEIS序列A226193中关于中位拟群的空白。

提出的方法

• 提出中心拟群的同构定理，将分类问题简化为阿贝尔群及其自同构群的问题。
• 利用阿贝尔群上拟群的结构：$x*y = \varphi(x) + \psi(y) + c$，其中 $\varphi, \psi$ 为底层面阿贝尔群的自同构。
• 对素数幂阶循环群，推导出中心拟群同构类数量的闭式公式。
• 使用GAP计算代数系统进行枚举，利用群自同构群和群作用下的轨道计数。
• 该方法涉及在自同构群作用下对交换自同构对与平移元素的轨道进行计算。
• 按群结构系统性地整理结果，列出中心和中位拟群的同构类计数。

实验结果

研究问题

• RQ1 对于阶小于128的每个阿贝尔群（排除特定同态类），存在多少个非同构的中心拟群？
• RQ2 对于 $n < 128$，中位拟群的同构类数量的确切值是多少，特别是当 $n$ 为素数幂或小素数乘积时？
• RQ3 能否为有限循环群上中心拟群的同构类数量推导出显式公式？
• RQ4 在相同阶数但不同阿贝尔群结构下，中心和中位拟群的计数如何比较？
• RQ5 决定中心拟群同构类的自同构群作用结构是什么？

主要发现

• 本文提供了除与 $C_4\times C_2^4$、$C_2^6$、$C_3^4$ 或 $C_5^3$ 同态的拟群外，所有阶小于128的中心和中位拟群的同构类精确计数，完整结果列于附录中。
• 对于素数阶 $p$ 的循环群，中心拟群的同构类数量为 $p(p-1)$；对于 $C_{p^k}$，推导出闭式公式。
• 阶为121的中位拟群数量为27,796；阶为125的中位拟群数量为148,800,000（对应 $C_5^3$），但 $C_5^3$ 的确切同构类数量仍为开放问题。
• 阶为108的中心拟群计数为686,242，阶为108的中位拟群计数为20,462。
• 对于素数阶 $p$，中心拟群的同构类数量为 $p(p-1)$；对于 $C_p$，中位拟群的数量也为 $p(p-1)$，与中心拟群计数一致。
• 本文解决了阶不超过127的所有阿贝尔群上中心和中位拟群的枚举问题，仅排除四个特定同态类，并为未来OEIS条目奠定了基础。