What is the number of Sylow 2-subgroups of the group $\mathrm{PSL}(2,q)$?
Sylow 2-subgroups of the group $\mathrm{PSL}(2,q)$
-
1Have a look at this: http://mathoverflow.net/questions/91284/the-number-of-sylow-subgroups-in-groups-of-lie-type. They consider the (much more general) problem involving finite groupe of Lie type. – 2012-07-13
-
1http://math.stackexchange.com/questions/118021/reference-for-the-subgroup-structure-of-psl2-q – 2012-07-13
1 Answers
When $q$ is a power of $2,$ we have ${\rm PSL}(2,q) = {\rm SL}(2,q)$ and a Sylow $2$-normalizer is a Borel subgroup of order $q(q-1).$ Hence there are $q+1$ Sylow $2$-subgroups as ${\rm SL}(2,q)$ has order $(q-1)q(q+1)$. When $q$ is odd, the order of ${\rm PSL}(2,q)$ is $\frac{q(q-1)(q+1)}{2}.$ A Sylow $2$-subgroup of ${\rm SL}(2,q)$ is (quaternion or) generalized quaternion and a Sylow $2$-subgroup of ${\rm PSL}(2,q)$ is either a Klein $4$-group or a dihedral $2$-group with $8$ or more elements. In all these cases, a Sylow $2$-subgroup of ${\rm SL}(2,q)$ contains its centralizer, and some elementary group theory allows us to conclude that the same is true in ${\rm PSL}(2,q).$ The outer automorphism group of a dihedral $2$-group with $8$ or more elements is a $2$-group. Hence a Sylow $2$-subgroup of ${\rm PSL}(2,q)$ is self-normalizing when $q \equiv \pm 1$ (mod 8), and in that case the number of Sylow $2$-subgroups of ${\rm PSL}(2,q)$ is $q(q^{2}-1)_{2^{\prime}}$ where $n_{2^{\prime}}$ denotes the largest positive odd divisor of the positive integer $n.$ When $q \equiv \pm 3$ (mod 8), then a Sylow $2$-normalizer of ${\rm PSL}(2,q)$ must have order $12$ ( a Sylow $2$-subgroup is a self-centralizing Klein $4$-group, but there must be an element of order $3$ in its normalizer by Burnside's transfer theorem). In this case, the number of Sylow $2$-subgroups of ${\rm PSL}(2,q)$ is $q(\frac{q^{2}-1}{24})$
-
1@Geoff Robinson: Very nice! thank you very much. – 2012-07-13
-
0Can you give me an idea on how to prove that the Sylow $2$-subgroup of $\operatorname{SL}(2,q)$ contains its centralizer when $q$ is odd? – 2013-03-26
-
0@m.k.: When $q$ is odd, a Sylow $2$-subgroup $S$ of ${\rm SL}(2,q)$ is (generalized) quaternion. In particular, it is an (absolutely) irreducible subgroup in the given representation. So it only commutes with scalar matrices by Schur's Lemma. But the only scalar matrices in $ G = {\rm SL}(2,q)$ are $\pm I,$ which are both contained in $S.$ Hence $C_{G}(S) \subseteq S.$ – 2013-03-27
-
0@GeoffRobinson: Thanks! – 2013-03-27