[論文レビュー] On conjugacy classes of SL$(2,q)$

Edith Adan-Bante, John M. Harris|LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas)|Apr 2, 2009

graph theory and CDMA systems参考文献 4被引用数 3

ひとこと要約

本稿は、SL(2,q)における非中心共役類の積を調査し、qが偶数の場合、その積には少なくともq−1個の異なる共役類が含まれることを証明している。qが奇数で3より大きい場合、少なくとも(q+3)/2個の異なる共役類が含まれる。結果は鋭く、最適性を示す明示的構成が与えられており、有限単純群における共役類の積に関する以前の予想を拡張している。

ABSTRACT

Let SL(2,q) be the group of 2X2 matrices with determinant one over a finite field F of size q. We prove that if q is even, then the product of any two noncentral conjugacy classes of SL(2,q) is the union of at least q-1 distinct conjugacy classes of SL(2,q). On the other hand, if q>3 is odd, then the product of any two noncentral conjugacy classes of SL(2,q) is the union of at least (q+3)/2 distinct conjugacy classes of SL(2,q).

研究の動機と目的

• SL(2,q)における2つの非中心共役類の積に含まれる異なる共役類の最小数を特定すること。
• アラドとエルツォグの予想（有限非アーベル単純群における非自明な共役類の積は、常に単一の共役類にならない）を精緻化・拡張すること。
• 基礎となる有限体の特性に応じて、このような積のサイズに対する鋭い下界を確立すること。
• 偶数および奇数qの両方について、SL(2,q)における明示的行列構成を用いて、これらの下界の最適性を示すこと。
• 行列代表元とトレースに基づく不変量を用いて、SL(2,q)における共役類の構造を分析すること。

提案手法

• 有限体のサイズqにおける行列代表元を用いて、SL(2,q)における共役類を4つのタイプに分類する。
• トレース不変量と共役作用を用いて、共役類の積の構造を分析する。
• トレース計算（例：Trace(A^{C(i)}B) = -i² + i(v−w) + w−2）を用い、積に含まれる異なるトレースの数を特定する。
• 体の元a,cおよびe,gを用いて特定の行列C,Dを構成し、それらの共役の積が制御されたトレースを持つ行列を生成する。
• 二次非剰剰剰数および体自己同型の性質を用いて、積における異なるトレースの数が下界に達することを示す。
• 群論的補題（例：補題2.15、補題2.16）を活用し、トレース値が、偶奇に応じてサイズ(q+1)/2またはq−1の部分集合に一様に分布することを証明する。

実験結果

リサーチクエスチョン

• RQ1 qが偶数の場合、SL(2,q)における2つの非中心共役類の積に含まれる異なる共役類の最小数は何か？
• RQ2 qが奇数で3より大きいとき、この最小数は体のサイズqにどのように依存するか？
• RQ3 共役類の積のサイズに対する下界は、達成可能か？ もしそうなら、どのような条件下で達成されるか？
• RQ4 SL(2,q)において、2つの非中心共役類の積が常に単一の共役類になることはあるか？
• RQ5 有限体F_qの代数的性質（例：二次非剰剰数の存在）は、共役類の積の構造にどのように影響するか？

主な発見

• qが偶数（q=2^m）の場合、SL(2,q)における任意の2つの非中心共役類の積には、少なくともq−1個の異なる共役類が含まれる。
• qが奇数で3より大きい場合、SL(2,q)における任意の2つの非中心共役類の積には、少なくとも(q+3)/2個の異なる共役類が含まれる。
• qが偶数の場合の下界q−1は最適であり、η(A^S B^S) = q−1である明示的構成によりそれが示されている。
• qが奇数で3より大きい場合の下界(q+3)/2は最適であり、例えばパラメータが平方でないユニポテンツ行列A,Bを用いた明示的例で等号が成立する。
• q=3の場合、最小積サイズは2であり、(3+3)/2=3より小さいため、定理Bはq=3に拡張されないことが示された。
• 結果は、q≥4の場合、SL(2,q)における非中心共役類の積が常に単一の共役類にならないことを確認しており、アラド＝エルツォグの予想を支持する。