中文

黑箱群中长根 SL(2,q)-子群的构造

群论 2010-06-14 v1

摘要

我们提出一个单边蒙特卡洛算法,用于在 X/Op(X)X/O_p(X) 中构造一个长根 \sl2(q)\sl_2(q)-子群,其中 XX 是一个黑箱群,且 X/Op(X)X/O_p(X) 是定义在奇数阶域 q=pk>3q=p^k > 3k1k\geqslant 1)上的有限单李型群。我们的算法基于对合中心化子结构的分析,可视为 Aschbacher 经典对合定理的计算版本。我们还提出一个算法,用于判断黑箱群 XXpp-核(或“幂幺根基”)Op(X)O_p(X) 是否平凡,其中 X/Op(X)X/O_p(X) 是奇特征 pp 的有限单经典群。这回答了 Babai 和 Shalev 的一个著名问题。

关键词

引用

@article{arxiv.1001.3184,
  title  = {Construction of long root SL(2,q)-subgroups in black box groups},
  author = {Sukru Yalcinkaya},
  journal= {arXiv preprint arXiv:1001.3184},
  year   = {2010}
}

备注

37 pages, submitted to Journal of Algebra