[论文解读] Word maps with small image in simple groups

Matthew Levy|arXiv (Cornell University)|Jun 6, 2012

Coding theory and cryptography参考文献 2被引用 5

一句话总结

该论文在有限单群中构造了具有小像的非幂字，具体证明了对于 SL(2, 2^{2^n})（n ≥ 2），存在字使得其像恰好为单位元和一个17阶元素的单个共轭类，从而证明了非满射性。此外，该论文还构造了交替群 Alt(n) 中的字，其像为单位元和任意支持大小 ≤10 的等价类，使用换位子字并经 MAGMA 验证。

ABSTRACT

We construct non-power words which have small image in SL(2; 22n) for each n. In particular, the corresponding word maps are non-surjective. We also use this to construct word maps whose values are precisely the identity and a single equivalence class of elements of order 17. In the second part we construct words which have image consisting of the identity and a single equivalence class of elements in Alt(n) for all n for any equivalence class with support size at most 10.

研究动机与目标

• 在自由群中构造非幂字，使其在有限单群上的字映射具有小且精确结构的像。
• 证明在 SL(2, 2^{2^n})（n ≥ 2）中存在非满射字映射，其像恰好由单位元和四个17阶元素的共轭类组成。
• 将此构造扩展至交替群 Alt(n)，证明任意支持大小不超过10的等价类均可作为字映射的像（连同单位元）实现。
• 通过证明在 Alt(n) 中可实现 (2,2,2,2)-轮换类，解决 SL(4)(2) ≅ Alt(8) 的例外情况。

提出的方法

• 利用 SL(2,q) 中的迹多项式与若尔当代数分类，基于特征值与迹分析字映射的像。
• 通过形如 $[w_{C_1}, w_{C_2}]^{e_i}$ 的迭代换位子构造字，利用指数向量 $e_k$ 控制像的内容。
• 基于文献 [4] 中关于交替群与线性群中字映射的已知结果作为基础构造。
• 使用 MAGMA 计算验证所构造的字在 Alt(n) 中对支持大小 ≤10 的轮换类型可实现期望的像集。
• 应用群论技术确保像在自同构群作用下封闭，从而保证等价类结构。
• 通过对已有字进行幂次提升，从共轭类的并集中分离出单个等价类。

实验结果

研究问题

• RQ1 能否构造非幂字，使其在 SL(2, 2^{2^n}) 中的像恰好为单位元和一个17阶元素的单个等价类？
• RQ2 在支持大小 ≤10 的 Alt(n) 等价类中，哪些类存在字映射使得其像恰好为单位元和该类本身？
• RQ3 是否可能在非 PSL(2,q) 的有限单群中构造字映射，使其像为单位元与单个自同构等价类的并集？
• RQ4 在包含对换的字映射像背景下，SL(4)(2) ≅ Alt(8) 的例外情况如何解决？
• RQ5 哪些技术可实现对字映射像的精确控制，以排除不希望的共轭类，同时保留期望的共轭类？

主要发现

• 对于每个 n ≥ 2 的 SL(2, 2^{2^n})，存在一个非幂字 w，使得 w 映射到单位元和恰好四个17阶元素的共轭类。
• 这表明在 SL(2, 2^{2^n})（n ≥ 2）中存在非满射字映射，为潜在的满射性猜想提供了反例。
• 通过将构造出的字提升到适当的幂次，可将其像缩减为单位元和一个17阶元素的单个等价类。
• 对于每个交替群 Alt(n) 及任意支持大小 ≤10 的等价类 C，存在一个字 w_C，使得 Alt(n)_{w_C} = {e} ∪ C。
• 该构造利用基字（如3-轮换、5-轮换）的迭代换位子，并通过精心选择的指数来分离目标轮换类型。
• SL(4)(2) ≅ Alt(8) 的例外情况已解决，因为 (2,2,2,2)-轮换类可在 Alt(n) 中通过字映射实现，与一般结果一致。