[论文解读] 2-Coverings of classical groups

Daniela Bubboloni, Maria Silvia Lucido+1 more|arXiv (Cornell University)|Feb 3, 2011

Finite Group Theory Research参考文献 5被引用 10

一句话总结

本文研究了经典群的2-覆盖，证明当 $ n \geq 5 $ 时，群 $ SU_n(q) $（除 $ n=6 $ 外）、$ Sp_{2n}(q) $（$ q $ 为奇数），以及正交群 $ \Omega_{2n+1}(q) $、$ \Omega_{2n}^{\pm}(q) $ 均不可2-覆盖。当 $ q $ 为偶数时，$ Sp_{2n}(q) $ 的唯一2-覆盖由 $ O^{-}_{2n}(q) $ 和 $ O^{+}_{2n}(q) $ 构成，解决了关于此类覆盖结构的长期悬而未决的问题。

ABSTRACT

In this paper we show that if $n\geq 5$ and $G$ is any of the groups $SU_n(q)$ with $n eq 6,$ $Sp_{2n}(q)$ with $q$ odd, $Ω_{2n+1}(q),$ $Ω_{2n}^{\pm}(q),$ then $G$ and the simple group $\barG=G/Z(G)$ are not 2-coverable. Moreover the only 2-covering of $Sp_{2n}(q),$ with $q$ even, has components $ O^-_{2n}(q)$ and $O^{+}_{2n}(q) .$

研究动机与目标

• 确定哪些经典群允许2-覆盖，即两个真极大子群的共轭的并集能覆盖整个群。
• 解决维度 $ \geq 5 $ 的酉群、辛群和正交群的2-覆盖性问题。
• 识别当 $ q $ 为偶数时 $ Sp_{2n}(q) $ 的唯一2-覆盖，确认其由 $ O^{-}_{2n}(q) $ 和 $ O^{+}_{2n}(q) $ 构成。
• 将此前关于线性群与射影线性群2-覆盖性的结果推广至其他经典群。
• 利用Aschbacher对极大子群的分类，以及Singer循环和本原素因子的性质，分析群的覆盖结构。

提出的方法

• 应用Aschbacher对极大子群的分类，分析经典群中可能的2-覆盖。
• 利用Singer循环——在自然模上作用不可约且阶最大的元素——检验其共轭是否能覆盖群。
• 利用 $ q^t - 1 $ 和 $ q^t + 1 $ 的本原素因子分析元素阶及其在子群中的分布。
• 分析极大子群中素数阶元素的中心化子，当假设存在2-覆盖时导出矛盾。
• 利用有限单群及其自同构群的结构性质，排除2-覆盖中可能的组成部分。
• 应用关于 $ (q^a \pm 1, q^b \pm 1) $ 的数论引理，限制元素和中心化子的阶。

实验结果

研究问题

• RQ1 对于哪些维度 $ \geq 5 $ 的经典群 $ G $，存在2-覆盖，即两个真极大子群的共轭并集能覆盖 $ G $？
• RQ2 当 $ q $ 为偶数时，$ Sp_{2n}(q) $ 的唯一2-覆盖的结构是什么，为何它是唯一的？
• RQ3 为何当 $ n \geq 5 $ 时，$ SU_n(q) $（$ n \neq 6 $）、$ \Omega_{2n}^{\pm}(q) $ 和 $ Sp_{2n}(q) $（$ q $ 为奇数）不可2-覆盖？
• RQ4 Singer循环和本原素因子的性质如何限制经典群中2-覆盖的存在性？
• RQ5 能否利用极大子群中素数阶元素的中心化子阶来排除2-覆盖的存在？

主要发现

• 当 $ n \geq 5 $ 时，群 $ SU_n(q) $（$ n \neq 6 $）不可2-覆盖，其单群商群 $ \overline{G} = G/Z(G) $ 同样不可2-覆盖。
• 当 $ q $ 为奇数时，辛群 $ Sp_{2n}(q) $ 不可2-覆盖，其单群商群亦不可2-覆盖。
• 当 $ n \geq 5 $ 时，正交群 $ \Omega_{2n+1}(q) $、$ \Omega_{2n}^{+}(q) $ 和 $ \Omega_{2n}^{-}(q) $ 均不可2-覆盖，其单群商群亦不可2-覆盖。
• 当 $ q $ 为偶数时，$ Sp_{2n}(q) $ 恰好存在一个2-覆盖，其组成部分同构于 $ O^{-}_{2n}(q) $ 和 $ O^{+}_{2n}(q) $，确认了Dye的结果。
• 元素 $ u \in \Omega_{4}^{-}(q) \bot \Omega_{2(n-2)}^{+}(q) $，其阶为 $ \frac{(q^{n-2}-1)(q^2+1)}{(q^{n-2}-1,q^2+1)(2,q-1)} $，具有不可约作用类型 $ 4 \oplus (n-2) \oplus (n-2) $，无特征值，且不包含于任何2-覆盖的候选组成部分中。
• 对极大子群中中心化子的分析，特别是在涉及散在群和典型型群的情况下，当假设存在2-覆盖时，由于元素与中心化子阶不匹配而导出矛盾。