[论文解读] 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) 中两个非中心共轭类乘积中不同共轭类的最小数量。
• 改进并扩展 Arad 和 Herzog 的猜想，即有限非交换单群中非平凡共轭类的乘积永远不会是单个共轭类。
• 根据基域的特征，建立此类乘积大小的精确下界。
• 通过 SL(2,q) 中显式矩阵构造，证明这些下界的最优性，涵盖偶数和奇数 q 的情况。
• 利用矩阵表示和基于迹的不变量，分析 SL(2,q) 中共轭类的结构。

提出的方法

• 使用有限域上大小为 q 的矩阵表示，将 SL(2,q) 中的共轭类划分为四类。
• 利用迹不变量和共轭作用分析共轭类乘积的结构。
• 采用迹计算，如 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) 中两个非中心共轭类乘积中不同共轭类的最小数量是多少？
• RQ2 当 q 为奇数且大于 3 时，该最小数量如何依赖于域大小 q？
• RQ3 共轭类乘积的下界是否可以达到？若可达到，其条件是什么？
• RQ4 SL(2,q) 中两个非中心共轭类的乘积是否可能为单个共轭类？
• RQ5 有限域 F_q 的代数性质（如二次非剩余的存在性）如何影响共轭类乘积的结构？

主要发现

• 当 q=2^m 为偶数时，SL(2,q) 中任意两个非中心共轭类的乘积包含至少 q−1 个不同的共轭类。
• 当 q>3 为奇数时，SL(2,q) 中任意两个非中心共轭类的乘积包含至少 (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) 中非中心共轭类的乘积永远不会是单个共轭类，支持了 Arad-Herzog 猜想。