[论文解读] Terraces for Small Groups

M. A. Ollis|arXiv (Cornell University)|Mar 4, 2016

Advanced Mathematical Theories and Applications参考文献 11被引用 3

一句话总结

该论文使用启发式和回溯算法在GAP中研究了阶数至511的小群中的阶梯形与序列化。它在阶数511以内验证了Bailey猜想（唯一缺乏阶梯形的群是非循环初等阿贝尔2-群），仅在256和384阶可能存在例外，并在阶数255以内验证了Keedwell猜想（所有阶数≥10的非交换群都是可序列化的），并对A₆、S₆以及小q值下的PSL(2,q)和PGL(2,q)等特定群族进行了额外验证。此外，该研究首次构造了非循环奇数阶群（阶21）的有向T₂-阶梯形，为阶27和阶39的非阿贝尔群构造了自指和半对半阶梯形，并对所有阶数≤15的群进行了本质上不同的阶梯形与有向阶梯形的完整计数。

ABSTRACT

We use heuristic algorithms to find terraces for small groups. We show that Bailey's Conjecture (that all groups other than the non-cyclic elementary abelian 2-groups are terraced) holds up to order 511, except possibly at orders 256 and 384. We also show that Keedwell's Conjecture (that all non-abelian groups of order at least 10 are sequenceable) holds up to order 255, and for the groups $A_6$, $S_6$, $PSL(2,q_1)$ and $PGL(2, q_2)$ where $q_1$ and $q_2$ are prime powers with $3 \leq q_1 \leq 11$ and $3 \leq q_2 \leq 8$. A sequencing for a group of a given order implies the existence of a complete latin square at that order. We show that there is a sequenceable group for each odd order up to 555 at which there is a non-abelian group. This gives 31 new orders at which complete latin squares are now known to exist, the smallest of which is 63. In addition, we consider terraces with some special properties, including constructing a directed $T_2$-terrace for the non-abelian group of order 21 and hence a Roman-2 square of order 21 (the first known such square of odd order). Finally we report the total number terraces and directed terraces for groups of order at most 15.

研究动机与目标

• 测试Bailey猜想，即仅非循环初等阿贝尔2-群缺乏阶梯形，直至群阶511。
• 在阶数255以内及特定群族中验证Keedwell猜想，即所有阶数至少为10的非交换群都是可序列化的。
• 为小阶奇数与偶数的非阿贝尔群构造特殊阶梯形，如有向T₂-阶梯形、半对半阶梯形和自指阶梯形。
• 计算所有阶数至多为15的群的本质上不同的阶梯形与有向阶梯形的总数。
• 提供计算证据与构造方法，支持在新奇数阶（包括63阶）存在完全拉丁方。

提出的方法

• 在GAP中使用启发式爬山算法搜索小群中的有向阶梯形与序列化。
• 使用回溯算法构造特殊阶梯形，如T₂-阶梯形、半对半阶梯形和自指阶梯形。
• 实现群论变换，包括左乘法，以将阶梯形归一化为基本形式，用于等价性检查。
• 通过在归一化后测试群自同构，应用“本质上不同”阶梯形的概念。
• 将结果与已知值进行验证，并更正文献中的先前错误，如t(ℤ₅)和t(ℤ₃²)。
• 在公共网站提供代码与数据，以确保可重现性并支持进一步研究。

实验结果

研究问题

• RQ1 Bailey猜想——即仅非循环初等阿贝尔2-群缺乏阶梯形——是否对所有阶数至511的群成立？
• RQ2 Keedwell猜想——即所有阶数至少为10的非交换群都是可序列化的——是否在阶数255以内及PSL(2,q)与PGL(2,q)等特定族中成立？
• RQ3 能否为非循环奇数阶群构造有向T₂-阶梯形？若能，其首个例子是什么？
• RQ4 奇数阶的非阿贝尔群是否允许自指或半对半阶梯形？此类阶梯形能否用于生成无限族？
• RQ5 所有阶数至多为15的群的本质上不同的阶梯形与有向阶梯形的确切数量是多少？

主要发现

• Bailey猜想在阶数511以内成立，仅在256和384阶可能存在例外。
• Keedwell猜想在阶数255以内及A₆、S₆、PSL(2,q₁)（3≤q₁≤11）和PGL(2,q₂)（3≤q₂≤8）中得到验证。
• 首次为非循环奇数阶群（阶21）构造了有向T₂-阶梯形，从而首次获得了奇数阶的罗马-2平面对。
• 阶27的两个非阿贝尔群均拥有自指阶梯形与有向半对半阶梯形，且G₃₉,₁拥有有向半对半阶梯形。
• 该研究报告了31个新奇数阶，其中完全拉丁方的存在性已知，最小的此类阶为63。
• 完整枚举确认了所有阶数≤15的群的本质上不同的阶梯形与有向阶梯形的数量，更正了文献中的先前错误。