Exponent of Sylow $p$-subgroup of classical groups over a field of characteristic $p$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T03:59:41Z http://mathoverflow.net/feeds/question/116139 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/116139/exponent-of-sylow-p-subgroup-of-classical-groups-over-a-field-of-characteristic Exponent of Sylow $p$-subgroup of classical groups over a field of characteristic $p$ Binzhou Xia 2012-12-12T03:21:06Z 2012-12-15T08:06:35Z <p>Let $G$ be a classical group of dimension $n$ over $GF(q)$ where $q=p^f$ is a prime power, and $P$ be a Sylow $p$-subgroup of $G$. What is the maximal order of elements, i.e. the exponent, of $P$? </p> <p>For $G=GL(n,q)$, it can be easily seen that the exponent of $P$ is the least power of $p$ greater than or equal to $n$. This gives a upper bound for exponents of classical groups of dimension $n$ over $GF(q)$.</p> http://mathoverflow.net/questions/116139/exponent-of-sylow-p-subgroup-of-classical-groups-over-a-field-of-characteristic/116298#116298 Answer by Jim Humphreys for Exponent of Sylow $p$-subgroup of classical groups over a field of characteristic $p$ Jim Humphreys 2012-12-13T17:14:14Z 2012-12-14T13:31:16Z <p>The question is reasonable (even in the full generality of finite groups of Lie type in the defining characteristic <code>$p$</code>). However, the answer requires case-by-case study, as in related questions about classifying unipotent classes and centralizers of unipotent elements. Most of the information needed starts out in the ambient algebraic group <code>$G$</code> and leads to fairly uniform results for the finite groups when the prime is "good" (meaning odd for symplectic or orthogonal groups). When studying unipotents, the isogeny class of the group doesn't matter, or whether you consider general linear or special linear groups. In good characteristic it's mostly enought to look at nilotents in the Lie algebra of <code>$G$</code>, but bad primes require some extra study within the group setting.</p> <p>Probably the most straightforward way to think about the exponent of a Sylow <code>$p$</code>-subgroup (coming from a maximal unipotent subgroup of the algebraic group) is to look at a smallest possible faithful representation of <code>$G$</code>, say of dimension <code>$n$</code>. Since the <code>$n$</code>th power of each nilpotent matrix vanishes, a rough upper bound on the possible orders of unipotents in <code>$G$</code> is given by the <em>least</em> (not largest) power of <code>$p$</code> which is <code>$\geq n$</code>. </p> <p>What about a precise determination of the exponent? Since there are only finitely many unipotent classes in <code>$G$</code> (even for bad primes), you mainly need to locate the largest Jordan block size among those occurring for any unipotent matrix in a class. If this size is <code>$d$</code>, then the exponent is the least power of <code>$p$</code> which is <code>$\geq d$</code>. For classical groups, at least when <code>$p$</code> is odd, the unipotent classes in <code>$G$</code> and then a finite subgroup of Lie type are fairly easy to obtain from those of the ambient general linear group. There is a lot of published work in this direction, going back to a paper by G.E. Wall. Useful books include the 1985 <em>Simple Groups of Lie Type</em> by Roger Carter and a recent AMS book <em>Unipotent and Nilpotent Classes in Simple Algebraic Groups and Lie Algebras</em> by Martin Liebeck and Gary Seitz. </p> <p>Probably the <em>regular</em> unipotent elements have the largest orders, though in the symplectic and orthogonal groups they need not involve just a single large Jordan block as they would in the special linear group. Anyway, each type and each small prime need some attention here. For finite or algebraic groups of <em>exceptional</em> types, all of this is more delicate in terms of working with a convenient matrix representation (the adjoint representation being the smallest for type <code>$E_8$</code>). So much attention in the literature is directed at these groups: see for example the influential paper by Ross Lawther: <em>Jordan block sizes of unipotent elements in exceptional algebraic groups</em>, Comm. Algebra 23 (1995), no. 11, 4125–4156.</p> <p>Final remark: In the study of finite simple groups, the exponent is not usually a major player. For example, it doesn't show up directly in the character table. The main themes have been the classification of conjugacy classes and the determination of corresponding centralizers in <code>$G$</code> and the finite groups.</p> <p>ADDED (post-final remark): Looking more closely at known results, I can see that the exponent varies somewhat erratically over powers of <code>$p$</code> until it seems to stabilize at <code>$p$</code> when <code>$p \geq h$</code>. Here <code>$h$</code> is the <em>Coxeter number</em> (not the rank), which in types <code>$A_n, B_n, C_n, D_n$</code> is respectively <code>$n, 2n, 2n, 2(n-1)$</code>. If this bound on <code>$p$</code> is optimal, it's reasonable to look for a general proof. It seems consistent with Lawther's tables for exceptional types. (It's also worth comparing with work on elements of prime order in simple complex or compact Lie groups.) </p> http://mathoverflow.net/questions/116139/exponent-of-sylow-p-subgroup-of-classical-groups-over-a-field-of-characteristic/116359#116359 Answer by Nick Gill for Exponent of Sylow $p$-subgroup of classical groups over a field of characteristic $p$ Nick Gill 2012-12-14T10:18:12Z 2012-12-14T11:19:22Z <p>Here's a more naive approach than that suggested by Jim in his answer, and Kreck in comments.</p> <p>One can explicitly write down the Sylow $p$-subgroup as a matrix group using a basis of hyperbolic pairs. If you order this basis correctly, then there will be a Sylow $p$-subgroup of the associated classical group which will be a bunch of upper-triangular matrices. (See Kleidman &amp; Liebeck <em>"The subgroup structure of the finite classical groups"</em> for a full description.)</p> <p>(Note: I'm avoiding questions about which version of the group you are interested in. Most of the time the natural matrix group version of the classical group is the universal version (the main exceptions involving certain orthogonal groups). In any case, if you avoid bad primes, as Jim describes above, the exponent of a Sylow $p$-subgroup of your group won't depend on which version you're using.)</p> <p>So, for example, let $e_1,\dots, e_k, f_1,\dots, f_k$ be such a basis for a vector space $V$ over the field of order $q$ where $q$ is odd, where $V$ is equipped with a non-degenerate alternating bilinear form, then the isometry group of the form will be the symplectic group ${\mathrm Sp}_{2k}(q)$ and one can choose a Sylow $p$-subgroup of $G$ such that all elements are upper-triangular. Once you've done this it's easy to observe that $G$ contains an element $$\left(\begin{array}{ccccc} 1 &amp; 1 &amp; &amp; &amp; \\ &amp; 1 &amp; 1 &amp; &amp; \\ &amp; &amp; \ddots \ddots &amp; &amp; \\ &amp; &amp; &amp; 1 &amp; -1 \\ &amp; &amp; &amp; &amp; 1 \end{array}\right).$$ (The formatting is a bit screwed. It's supposed to indicate a diagonal of $1$'s. Then on my super-diagonal I have $k$ lots of $1$ to start and $k-1$ lots of $-1$ to finish.) I haven't double-checked, but I believe this is an element of maximal exponent. Its order is the least power of $p$ greater than $k+1$.</p> <p>It's the same story with orthogonal groups. Again I haven't double-checked that I really am obtaining an element of maximal order, but this should be straight-forward.</p> <p>In any case, these calculations suggest the following result. </p> <blockquote> <p><strong>Conjecture</strong>: Let $P$ be a Sylow $p$-subgroup of an untwisted classical group $G$ over $\mathbb{F}_q$, and suppose that $p$ is not a bad prime. Then the exponent of $P$ is equal to the least power of $p$ greater than ${\mathrm rk}(G)+1$.</p> </blockquote> <p>(I'm stating the conjecture conservatively. It's possible that it holds for twisted groups, and for bad primes, but that would just be idle speculation!)</p>