English

Invariable generation of permutation and linear groups

Group Theory 2018-01-31 v1

Abstract

A subset {x1,x2,\hdots,xd}\left\{x_{1},x_{2},\hdots,x_{d}\right\} of a group GG \emph{invariably generates} GG if {x1g1,x2g2,\hdots,xdgd}\left\{x_{1}^{g_{1}},x_{2}^{g_{2}},\hdots,x_{d}^{g_{d}}\right\} generates GG for every dd-tuple (g1,g2\hdots,gd)Gd(g_{1},g_{2}\hdots,g_{d})\in G^{d}. We prove that a finite completely reducible linear group of dimension nn can be invariably generated by 3n2\left\lfloor \frac{3n}{2}\right\rfloor elements. We also prove tighter bounds when the field in question has order 22 or 33. Finally, we prove that a transitive [respectively primitive] permutation group of degree n2n\geq 2 [resp. n3n\geq 3] can be invariably generated by O(nlogn)O\left(\frac{n}{\sqrt{\log{n}}}\right) [resp. O(lognloglogn)O\left(\frac{\log{n}}{\sqrt{\log{\log{n}}}}\right)] elements.

Keywords

Cite

@article{arxiv.1801.09928,
  title  = {Invariable generation of permutation and linear groups},
  author = {Gareth M. Tracey},
  journal= {arXiv preprint arXiv:1801.09928},
  year   = {2018}
}
R2 v1 2026-06-23T00:03:15.831Z