## Sylow subgroups of projective general linear groups

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

What is known about the Sylow 2-subgroups of $\rm{PGL}_n(\mathbb{F}_q)$, where $q$ is any prime power? For example, according to Theorem 7.9 in Isaacs's Character Theory, these Sylow 2-subgroups cannot be generalised quaternion. Is there a classification of all these Sylows available?

Concretely, let me make the following semi-conjecture, which, if true, would make me very happy:

The irreducible complex representations of Sylow 2-subgroups of $\rm{PGL}_n(\mathbb{F}_q)$ have trivial Schur index.

Is this known? Any references to literature that discusses such questions would be very welcome.

If anyone has information on Sylow $l$-subgroups for arbitrary $l$, I would also be very interested.

-

3
R.Carter and P.Fong wrote a paper about the structure of Sylow $q$-subgroups of finite groups of Lie type when $q$ is a prime other than the natural characteristic of the group. Whether it would answer a question as precise as your semi-conjecture is another matter. – Geoff Robinson Feb 9 2012 at 19:34

2
For $l$ odd and different to $p$, see this paper by A. Weir: jstor.org/pss/2033424. Notice that they closely resemble the Sylow subgroups of symmetric groups. I don't know much this helps with the representation theory, though. – Colin Reid Feb 9 2012 at 23:34

## 3 Answers

