[论文解读] Determination of division algebras with 243 elements

I. F. Rúa, Elías F. Combarro+1 more|arXiv (Cornell University)|Oct 1, 2010

Coding theory and cryptography参考文献 13被引用 3

一句话总结

本论文通过基于矩阵的表示和先前工作的算法，完成了对具有243个元素的有限非结合除环（拟域）在同伦意义下的完整计算机辅助分类。识别出九个非同伦的拟域，其中包括两个此前未知的新拟域，并全面表征了其代数不变量，如中心、核、自同构群和基本同伦三角形中的轨道结构。

ABSTRACT

Finite nonassociative division algebras (i.e., finite semifields) with 243 elements are completely classified.

研究动机与目标

• 完成对243阶有限拟域的分类，解决在256或以下阶数的拟域平面分类程序中最后一个未解决的案例。
• 将有限拟域分类的计算方法扩展至阶数16、32、64和81之外的范围。
• 使用基于矩阵的表示和算法搜索，识别并表征所有243个元素的拟域同伦类。
• 为每个类计算关键不变量，如中心、核、自同态群阶数以及基本同伦三角形中(Lₓ, L∞, Ly)在S₃作用下的轨道结构。
• 验证并扩展已知的拟域构造，包括阿尔伯特的扭域和库尔特-马修斯型代数，并发现新的构造。

提出的方法

• 通过𝔽₃上5个可逆5×5矩阵的标准基表示每个拟域，满足特定条件：A₁为单位矩阵，所有非平凡线性组合可逆，且Aᵢ在第i个对角位置为1。
• 将每个矩阵按特定顺序的元素编码为三进制整数，以实现高效计算和存储。
• 利用先前关于64阶拟域的工作中的算法框架，系统搜索满足拟域公理的5个矩阵的合法五元组。
• 通过将A₂固定为六种规范形式（五次或分块对角多项式的友阵）实现同伦约化，避免冗余枚举。
• 计算不变量，如中心、核、同构群阶数以及基本同伦三角形（Lₓ, L∞, Ly）在S₃作用下的轨道结构。
• 使用计算工具和超算力资源验证并枚举所有同伦类，识别出两个新拟域（第VIII类和第IX类）。

实验结果

研究问题

• RQ1 243阶的非同伦拟域共有多少个，其结构不变量是什么？
• RQ2 243阶的哪些拟域是新的，它们与阿尔伯特的扭域或库尔特-马修斯代数等已知构造有何不同？
• RQ3 每个拟域类的自同构群和自同态群的阶数和结构是什么？
• RQ4 基本同伦三角形（Lₓ, L∞, Ly）的轨道结构在各同伦类之间如何变化？
• RQ5 能否使用基于矩阵的计算方法，结合高效编码与搜索，完成243阶拟域的分类？

主要发现

• 共有九个同伦类的有限拟域具有243个元素。
• 其中两个类（第VIII类和第IX类）为新类，且与任何已知的拟域均不同构。
• 这九个类包括交换域𝔽₂₄₃、阿尔伯特的扭域（第II类和第III类）以及其他已知家族，如库尔特-马修斯和丁-袁类。
• 自同态群阶数范围从4（第VIII类和第IX类）到292,820（第I类），其中第I类为域，具有最大的对称性。
• 基本同伦三角形的轨道结构各异：第I至VII类的轨道形式为2[1]+1[242]或2[1]+1[2]+24[10]，而第VIII类和第IX类的轨道形式为2[1]+121[2]，表明其同伦轨道具有更高的对称性。
• 所有拟域的中心和核大小均为3，除第I类外，其核和中心大小为243，确认其为域。