2018/01/30 by Tracey, Gareth M.
#FOS: Mathematics #Group Theory (math.GR)
paper · doi:10.48550/arxiv.1801.09928
A subset \x1,x2,\hdots,xd\ of a group G invariably generates G if \x1^g1,x2^g2,\hdots,xd^gd\ generates G for every d-tuple (g1,g2\hdots,gd)∈ Gd. We prove that a finite completely reducible linear group of dimension n can be invariably generated by \lfloor (3n)/(2)\rfloor elements. We also prove tighter bounds when the field in question has order 2 or 3. Finally, we prove that a transitive [respectively primitive] permutation group of degree n≥ 2 [resp. n≥ 3] can be invariably generated by O(\fracn√logn) [resp. O(\fraclogn√loglogn)] elements.