[论文解读] The Congruence Subgroup Property does not imply Invariable Generation

Tsachik Gelander, Chen Meiri|arXiv (Cornell University)|May 26, 2015

semigroups and automata theory参考文献 5被引用 4

一句话总结

本文反驳了[KLS14]中提出的猜想，即同余子群性质蕴含不变生成性。通过在某些算术群中构造反例，作者证明同余子群性质并不蕴含不变生成性，从而否定了该等价性猜想。

ABSTRACT

It was suggested in [KLS14] that for arithmetic groups, the Congruence Subgroup Property is equivalent to Invariable Generation. In this paper we dismiss this conjecture by proving that certain arithmetic groups which possess the first property do not posses the later one.

研究动机与目标

• 研究算术群中同余子群性质与不变生成性之间的关系。
• 检验[KLS14]中提出的关于这两个群论性质等价性的猜想的有效性。
• 确定具有同余子群性质的算术群是否必然满足不变生成性。

提出的方法

• 作者分析了已知满足同余子群性质的特定算术群类。
• 他们研究这些群的结构，以评估其是否能由在任何群自同构下仍为生成元的元素生成。
• 利用群论技术，他们识别出尽管存在同余子群性质，但不变生成性仍会失败的情况。
• 该论证依赖于算术群的结构特性及其自同构不变生成集的性质。

实验结果

研究问题

• RQ1 同余子群性质是否蕴含算术群中的不变生成性？
• RQ2 是否存在满足同余子群性质但无法实现不变生成的算术群？
• RQ3 [KLS14]中提出的这两个性质等价的猜想是否实际上成立？

主要发现

• 本文构造了显式例子，展示了某些算术群虽具有同余子群性质，但并非不变生成。
• 这些例子表明同余子群性质并不蕴含不变生成性。
• 不变生成性的失败源于生成集的自同构轨道中的结构性限制。
• 通过提供所提议等价性的反例，本文否定了[KLS14]中的猜想。