English

On the maximal number of elements pairwise generating the symmetric group of even degree

Group Theory 2022-03-22 v5 Combinatorics

Abstract

Let GG be the symmetric group of degree nn. Let ω(G)\omega(G) be the maximal size of a subset SS of GG such that x,y=G\langle x,y \rangle = G whenever x,ySx,y \in S and xyx \neq y and let σ(G)\sigma(G) be the minimal size of a family of proper subgroups of GG whose union is GG. We prove that both functions σ(G)\sigma(G) and ω(G)\omega(G) are asymptotically equal to 12(nn/2)\frac{1}{2} \binom{n}{n/2} when nn is even. This, together with a result of S. Blackburn, implies that σ(G)/ω(G)\sigma(G)/\omega(G) tends to 11 as nn \to \infty. Moreover, we give a lower bound of (1o(1))n(1-o(1))n on ω(G)\omega(G) which is independent of the classification of finite simple groups. We also calculate, for large enough nn, the clique number of the graph defined as follows: the vertices are the elements of GG and two vertices x,yx,y are connected by an edge if x,yAn\langle x,y \rangle \geq A_n.

Keywords

Cite

@article{arxiv.2011.14426,
  title  = {On the maximal number of elements pairwise generating the symmetric group of even degree},
  author = {Francesco Fumagalli and Martino Garonzi and Attila Maróti},
  journal= {arXiv preprint arXiv:2011.14426},
  year   = {2022}
}