Let be a finite classical group generated by transvections, i.e., one of , , , or ( even), and let be a generating set for containing at least one transvection. Building on work of Garonzi, Halasi, and Somlai, we prove that the diameter of the Cayley graph is bounded by for some constant . This confirms Babai’s conjecture on the diameter of finite simple groups in the case of generating sets containing a transvection. By combining this with a result of the author and Jezernik it follows that if is one of , , and contains three random generators then with high probability the diameter is bounded by . This confirms Babai’s conjecture for non-orthogonal classical simple groups over small fields and three random generators.

生成讲解博客的中文版本

生成AI智能校验的中文版本