[論文レビュー] Connected Quandles with Order Equal to Twice an Odd Prime

James McCarron|arXiv (Cornell University)|Oct 8, 2012

Finite Group Theory Research参考文献 14被引用数 8

ひとこと要約

本稿は、3より大きい奇素数の2倍である順序をもつ唯一の連結 quandle は、対称群 $S_5$ の互換の共軛類であり、順序10であることを証明している。群論的解析と原始的および非原始的作用の分類を通じて、著者たちは他のすべての可能性を除外し、L. Vendraminの予想を確認した。

ABSTRACT

We show that there is an unique connected quandle of order twice an odd prime number greater than 3. It has order 10 and is isomorphic to the conjugacy class of transpositions in the symmetric group of degree 5. This establishes a conjecture of L. Vendramin.

研究の動機と目的

• 3より大きい奇素数 $p$ に対して、唯一の連結 quandle が存在するという L. Vendramin の予想を解決すること。
• $p > 3$ 素数であるときのすべての連結 quandle を、群作用からの構造的制約に注目して分類すること。
• このような quandle が、$S_5$ の互換の共軛類に同型でなければならないことを証明すること。
• 内部自己同型群の解析とその置換表現を用いて、他のすべての可能な quandle 構造を除外すること。
• 有限単純群の集合上へのサイズ $2p$ の原始的および非原始的作用の分類を完成させること。Liebeck と Saxl の結果を用いる。

提案手法

• Clauwensの定理を適用し、任意の順序 $2p$ の連結 quandle が単純であること、したがってその内部自己同型群が単純であることを示す。
• 内部自己同型群をサイズ $2p$ の共軛類上に忠実な置換表現として構成し、原始性を分析する。
• 原始的の場合、Liebeck と Saxl によるサイズ $2p$ の原始群の分類を用いて、可能な群作用を特定する。
• 非原始的の場合、代替の忠実な置換表現（サイズ $p$）を構成し、群が単純な核をもつ2重推移的群であることを示す。
• D. Holt の2重推移的群における点安定化子に関する結果を用いて、非原始的ケースを除外する。
• 単純群およびその作用のすべての可能性を体系的に分析し、古典的群、例外的群、および散乱群を含む。

実験結果

リサーチクエスチョン

• RQ1 任意の奇素数 $p > 3$ に対して、順序 $2p$ の連結 quandle が一意に存在するか？
• RQ2 内部自己同型群が生成する、サイズ $2p$ の集合上での原始的および非原始的群作用の可能性は何か？
• RQ3 $S_5$ の互換の共軛類は、順序10の唯一の連結 quandle であるか？
• RQ4 なぜ $14, 22, 26, 34$（すべて $p > 5$ の $2p$）には連結 quandle が存在しないのか、一方 $10 = 2 \cdot 5$ には存在するのか？
• RQ5 連結 quandle の内部自己同型群にどのような構造的制約が課されると、$S_5$ の互換への作用に同型であることが強制されるのか？

主な発見

• 3より大きい素数 $p$ に対して、順序 $2p$ の唯一の連結 quandle は順序10であり、$S_5$ の互換の共軛類に同型である。
• 他のすべての可能性のある $p > 5$ の $2p$ の順序に対しては、連結 quandle が存在しないことが確認され、以前の計算で観察されたパターンを裏付けた。
• 唯一のこのような quandle の内部自己同型群は $S_5$ に同型であり、互換の集合上で共役作用を表す。
• 非原始的ケースは、内部自己同型群が単純な核をもつ2重推移的群で、その核内に指数 $p$ の部分群を持つ必要があるが、これは既知の点安定化子に関する結果と矛盾するため、除外された。
• Liebeck と Saxl の結果によるサイズ $2p$ の原始群の分類により、唯一の妥当な群作用は、$S_5$ が10個の互換に作用するものに限られる。
• すべての例外的群および散乱群のサイズ $2p$ 上の作用は除外され、唯一残る候補は $n=22$ の場合の Mathieu 群 $M_{22}$ であったが、$p=11$ が必要な可除性条件を満たさないため失敗した。