The irreducibles of the Sylow 2-subgroups of ${\rm GL}(n,q)$, $q$ odd, have indeed trivial Schur indices: Let $S$ be such a Sylow 2-subgroup. First, observe that the natural module $(\mathbb{F}_q)^n$ splits into a sum of simple modules $U_1\oplus \dotsb \oplus U_l$, and the dimension of each simple module is a power of $2$. This shows that $S \cong S_1 \times \dotsb \times S_l$, where the $S_i$'s are Sylow 2-subgroups of a ${\rm GL}(2^k, q)$. Thus, w.l.o.g. we may assume that $n=2^k$. Then I use induction on $k$. First note that if $S$ is a Sylow 2-subgroup of ${\rm GL}(2^k, q)$, then ```$$ T=\lbrace \begin{pmatrix} s &  \\  & t \end{pmatrix} \mid s, t\in S \rbrace 
    \cup \lbrace \begin{pmatrix}  & s \\ t & \end{pmatrix} \mid s,t\in S\rbrace
   \cong S\wr C_2 $$``` is a Sylow 2-subgroup of ${\rm GL}(2^{k+1}, q)$, except when $k=0$ and $q\equiv 3\mod 4$. This follows from the description in Derek Holt's answer, but it can also be seen directly by observing that $T$ has the right order.
Write $N=S\times S$, so that $T= C_2 N$, and let $\chi\in {\rm Irr} (T)$. Three cases have to be considered:
1. We have $\chi_N \in {\rm Irr} (N)$. By induction, $\chi_N$ has trivial Schur index. By Lemma~10.4 in Isaacs' character theory book, for example, it follows that $\chi$ has trivial Schur index.
2. $\chi_N = \theta + \theta^g$, where $\theta$ and $\theta^g$ are not Galois conjugate. Then $\chi = \theta^T$ and $\theta$ have the same field of values and the same Schur index (again, see Lemma~10.4 in Isaacs).
3. $\chi_N = \theta + \theta^g$, where $\theta$ and $\theta^g$ are Galois conjugate. This means that $\chi=\theta^T$, but $|\mathbb{Q}(\theta):\mathbb{Q}(\chi)|=2$. Now a representation $R\colon N\to {\rm GL}(\chi(1), \mathbb{Q}(\chi) )$ affording the character $\theta+\theta^g$ can be extended to a representation over the same field, since $N$ has a complement (of order 2) in $T$.
To get the induction going when $q\equiv 3\mod 4$, one has to check that the Sylow 2-subgroup of ${\rm GL}(2,q)$ has trivial Schur indices, but that is clear since it's a semidihedral group.

-

Sorry, it took me a while to get round to processing your post. This seems to work nicely, thank you! – Alex Bartel Feb 15 2012 at 19:33

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

For $q$ odd, it is not difficult to describe the structure of a Sylow 2-subgroup of $G={\rm GL}(n,q)$, so let me do that.

If $q \equiv 1 \bmod 4$, then the subgroup of monomial matrices of $G$ contains a Sylow $2$-subgroup of $G$, which is a wreath product of a cyclic group of order $t$ (where $t$ is the 2-part of $q-1$), and a Sylow 2-subgroup of the symmetric group $S_n$. The Sylow subgroups of $S_n$ are of course themselves built up as wreath products of cyclic groups.

It is a little more complicated when $q \equiv 3 \bmod 4$. In that case, let $t$ be the 2-part of $q^2-1$. Then, if $n$ is even, a Sylow 2-subgroup of $G$ is a wreath product of a Sylow 2-subgroup of ${\rm GL(2,q)}$, which is semidihedral of order $2t$, with a Sylow 2-subgroup of $S_{n/2}$. If $n$ is odd, then it is a direct product of a Sylow 2-subgroup of ${\rm GL}(n-1,q)$ with a cyclic group of order 2.

To get a Sylow 2-subgroup of ${\rm PGL}(n,q)$, you have to factor our the cyclic scalar subgroup, which is a diagonal of the base group of the wreath product.

For $q$ even, the upper unitriangular matrices form a Sylow 2-subgroup of ${\rm PGL}(n,q)$.

I don't know much about Schur indices but I did some quick computations in Magma, and I found that for Sylow 2-subgroups of ${\rm GL}(n,q)$ for small $n,q$, going up $(n,q)=(6,5)$ and $(8,3)$, the Schur indices of all irreducible representations are indeed 1, which seems to provide good experimental evidence for your conjecture. You might find it easier to try and prove it for ${\rm GL}(n,q)$, since the structure of the Sylow 2-subgroups can be described so explicitly, at least for odd $q$.

Added later. For odd prime $r$ not dividing $q$, let $d$ be minimal such that $r$ divides $q^d-1$, let $t$ be the $r$-part of $q^d-1$, and let `$m = \lfloor n/d \rfloor$`. Then a Sylow $r$-subgroup of ${\rm GL}(n,q)$ is a wreath product of a cyclic group of order $t$ with a Sylow $r$-subgroup of $S_m$.

For all of the classical groups, Sylow subgroups in coprime characteristic arise in a similar way, as wreath products of a group coming from a base case with a Sylow subgroup of a symmetric group. But of course there are lots of little complications for the individual types. I had a student a few years ago write Magma code to construct all of these, so I can produce very explicit descriptions!

-
This is very nice and explicit, thank you! I will have to think about whether this description allows me to get a handle on the Schur indices. Does this generalise somehow to other Sylows? – Alex Bartel Feb 9 2012 at 22:54
Yes, I've added something to my post about other primes. – Derek Holt Feb 9 2012 at 23:58
Is there a good reference for these facts? The paper by Weir mentioned in the comments above does not do the p=2 case. – Steve D Feb 10 2012 at 1:02

2
That is covered by the paper mentioned by Geoff Robinson: R. Carter and P. Fong. The Sylow 2-subgroups of the finite classical groups. Journal of Algebra, 1:139--151, 1964. But for the Sylow 2-subgroups of ${\rm GL}_n(q)$, just by calculating their orders, you can see that the description I gave effectively reduces the problem to the dimension 1 or 2 case. – Derek Holt Feb 10 2012 at 1:29

To reinforce Geoff Robinson's cautious comment, I'd encourage you to dig into a volume of the ongoing treatise by Gorenstein-Lyons-Solomon The Classification of the Finite Simple Groups, Number 3 (Amer. Math. Soc., 1998): Section 3.3 on "Equicharacteristic Sylow Structure" and Section 4.10 on "Cross-characteristic Sylow Structure", supplemented by references to the literature. The question raised concerns just one of the adjoint-type groups of Lie type, but even here the difficulty is apparent in the treatment by G-L-S of standard structural matters. As their section headings indicate, there are fundamental differences depending on whether or not the prime r (such as 2) involved in the Sylow subgroup is the natural/defining prime for the Lie-type group (having q as a power). But in either case it's already nontrivial to compute the r-rank and some of the commutator structure.

The references (as of 1998) seem to cover the essential literature, including the work of Aschbacher and the paper by Carter and Fong mentioned by Geoff. All of this is above my pay grade, as they say, so I can only wish you luck.

-

I will be sure to check out this book, thank you! – Alex Bartel Feb 9 2012 at 22:55
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 92, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9265527725219727, "perplexity_flag": "head"}