Maximal orders of Abelian subgroups in finite Chevalley groups (Q5951081): Difference between revisions

Let \(G\) denote a finite group of Lie type and \(a(G)\), \(a_u(G)\) and \(a_s(G)\) denote the maximal orders of Abelian, unipotent Abelian and semisimple Abelian subgroups of \(G\), respectively. Various special Abelian subgroups of \(G\) were studied by many authors. So, the orders of maximal tori (in most cases maximal semisimple Abelian subgroups) in \(G\) are well-known. \textit{M. J. J. Barry} [J. Aust. Math. Soc., Ser. A 27, 59-87 (1979; Zbl 0394.20034)], \textit{M. J. J. Barry} and \textit{W. J. Wong} [ibid. 33, 345-350 (1982; Zbl 0501.20029)], \textit{W. J. Wong} [ibid. 32, 223-245 (1982; Zbl 0487.20033), ibid. 33, 331-344 (1982; Zbl 0501.20028)] found the orders \(a_u(G)\) and the structure of unipotent Abelian subgroups of maximal order for classical groups \(G\). In the proofs, they used the geometry of classical groups. The results of \textit{M. Suzuki} [Ann. Math. (2) 75, 105-145 (1962; Zbl 0106.24702)] and \textit{H. N. Ward} [Trans. Am. Math. Soc. 121, 62-89 (1966; Zbl 0139.24902)] imply that \(a({^2B_2}(2^{2n+1}))=2^{2n+2}\) and \(a({^2G_2}(q))=q^2\). In the present paper, for any \(G\), except for \({^2F_2}(q)\), the number \(a(G)\) is either found or estimated from below and from above; the latter is done for the groups \(F_4(q)\), \(E_6(q)\), \(E_7(q)\), \(E_8(q)\), and \({^2E_6}(q)\). Furthermore, it is proved that, except for \({^2F_2}(q)\), \(a(G)\) is equal to \(a_u(G)\) or \(a_s(G)\). For the groups \(G=F_4(q)\), \(E_6(q)\), \(E_7(q)\), \(E_8(q)\), or \({^2E_6}(q)\), it is shown that \(a(G)=a_u(G)\). The author gives a uniform proof of his results by the method of algebraic groups. The author's previous paper [Algebra Logika 38, No. 2, 131-160 (1999; Zbl 0936.20009)] is also used.