The Waring problem for finite simple groups

Abstract

The classical Waring problem deals with expressing every natural number as a sum of $g(k)$ $k$-th powers. Recently there has been considerable interest in similar questions for non-abelian groups, and simple groups in particular. Here the $k$-th power word can be replaced by an arbitrary group word $w \ne 1$, and the goal is to express group elements as short products of values of $w$.
We give a best possible and somewhat surprising solution for this Waring type problem for (non-abelian) finite simple groups of sufficiently high order, showing that a product of length two suffices to express all elements.
Along the way we also obtain new results, possibly of independent interest, on character values in classical groups over finite fields, on regular semisimple elements lying in the image of word maps, and on products of conjugacy classes.
Our methods involve algebraic geometry and representation theory, especially Lusztig’s theory of representations of groups of Lie type.

  • [As] Go to document T. Asai, "Unipotent characters of ${ SO}^{\pm }_{2n},$ ${ Sp}_{2n}$ and ${ SO}_{2n+1}$ over $F_{q}$ with small $q$," Osaka J. Math., vol. 20, iss. 3, pp. 631-643, 1983.
    @article {As, MRKEY = {0718968},
      AUTHOR = {Asai, Teruaki},
      TITLE = {Unipotent characters of {${\rm SO}\sp{\pm }\sb{2n},
     $} {${\rm Sp}\sb{2n}$} and {${\rm SO}\sb{2n+1}$} over {$F\sb{q}$} with small {$q$}},
      JOURNAL = {Osaka J. Math.},
      FJOURNAL = {Osaka Journal of Mathematics},
      VOLUME = {20},
      YEAR = {1983},
      NUMBER = {3},
      PAGES = {631--643},
      ISSN = {0030-6126},
      CODEN = {OJMAA7},
      MRCLASS = {20G05},
      MRNUMBER = {0718968},
      MRREVIEWER = {S. V. Nagorny{\u\i}},
      URL = {http://projecteuclid.org/euclid.ojm/1200776326},
      ZBLNUMBER = {0516.20028},
      }
  • [Bo] A. Borel, "On free subgroups of semisimple groups," Enseign. Math., vol. 29, iss. 1-2, pp. 151-164, 1983.
    @article {Bo, MRKEY = {0702738},
      AUTHOR = {Borel, A.},
      TITLE = {On free subgroups of semisimple groups},
      JOURNAL = {Enseign. Math.},
      FJOURNAL = {L'Enseignement Mathématique. Revue Internationale. IIe Série},
      VOLUME = {29},
      YEAR = {1983},
      NUMBER = {1-2},
      PAGES = {151--164},
      ISSN = {0013-8584},
      CODEN = {ENMAAR},
      MRCLASS = {22E15 (20G15)},
      MRNUMBER = {0702738},
      MRREVIEWER = {James E. Humphreys},
      ZBLNUMBER={0533.22009},
      }
  • [Bo2] A. Borel, R. Carter, C. W. Curtis, N. Iwahori, T. A. Springer, and R. Steinberg, Seminar on Algebraic Groups and Related Finite Groups, New York: Springer-Verlag, 1970, vol. 131.
    @book{Bo2,
      author={Borel, A. and Carter, R. and Curtis, C. W. and Iwahori, N. and Springer, T. A. and Steinberg, R.},
      TITLE={Seminar on Algebraic Groups and Related Finite Groups},
      SERIES={Lecture Notes in Math.},
      VOLUME={131},
      PUBLISHER={Springer-Verlag},
      ADDRESS={New York},
      YEAR={1970},
     }
  • [Ca-Cent] Go to document R. W. Carter, "Centralizers of semisimple elements in the finite classical groups," Proc. London Math. Soc., vol. 42, iss. 1, pp. 1-41, 1981.
    @article {Ca-Cent, MRKEY = {0602121},
      AUTHOR = {Carter, R. W.},
      TITLE = {Centralizers of semisimple elements in the finite classical groups},
      JOURNAL = {Proc. London Math. Soc.},
      FJOURNAL = {Proceedings of the London Mathematical Society. Third Series},
      VOLUME = {42},
      YEAR = {1981},
      NUMBER = {1},
      PAGES = {1--41},
      ISSN = {0024-6115},
      CODEN = {PLMTAL},
      MRCLASS = {20D06 (20G40)},
      MRNUMBER = {0602121},
      MRREVIEWER = {Bhama Srinivasan},
      DOI = {10.1112/plms/s3-42.1.1},
      ZBLNUMBER = {0455.20035},
      }
  • [Carter-CC] R. W. Carter, Finite Groups of Lie Type, Chichester: John Wiley & Sons Ltd., 1993.
    @book {Carter-CC, MRKEY = {1266626},
      AUTHOR = {Carter, Roger W.},
      TITLE = {Finite Groups of {L}ie Type},
      SERIES = {Wiley Classics Library},
      PUBLISHER = {John Wiley \& Sons Ltd.},
      ADDRESS = {Chichester},
      YEAR = {1993},
      PAGES = {xii+544},
      ISBN = {0-471-94109-3},
      MRCLASS = {20C33 (20-02 20G40)},
      MRNUMBER = {1266626},
      ZBLNUMBER = {0900.20021},
      }
  • [Ca] R. W. Carter, "On the representation theory of the finite groups of Lie type over an algebraically closed field of characteristic 0 [MR1170353 (93j:20034)]," in Algebra, IX, New York: Springer-Verlag, 1995, vol. 77, pp. 1-120, 235.
    @incollection {Ca, MRKEY = {1392478},
      AUTHOR = {Carter, Roger W.},
      TITLE = {On the representation theory of the finite groups of {L}ie type over an algebraically closed field of characteristic 0 [{MR}1170353 (93j:20034)]},
      BOOKTITLE = {Algebra, {\rm IX}},
      SERIES = {Encyclopaedia Math. Sci.},
      VOLUME = {77},
      PAGES = {1--120, 235--239},
      PUBLISHER = {Springer-Verlag},
      ADDRESS = {New York},
      YEAR = {1995},
      MRCLASS = {20C33 (20-02 20G05)},
      MRNUMBER = {1392478},
      ZBLNUMBER={0832.20020},
      }
  • [Atlas] J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker, and R. A. Wilson, Atlas of Finite Groups. Maximal Subgroups and Ordinary Characters for Simple Groups, Eynsham: Oxford University Press, 1985.
    @book {Atlas, MRKEY = {0827219},
      AUTHOR = {Conway, J. H. and Curtis, R. T. and Norton, S. P. and Parker, R. A. and Wilson, R. A.},
      TITLE = {Atlas of Finite Groups. Maximal Subgroups and Ordinary Characters for Simple Groups},
      PUBLISHER = {Oxford University Press},
      ADDRESS = {Eynsham},
      YEAR = {1985},
      PAGES = {xxxiv+252},
      ISBN = {0-19-853199-0},
      MRCLASS = {20D05 (20-02)},
      MRNUMBER = {0827219},
      MRREVIEWER = {R. L. Griess},
      ZBLNUMBER = {0568.20001},
      }
  • [SGA4.5] P. Deligne, Cohomologie Étale, New York: Springer-Verlag, 1977, vol. 569.
    @book {SGA4.5, MRKEY = {0463174},
      AUTHOR = {Deligne, Pierre},
      TITLE = {Cohomologie Étale},
      SERIES = {Lecture Notes in Math.},
      VOLUME={569},
      NOTE = {S{é}minaire de G{é}om{é}trie Alg{é}brique du Bois-Marie SGA $\frac{4}{2}$},
      PUBLISHER = {Springer-Verlag},
      ADDRESS = {New York},
      YEAR = {1977},
      PAGES = {iv+312pp},
      MRCLASS = {14F20},
      MRNUMBER = {0463174},
      MRREVIEWER = {J. S. Milne},
      ZBLNUMBER = {0345.00010},
      }
  • [De] Go to document P. Deligne, "La conjecture de Weil. II," Inst. Hautes Études Sci. Publ. Math., iss. 52, pp. 137-252, 1980.
    @article {De, MRKEY = {0601520},
      AUTHOR = {Deligne, Pierre},
      TITLE = {La conjecture de {W}eil. {II}},
      JOURNAL = {Inst. Hautes Études Sci. Publ. Math.},
      FJOURNAL = {Institut des Hautes Études Scientifiques. Publications Mathématiques},
      NUMBER = {52},
      YEAR = {1980},
      PAGES = {137--252},
      ISSN = {0073-8301},
      CODEN = {PMIHA6},
      MRCLASS = {14G13 (10H10)},
      MRNUMBER = {0601520},
      MRREVIEWER = {Spencer J. Bloch},
      URL = {http://www.numdam.org/item?id=PMIHES_1980__52__137_0},
      ZBLNUMBER = {0456.14014},
      }
  • [DL] Go to document P. Deligne and G. Lusztig, "Representations of reductive groups over finite fields," Ann. of Math., vol. 103, iss. 1, pp. 103-161, 1976.
    @article {DL, MRKEY = {0393266},
      AUTHOR = {Deligne, Pierre and Lusztig, G.},
      TITLE = {Representations of reductive groups over finite fields},
      JOURNAL = {Ann. of Math.},
      FJOURNAL = {Annals of Mathematics. Second Series},
      VOLUME = {103},
      YEAR = {1976},
      NUMBER = {1},
      PAGES = {103--161},
      ISSN = {0003-486X},
      MRCLASS = {20G05 (14M15)},
      MRNUMBER = {0393266},
      MRREVIEWER = {S. I. Gelfand},
      DOI = {10.2307/1971021},
      ZBLNUMBER = {0336.20029},
      }
  • [EG] Go to document E. W. Ellers and N. Gordeev, "On the conjectures of J. Thompson and O. Ore," Trans. Amer. Math. Soc., vol. 350, iss. 9, pp. 3657-3671, 1998.
    @article {EG, MRKEY = {1422600},
      AUTHOR = {Ellers, Erich W. and Gordeev, Nikolai},
      TITLE = {On the conjectures of {J}. {T}hompson and {O}. {O}re},
      JOURNAL = {Trans. Amer. Math. Soc.},
      FJOURNAL = {Transactions of the American Mathematical Society},
      VOLUME = {350},
      YEAR = {1998},
      NUMBER = {9},
      PAGES = {3657--3671},
      ISSN = {0002-9947},
      CODEN = {TAMTAM},
      MRCLASS = {20D06 (20F12)},
      MRNUMBER = {1422600},
      MRREVIEWER = {R. W. Carter},
      DOI = {10.1090/S0002-9947-98-01953-9},
      ZBLNUMBER = {0910.20007},
      }
  • [En] Go to document H. Enomoto, "The characters of the finite symplectic group ${ Sp}(4,\,q)$, $q=2^{f}$," Osaka J. Math., vol. 9, pp. 75-94, 1972.
    @article {En, MRKEY = {0302750},
      AUTHOR = {Enomoto, Hikoe},
      TITLE = {The characters of the finite symplectic group {${\rm Sp}(4,\,q)$},
      {$q=2\sp{f}$}},
      JOURNAL = {Osaka J. Math.},
      FJOURNAL = {Osaka Journal of Mathematics},
      VOLUME = {9},
      YEAR = {1972},
      PAGES = {75--94},
      ISSN = {0030-6126},
      MRCLASS = {20C15},
      MRNUMBER = {0302750},
      MRREVIEWER = {J. L. Alperin},
      URL = {http://projecteuclid.org/euclid.ojm/1200693539},
      ZBLNUMBER = {0254.20005},
      }
  • [GSh] Go to document S. Garion and A. Shalev, "Commutator maps, measure preservation, and $T$-systems," Trans. Amer. Math. Soc., vol. 361, iss. 9, pp. 4631-4651, 2009.
    @article {GSh, MRKEY = {2506422},
      AUTHOR = {Garion, Shelly and Shalev, Aner},
      TITLE = {Commutator maps, measure preservation, and {$T$}-systems},
      JOURNAL = {Trans. Amer. Math. Soc.},
      FJOURNAL = {Transactions of the American Mathematical Society},
      VOLUME = {361},
      YEAR = {2009},
      NUMBER = {9},
      PAGES = {4631--4651},
      ISSN = {0002-9947},
      CODEN = {TAMTAM},
      MRCLASS = {20D06 (20D60 20P05)},
      MRNUMBER = {2506422},
      MRREVIEWER = {Paz Jim{é}nez-Seral},
      DOI = {10.1090/S0002-9947-09-04575-9},
      ZBLNUMBER = {1182.20015},
      }
  • [q-Gluck] Go to document D. Gluck, "Character value estimates for non-semisimple elements," J. Algebra, vol. 155, iss. 1, pp. 221-237, 1993.
    @article {q-Gluck, MRKEY = {1206632},
      AUTHOR = {Gluck, David},
      TITLE = {Character value estimates for non-semisimple elements},
      JOURNAL = {J. Algebra},
      FJOURNAL = {Journal of Algebra},
      VOLUME = {155},
      YEAR = {1993},
      NUMBER = {1},
      PAGES = {221--237},
      ISSN = {0021-8693},
      CODEN = {JALGA4},
      MRCLASS = {20C33 (20G05 20G40)},
      MRNUMBER = {1206632},
      MRREVIEWER = {J. Matthew Douglass},
      DOI = {10.1006/jabr.1993.1041},
      ZBLNUMBER={0771.20009},
      }
  • [Gluck] Go to document D. Gluck, "Sharper character value estimates for groups of Lie type," J. Algebra, vol. 174, iss. 1, pp. 229-266, 1995.
    @article {Gluck, MRKEY = {1332870},
      AUTHOR = {Gluck, David},
      TITLE = {Sharper character value estimates for groups of {L}ie type},
      JOURNAL = {J. Algebra},
      FJOURNAL = {Journal of Algebra},
      VOLUME = {174},
      YEAR = {1995},
      NUMBER = {1},
      PAGES = {229--266},
      ISSN = {0021-8693},
      CODEN = {JALGA4},
      MRCLASS = {20C33 (20C15)},
      MRNUMBER = {1332870},
      MRREVIEWER = {R. W. Carter},
      DOI = {10.1006/jabr.1995.1127},
      ZBLNUMBER = {0842.20014},
      }
  • [EGA4-1] A. Grothendieck, "Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. I," Inst. Hautes Études Sci. Publ. Math., iss. 20, p. 259, 1964.
    @article {EGA4-1, MRKEY = {0173675},
      AUTHOR = {Grothendieck, A.},
      TITLE = {\'{E}léments de géométrie algébrique. {IV}. \'{E}tude locale des schémas et des morphismes de schémas. {I}},
      JOURNAL = {Inst. Hautes Études Sci. Publ. Math.},
      FJOURNAL = {Institut des Hautes Études Scientifiques. Publications Mathématiques},
      NUMBER = {20},
      YEAR = {1964},
      PAGES = {259},
      ISSN = {0073-8301},
      MRCLASS = {14.05 (13.10)},
      MRNUMBER = {0173675},
      MRREVIEWER = {H. Hironaka},
      ZBLNUMBER={0136.15901},
      }
  • [EGA4-2] A. Grothendieck, "Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. II," Inst. Hautes Études Sci. Publ. Math., iss. 24, p. 231, 1965.
    @article {EGA4-2, MRKEY = {0199181},
      AUTHOR = {Grothendieck, A.},
      TITLE = {\'{E}léments de géométrie algébrique. {IV}. \'{E}tude locale des schémas et des morphismes de schémas. {II}},
      JOURNAL = {Inst. Hautes Études Sci. Publ. Math.},
      FJOURNAL = {Institut des Hautes Études Scientifiques. Publications Mathématiques},
      NUMBER = {24},
      YEAR = {1965},
      PAGES = {231},
      ISSN = {0073-8301},
      MRCLASS = {14.00},
      MRNUMBER = {0199181},
      MRREVIEWER = {H. Hironaka},
      ZBLNUMBER={0135.39701},
      }
  • [EGA4-3] A. Grothendieck, "Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. III," Inst. Hautes Études Sci. Publ. Math., iss. 28, p. 255, 1966.
    @article {EGA4-3, MRKEY = {0217086},
      AUTHOR = {Grothendieck, A.},
      TITLE = {\'{E}léments de géométrie algébrique. {IV}. \'{E}tude locale des schémas et des morphismes de schémas. {III}},
      JOURNAL = {Inst. Hautes Études Sci. Publ. Math.},
      FJOURNAL = {Institut des Hautes Études Scientifiques. Publications Mathématiques},
      NUMBER = {28},
      YEAR = {1966},
      PAGES = {255},
      ISSN = {0073-8301},
      MRCLASS = {14.55},
      MRNUMBER = {0217086},
      MRREVIEWER = {J. P. Murre},
      ZBLNUMBER={0144.19904},
      }
  • [GT] Go to document R. M. Guralnick and P. H. Tiep, "Cross characteristic representations of even characteristic symplectic groups," Trans. Amer. Math. Soc., vol. 356, iss. 12, pp. 4969-5023, 2004.
    @article {GT, MRKEY = {2084408},
      AUTHOR = {Guralnick, Robert M. and Tiep, Pham Huu},
      TITLE = {Cross characteristic representations of even characteristic symplectic groups},
      JOURNAL = {Trans. Amer. Math. Soc.},
      FJOURNAL = {Transactions of the American Mathematical Society},
      VOLUME = {356},
      YEAR = {2004},
      NUMBER = {12},
      PAGES = {4969--5023},
      ISSN = {0002-9947},
      CODEN = {TAMTAM},
      MRCLASS = {20C33 (20G05 20G40)},
      MRNUMBER = {2084408},
      MRREVIEWER = {Cornelius Pillen},
      DOI = {10.1090/S0002-9947-04-03477-4},
      ZBLNUMBER = {1062.20013},
      }
  • [Ja] G. D. James, The Representation Theory of the Symmetric Groups, New York: Springer-Verlag, 1978, vol. 682.
    @book {Ja, MRKEY = {0513828},
      AUTHOR = {James, G. D.},
      TITLE = {The Representation Theory of the Symmetric Groups},
      SERIES = {Lecture Notes in Math.},
      VOLUME = {682},
      PUBLISHER = {Springer-Verlag},
      ADDRESS = {New York},
      YEAR = {1978},
      PAGES = {v+156},
      ISBN = {3-540-08948-9},
      MRCLASS = {20C30 (20-02)},
      MRNUMBER = {0513828},
      MRREVIEWER = {Dragomir {Ž}. {\Dbar}okovi{ć}},
      ZBLNUMBER = {0393.20009},
      }
  • [KL] Go to document P. Kleidman and M. Liebeck, The Subgroup Structure of the Finite Classical Groups, Cambridge: Cambridge Univ. Press, 1990, vol. 129.
    @book {KL, MRKEY = {1057341},
      AUTHOR = {Kleidman, Peter and Liebeck, Martin},
      TITLE = {The Subgroup Structure of the Finite Classical Groups},
      SERIES = {London Math. Soc. Lecture Note Ser.},
      VOLUME = {129},
      PUBLISHER = {Cambridge Univ. Press},
      ADDRESS = {Cambridge},
      YEAR = {1990},
      PAGES = {x+303},
      ISBN = {0-521-35949-X},
      MRCLASS = {20-02 (20D06 20G40)},
      MRNUMBER = {1057341},
      MRREVIEWER = {R. W. Carter},
      DOI = {10.1017/CBO9780511629235},
      ZBLNUMBER = {0697.20004},
      }
  • [LSe] Go to document V. Landazuri and G. M. Seitz, "On the minimal degrees of projective representations of the finite Chevalley groups," J. Algebra, vol. 32, pp. 418-443, 1974.
    @article {LSe, MRKEY = {0360852},
      AUTHOR = {Landazuri, Vicente and Seitz, Gary M.},
      TITLE = {On the minimal degrees of projective representations of the finite {C}hevalley groups},
      JOURNAL = {J. Algebra},
      FJOURNAL = {Journal of Algebra},
      VOLUME = {32},
      YEAR = {1974},
      PAGES = {418--443},
      ISSN = {0021-8693},
      MRCLASS = {20G05},
      MRNUMBER = {0360852},
      MRREVIEWER = {Larry C. Grove},
      DOI = {10.1016/0021-8693(74)90150-1},
      ZBLNUMBER = {0325.20008},
      }
  • [LSh] Go to document M. Larsen and A. Shalev, "Word maps and Waring type problems," J. Amer. Math. Soc., vol. 22, iss. 2, pp. 437-466, 2009.
    @article {LSh, MRKEY = {2476780},
      AUTHOR = {Larsen, Michael and Shalev, Aner},
      TITLE = {Word maps and {W}aring type problems},
      JOURNAL = {J. Amer. Math. Soc.},
      FJOURNAL = {Journal of the American Mathematical Society},
      VOLUME = {22},
      YEAR = {2009},
      NUMBER = {2},
      PAGES = {437--466},
      ISSN = {0894-0347},
      MRCLASS = {20D06 (14G15 20G40 20P05)},
      MRNUMBER = {2476780},
      MRREVIEWER = {Martin W. Liebeck},
      DOI = {10.1090/S0894-0347-08-00615-2},
      ZBLNUMBER = {1206.20014},
      }
  • [LSh2] Go to document M. Larsen and A. Shalev, "Characters of symmetric groups: sharp bounds and applications," Invent. Math., vol. 174, iss. 3, pp. 645-687, 2008.
    @article {LSh2, MRKEY = {2453603},
      AUTHOR = {Larsen, Michael and Shalev, Aner},
      TITLE = {Characters of symmetric groups: sharp bounds and applications},
      JOURNAL = {Invent. Math.},
      FJOURNAL = {Inventiones Mathematicae},
      VOLUME = {174},
      YEAR = {2008},
      NUMBER = {3},
      PAGES = {645--687},
      ISSN = {0020-9910},
      CODEN = {INVMBH},
      MRCLASS = {20C30 (20E45 20P05 60B15)},
      MRNUMBER = {2453603},
      MRREVIEWER = {Jonathan Kujawa},
      DOI = {10.1007/s00222-008-0145-7},
      ZBLNUMBER = {1166.20009},
      }
  • [LBST] Go to document M. W. Liebeck, E. A. O’Brien, A. Shalev, and P. H. Tiep, "The Ore conjecture," J. Eur. Math. Soc. $($JEMS$)$, vol. 12, iss. 4, pp. 939-1008, 2010.
    @article {LBST, MRKEY = {2654085},
      AUTHOR = {Liebeck, Martin W. and O'Brien, E. A. and Shalev, Aner and Tiep, Pham Huu},
      TITLE = {The {O}re conjecture},
      JOURNAL = {J. Eur. Math. Soc. $($JEMS$)$},
      FJOURNAL = {Journal of the European Mathematical Society (JEMS)},
      VOLUME = {12},
      YEAR = {2010},
      NUMBER = {4},
      PAGES = {939--1008},
      ISSN = {1435-9855},
      MRCLASS = {20D05 (20C15 20D06)},
      MRNUMBER = {2654085},
      MRREVIEWER = {Ronald Solomon},
      DOI = {10.4171/JEMS/220},
      ZBLNUMBER = {1205.20011},
      }
  • [LS] M. W. Liebeck and G. M. Seitz, Unipotent and nilpotent classes in simple algebraic groups and Lie algebras.
    @misc{LS,
      author = {Liebeck, Martin W. and Seitz, G. M.},
      TITLE={Unipotent and nilpotent classes in simple algebraic groups and {L}ie algebras},
      NOTE={preprint},
      }
  • [LiSh0] Go to document M. W. Liebeck and A. Shalev, "Simple groups, permutation groups, and probability," J. Amer. Math. Soc., vol. 12, iss. 2, pp. 497-520, 1999.
    @article {LiSh0, MRKEY = {1639620},
      AUTHOR = {Liebeck, Martin W. and Shalev, Aner},
      TITLE = {Simple groups, permutation groups, and probability},
      JOURNAL = {J. Amer. Math. Soc.},
      FJOURNAL = {Journal of the American Mathematical Society},
      VOLUME = {12},
      YEAR = {1999},
      NUMBER = {2},
      PAGES = {497--520},
      ISSN = {0894-0347},
      MRCLASS = {20B15 (14H30 20D06 20G40 20P05)},
      MRNUMBER = {1639620},
      MRREVIEWER = {Robert M. Guralnick},
      DOI = {10.1090/S0894-0347-99-00288-X},
      ZBLNUMBER = {0916.20003},
      }
  • [LiSh] Go to document M. W. Liebeck and A. Shalev, "Diameters of finite simple groups: sharp bounds and applications," Ann. of Math., vol. 154, iss. 2, pp. 383-406, 2001.
    @article {LiSh, MRKEY = {1865975},
      AUTHOR = {Liebeck, Martin W. and Shalev, Aner},
      TITLE = {Diameters of finite simple groups: sharp bounds and applications},
      JOURNAL = {Ann. of Math.},
      FJOURNAL = {Annals of Mathematics. Second Series},
      VOLUME = {154},
      YEAR = {2001},
      NUMBER = {2},
      PAGES = {383--406},
      ISSN = {0003-486X},
      CODEN = {ANMAAH},
      MRCLASS = {20D06 (20E32 20P05)},
      MRNUMBER = {1865975},
      MRREVIEWER = {Robert M. Guralnick},
      DOI = {10.2307/3062101},
      ZBLNUMBER = {1003.20014},
      }
  • [LM] Go to document F. Lübeck and G. Malle, "$(2,3)$-generation of exceptional groups," J. London Math. Soc., vol. 59, iss. 1, pp. 109-122, 1999.
    @article {LM, MRKEY = {1688493},
      AUTHOR = {L{ü}beck, Frank and Malle, Gunter},
      TITLE = {{$(2,3)$}-generation of exceptional groups},
      JOURNAL = {J. London Math. Soc.},
      FJOURNAL = {Journal of the London Mathematical Society. Second Series},
      VOLUME = {59},
      YEAR = {1999},
      NUMBER = {1},
      PAGES = {109--122},
      ISSN = {0024-6107},
      CODEN = {JLMSAK},
      MRCLASS = {20D06 (12F12 20C33)},
      MRNUMBER = {1688493},
      MRREVIEWER = {R. W. Carter},
      DOI = {10.1112/S002461079800670X},
      ZBLNUMBER={0935.20021},
      }
  • [Lusztig-Classical] Go to document G. Lusztig, "Irreducible representations of finite classical groups," Invent. Math., vol. 43, iss. 2, pp. 125-175, 1977.
    @article {Lusztig-Classical, MRKEY = {0463275},
      AUTHOR = {Lusztig, George},
      TITLE = {Irreducible representations of finite classical groups},
      JOURNAL = {Invent. Math.},
      FJOURNAL = {Inventiones Mathematicae},
      VOLUME = {43},
      YEAR = {1977},
      NUMBER = {2},
      PAGES = {125--175},
      ISSN = {0020-9910},
      MRCLASS = {20C15},
      MRNUMBER = {0463275},
      MRREVIEWER = {J. E. Humphreys},
      DOI = {10.1007/BF01390002},
      ZBLNUMBER = {0372.20033},
      }
  • [Odd-O] Go to document G. Lusztig, "Unipotent characters of the symplectic and odd orthogonal groups over a finite field," Invent. Math., vol. 64, iss. 2, pp. 263-296, 1981.
    @article {Odd-O, MRKEY = {0629472},
      AUTHOR = {Lusztig, George},
      TITLE = {Unipotent characters of the symplectic and odd orthogonal groups over a finite field},
      JOURNAL = {Invent. Math.},
      FJOURNAL = {Inventiones Mathematicae},
      VOLUME = {64},
      YEAR = {1981},
      NUMBER = {2},
      PAGES = {263--296},
      ISSN = {0020-9910},
      CODEN = {INVMBH},
      MRCLASS = {20C15 (20G05)},
      MRNUMBER = {0629472},
      MRREVIEWER = {Bhama Srinivasan},
      DOI = {10.1007/BF01389170},
      ZBLNUMBER = {0477.20023},
      }
  • [Lu3] Go to document G. Lusztig, "Unipotent characters of the even orthogonal groups over a finite field," Trans. Amer. Math. Soc., vol. 272, iss. 2, pp. 733-751, 1982.
    @article {Lu3, MRKEY = {0662064},
      AUTHOR = {Lusztig, George},
      TITLE = {Unipotent characters of the even orthogonal groups over a finite field},
      JOURNAL = {Trans. Amer. Math. Soc.},
      FJOURNAL = {Transactions of the American Mathematical Society},
      VOLUME = {272},
      YEAR = {1982},
      NUMBER = {2},
      PAGES = {733--751},
      ISSN = {0002-9947},
      CODEN = {TAMTAM},
      MRCLASS = {20G05 (20C15)},
      MRNUMBER = {0662064},
      MRREVIEWER = {Bhama Srinivasan},
      DOI = {10.2307/1998725},
      ZBLNUMBER = {0491.20034},
      }
  • [Book] G. Lusztig, Characters of Reductive Groups over a Finite Field, Princeton, NJ: Princeton Univ. Press, 1984, vol. 107.
    @book {Book, MRKEY = {0742472},
      AUTHOR = {Lusztig, George},
      TITLE = {Characters of Reductive Groups over a Finite Field},
      SERIES = {Ann. of Math. Stud.},
      VOLUME = {107},
      PUBLISHER = {Princeton Univ. Press},
      ADDRESS = {Princeton, NJ},
      YEAR = {1984},
      PAGES = {xxi+384},
      ISBN = {0-691-08350-9; 0-691-08351-7},
      MRCLASS = {20G05 (14L20 20C15)},
      MRNUMBER = {0742472},
      MRREVIEWER = {Bhama Srinivasan},
      ZBLNUMBER = {0556.20033},
      }
  • [MM] G. Malle and H. B. Matzat, Inverse Galois Theory, New York: Springer-Verlag, 1999.
    @book {MM, MRKEY = {1711577},
      AUTHOR = {Malle, Gunter and Matzat, B. Heinrich},
      TITLE = {Inverse {G}alois Theory},
      SERIES = {Springer Monogr. Math.},
      PUBLISHER = {Springer-Verlag},
      ADDRESS = {New York},
      YEAR = {1999},
      PAGES = {xvi+436},
      ISBN = {3-540-62890-8},
      MRCLASS = {12F12 (11R32 12F10 14G32 20C33 20F36 20G40)},
      MRNUMBER = {1711577},
      MRREVIEWER = {Helmut V{ö}lklein},
      ZBLNUMBER = {0940.12001},
      }
  • [MSW] Go to document G. Malle, J. Saxl, and T. Weigel, "Generation of classical groups," Geom. Dedicata, vol. 49, iss. 1, pp. 85-116, 1994.
    @article {MSW, MRKEY = {1261575},
      AUTHOR = {Malle, Gunter and Saxl, Jan and Weigel, Thomas},
      TITLE = {Generation of classical groups},
      JOURNAL = {Geom. Dedicata},
      FJOURNAL = {Geometriae Dedicata},
      VOLUME = {49},
      YEAR = {1994},
      NUMBER = {1},
      PAGES = {85--116},
      ISSN = {0046-5755},
      CODEN = {GEMDAT},
      MRCLASS = {20G40 (20D05 20F05)},
      MRNUMBER = {1261575},
      MRREVIEWER = {A. A. Makhnev},
      DOI = {10.1007/BF01263536},
      ZBLNUMBER = {0832.20029},
      }
  • [MZ] Go to document C. Martinez and E. Zelmanov, "Products of powers in finite simple groups," Israel J. Math., vol. 96, iss. part B, pp. 469-479, 1996.
    @article {MZ, MRKEY = {1433702},
      AUTHOR = {Martinez, C. and Zelmanov, E.},
      TITLE = {Products of powers in finite simple groups},
      JOURNAL = {Israel J. Math.},
      FJOURNAL = {Israel Journal of Mathematics},
      VOLUME = {96},
      YEAR = {1996},
      NUMBER = {part B},
      PAGES = {469--479},
      ISSN = {0021-2172},
      CODEN = {ISJMAP},
      MRCLASS = {20E32},
      MRNUMBER = {1433702},
      MRREVIEWER = {A. S. Kondrat{\cprime}ev},
      DOI = {10.1007/BF02937318},
      ZBLNUMBER = {0890.20013},
      }
  • [Na] M. B. Nathanson, Additive Number Theory: The Classical Bases, New York: Springer-Verlag, 1996, vol. 164.
    @book {Na, MRKEY = {1395371},
      AUTHOR = {Nathanson, Melvyn B.},
      TITLE = {Additive Number Theory: The Classical Bases},
      SERIES = {Grad. Texts in Math.},
      VOLUME = {164},
      PUBLISHER = {Springer-Verlag},
      ADDRESS = {New York},
      YEAR = {1996},
      PAGES = {xiv+342},
      ISBN = {0-387-94656-X},
      MRCLASS = {11-02 (11B13 11P05 11P32)},
      MRNUMBER = {1395371},
      MRREVIEWER = {D. R. Heath-Brown},
      ZBLNUMBER = {0859.11003},
      }
  • [NP] Go to document N. Nikolov and L. Pyber, "Product decompositions of quasirandom groups and a Jordan type theorem," J. Euro. Math. Soc., vol. 13, pp. 1063-1077, 2011.
    @article{NP,
      author={Nikolov, N. and Pyber, L.},
      TITLE={Product decompositions of quasirandom groups and a {J}ordan type theorem},
      JOURNAL={J. Euro. Math. Soc.},
      VOLUME={13},
      YEAR={2011},
      PAGES={1063--1077},
      ZBLNUMBER={pre05919471},
      DOI={10.4171/JEMS/275},
      MRNUMBER={2115666},
      }
  • [SW] Go to document J. Saxl and J. S. Wilson, "A note on powers in simple groups," Math. Proc. Cambridge Philos. Soc., vol. 122, iss. 1, pp. 91-94, 1997.
    @article {SW, MRKEY = {1443588},
      AUTHOR = {Saxl, Jan and Wilson, John S.},
      TITLE = {A note on powers in simple groups},
      JOURNAL = {Math. Proc. Cambridge Philos. Soc.},
      FJOURNAL = {Mathematical Proceedings of the Cambridge Philosophical Society},
      VOLUME = {122},
      YEAR = {1997},
      NUMBER = {1},
      PAGES = {91--94},
      ISSN = {0305-0041},
      CODEN = {MPCPCO},
      MRCLASS = {20D06 (20E18)},
      MRNUMBER = {1443588},
      MRREVIEWER = {Thomas Weigel},
      DOI = {10.1017/S030500419600165X},
      ZBLNUMBER = {0890.20014},
      }
  • [Sh] Go to document A. Shalev, "Word maps, conjugacy classes, and a noncommutative Waring-type theorem," Ann. of Math., vol. 170, iss. 3, pp. 1383-1416, 2009.
    @article {Sh, MRKEY = {2600876},
      AUTHOR = {Shalev, Aner},
      TITLE = {Word maps, conjugacy classes, and a noncommutative {W}aring-type theorem},
      JOURNAL = {Ann. of Math.},
      FJOURNAL = {Annals of Mathematics. Second Series},
      VOLUME = {170},
      YEAR = {2009},
      NUMBER = {3},
      PAGES = {1383--1416},
      ISSN = {0003-486X},
      CODEN = {ANMAAH},
      MRCLASS = {20D05 (20C15 20G40 20P05)},
      MRNUMBER = {2600876},
      MRREVIEWER = {Martin W. Liebeck},
      DOI = {10.4007/annals.2009.170.1383},
      ZBLNUMBER = {1203.20013},
      }
  • [Sh2] Go to document A. Shalev, "Mixing and generation in simple groups," J. Algebra, vol. 319, iss. 7, pp. 3075-3086, 2008.
    @article {Sh2, MRKEY = {2397424},
      AUTHOR = {Shalev, Aner},
      TITLE = {Mixing and generation in simple groups},
      JOURNAL = {J. Algebra},
      FJOURNAL = {Journal of Algebra},
      VOLUME = {319},
      YEAR = {2008},
      NUMBER = {7},
      PAGES = {3075--3086},
      ISSN = {0021-8693},
      CODEN = {JALGA4},
      MRCLASS = {20P05 (11M41 20D06 60B15)},
      MRNUMBER = {2397424},
      MRREVIEWER = {Goulnara N. Arzhantseva},
      DOI = {10.1016/j.jalgebra.2007.07.031},
      ZBLNUMBER = {1146.20057},
      }
  • [A-dim] Go to document R. Steinberg, "A geometric approach to the representations of the full linear group over a Galois field," Trans. Amer. Math. Soc., vol. 71, pp. 274-282, 1951.
    @article {A-dim, MRKEY = {0043784},
      AUTHOR = {Steinberg, Robert},
      TITLE = {A geometric approach to the representations of the full linear group over a {G}alois field},
      JOURNAL = {Trans. Amer. Math. Soc.},
      FJOURNAL = {Transactions of the American Mathematical Society},
      VOLUME = {71},
      YEAR = {1951},
      PAGES = {274--282},
      ISSN = {0002-9947},
      MRCLASS = {20.0X},
      MRNUMBER = {0043784},
      MRREVIEWER = {T. Nakayama},
      DOI = {10.2307/1990691},
      ZBLNUMBER = {0045.30201},
      }
  • [St] Go to document R. Steinberg, "Regular elements of semisimple algebraic groups," Inst. Hautes Études Sci. Publ. Math., iss. 25, pp. 49-80, 1965.
    @article {St, MRKEY = {0180554},
      AUTHOR = {Steinberg, Robert},
      TITLE = {Regular elements of semisimple algebraic groups},
      JOURNAL = {Inst. Hautes Études Sci. Publ. Math.},
      FJOURNAL = {Institut des Hautes Études Scientifiques. Publications Mathématiques},
      NUMBER = {25},
      YEAR = {1965},
      PAGES = {49--80},
      ISSN = {0073-8301},
      MRCLASS = {14.50 (20.75)},
      MRNUMBER = {0180554},
      MRREVIEWER = {J. L. Koszul},
      URL = {http://www.numdam.org/item?id=PMIHES_1965__25__49_0},
      ZBLNUMBER = {0136.30002},
      }
  • [TZ1] Go to document P. H. Tiep and A. E. Zalesskii, "Minimal characters of the finite classical groups," Comm. Algebra, vol. 24, iss. 6, pp. 2093-2167, 1996.
    @article {TZ1, MRKEY = {1386030},
      AUTHOR = {Tiep, Pham Huu and Zalesskii, Alexander E.},
      TITLE = {Minimal characters of the finite classical groups},
      JOURNAL = {Comm. Algebra},
      FJOURNAL = {Communications in Algebra},
      VOLUME = {24},
      YEAR = {1996},
      NUMBER = {6},
      PAGES = {2093--2167},
      ISSN = {0092-7872},
      CODEN = {COALDM},
      MRCLASS = {20C33 (20G40)},
      MRNUMBER = {1386030},
      MRREVIEWER = {R. W. Carter},
      ZBLNUMBER={0901.20031},
      DOI = {10.1080/00927879608825690},
      }
  • [TZ2] Go to document P. H. Tiep and A. E. Zalesskii, "Real conjugacy classes in algebraic groups and finite groups of Lie type," J. Group Theory, vol. 8, iss. 3, pp. 291-315, 2005.
    @article {TZ2, MRKEY = {2137972},
      AUTHOR = {Tiep, Pham Huu and Zalesskii, Alexander E.},
      TITLE = {Real conjugacy classes in algebraic groups and finite groups of {L}ie type},
      JOURNAL = {J. Group Theory},
      FJOURNAL = {Journal of Group Theory},
      VOLUME = {8},
      YEAR = {2005},
      NUMBER = {3},
      PAGES = {291--315},
      ISSN = {1433-5883},
      CODEN = {JGTHFQ},
      MRCLASS = {20D06 (20E45)},
      MRNUMBER = {2137972},
      MRREVIEWER = {Wujie Shi},
      DOI = {10.1515/jgth.2005.8.3.291},
      ZBLNUMBER = {1076.20033},
      }
  • [Var] Go to document Y. Varshavsky, "Lefschetz-Verdier trace formula and a generalization of a theorem of Fujiwara," Geom. Funct. Anal., vol. 17, iss. 1, pp. 271-319, 2007.
    @article {Var, MRKEY = {2306659},
      AUTHOR = {Varshavsky, Yakov},
      TITLE = {Lefschetz-{V}erdier trace formula and a generalization of a theorem of {F}ujiwara},
      JOURNAL = {Geom. Funct. Anal.},
      FJOURNAL = {Geometric and Functional Analysis},
      VOLUME = {17},
      YEAR = {2007},
      NUMBER = {1},
      PAGES = {271--319},
      ISSN = {1016-443X},
      CODEN = {GFANFB},
      MRCLASS = {14F20 (11G25)},
      MRNUMBER = {2306659},
      MRREVIEWER = {Tam{á}s Szamuely},
      DOI = {10.1007/s00039-007-0596-9},
      ZBLNUMBER = {1131.14019},
      }
  • [W] J. Wilson, "First-order group theory," in Infinite Groups 1994, Berlin: de Gruyter, 1996, pp. 301-314.
    @incollection {W, MRKEY = {1477188},
      AUTHOR = {Wilson, John},
      TITLE = {First-order group theory},
      BOOKTITLE = {Infinite Groups 1994},
      VENUE={{R}avello},
      PAGES = {301--314},
      PUBLISHER = {de Gruyter},
      ADDRESS = {Berlin},
      YEAR = {1996},
      MRCLASS = {03C60 (03C20 20A15 20E32)},
      MRNUMBER = {1477188},
      MRREVIEWER = {Olivier Chapuis},
      ZBLNUMBER = {0866.20001},
      }

Authors

Michael Larsen

Department of Mathematics
Indiana University
Bloomington, IN 47405

Aner Shalev

Einstein Institute of Mathematics
The Hebrew University of Jerusalem
Edmond J. Safra Campus, Givat Ram
Jerusalem 91904
Israel

Pham Huu Tiep

Department of Mathematics
University of Arizona
617 N. Santa Rita Ave.
Tucson, AZ 85721-0089