[論文レビュー] Central and medial quasigroups of small order

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

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

ひとこと要約

本稿では、$C_4\times C_2^4$、$C_2^6$、$C_3^4$、$C_5^3$ と同型でないものに限って、128未塔の位数における中心的および中点的準群の同型型による包括的列挙を提示する。同型定理と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では $C_5^3$ に対して148,800,000であるが、$C_5^3$ の同型型クラスの正確な数は未解決の問題として残されている。
• 位数108の中心的準群の数は686,242であり、位数108の中点的準群の数は20,462である。
• 素数位数 $p$ の場合、中心的準群の同型型クラスの数は $p(p-1)$ であり、$C_p$ の場合、中点的準群の数も $p(p-1)$ で、中心的準群の数と一致する。
• 本稿では、位数127未塔のすべてのアーベル群について、中心的および中点的準群の列挙を解決しており、4つの特定の同型型クラスを除いて、今後のOEIS登録の基盤を提供している。