0
$\begingroup$

In the classification of finite simple groups, some classification is done by considering structure of Sylow-$2$ subgroups (for example, here; it is more than 250 page paper!)

Now in the world of finite groups, $2$-groups appear very large in number and their classification is difficult (incomplete!).

Then, looking for classifying simple groups with knowing structure of its Sylow-$2$ subgroup could even be difficult, which I feel after thinking this way. I don't have idea what could be motivation for classification in this way.

Since there is no pattern (in my opinion) in the classification of finite $2$-groups, is there any pattern of Sylow-$2$ subgroups in the family of finite simple groups?

In other words, let's say we have all simple groups in a box; can we partition these groups according to Sylow-$2$ subgroups in nice way?

(Beside above question, I would be happy for posting known results on following: what families of simple groups have been characterized from their Sylow-$2$ subgroups?)

$\endgroup$
3
  • 3
    $\begingroup$ You posted this question originally on math.stackexchange, and I spent some time typing an answer, but then you deleted the question, so I lost everything I had typed. $\endgroup$
    – Derek Holt
    Jan 1, 2017 at 15:12
  • $\begingroup$ I initially downvoted by solidarity but retracted downvote... it's rather the site which deserves downvote here... (if anybody's aware of meta posts on the subject, please give a pointer)? $\endgroup$
    – YCor
    Jan 1, 2017 at 16:39
  • $\begingroup$ Sorry @Derek: In MathStack, I thought this would be very vague or difficult question, so better to post it on Overflow; I don't know how do we get information about whether one is "typing" answer to some question. On the other hand, I initially posted question here, then removed from MathStack. It is my experience that as soon as a question appears in two places, the obvious comments come "possible duplicate..." or "same question ...."; nothing is wrong in it, but I was trying to avoid it. $\endgroup$
    – Soluble
    Jan 2, 2017 at 3:47

1 Answer 1

4
$\begingroup$

I think classifications of nonabelian simple groups according to the structure of the Sylow $2$-subgroups were a feature of the earlier parts of the full classification, and the generally concerned the classical groups of small Lie rank. So, for example, ${\rm PSL}(2,q)$ with $q$ odd together with $A_7$ are the simple groups with dihedral Sylow $2$-subgroups, and ${\rm PSL}(2,q)$ with $q$ even or $q \equiv \pm3 \bmod 8$, the groups of Ree type $^2G_2(3^{2n+1})$ and with the Janko group $J_1$ are the simple groups with abelian Sylow $2$-subgroups. There are also characterizations of ${\rm PSL}(3,q)$ and ${\rm PSU}(3,q)$, and possibly some other low rank examples, according to the structure of their Sylow $2$-subgroups. (IIRC, the Janko group $J_1$, which was the first sporadic group to be found since the Mathieu groups in the 19th century was found as a result of this classification.)

The point is that these examples came about not because somebody thought let's look at some possible $2$-groups and classify simple groups having them as Sylow $2$-subgroups, but because they observed that the simple groups of low rank had very specific easily described Sylow $2$-subgroups which,. apart from a couple of exceptions, were not shared by other types of simple groups, and so it was natural to ask whether they could be classified in that way.

The later parts of the classification generally used the structure of the centralizer of some involution rather than the Sylow $2$-subgroup as the classification criterion, becuase this was more convenient when dealing with groups of arbitrarily high Lie rank, and it was more natural for inductive proofs, particularly in odd characteristic. (An involution centralizer in ${\rm GL}(n,q)$ for odd $q$ has the structure ${\rm GL}(k,q) \times {\rm GL}(n-k,q)$.)

$\endgroup$
1
  • $\begingroup$ Thank you very much for this answer! It is certainly giving me an insight into the problem posed. (Also, I had no idea that you were writing answer before removing question from mathstack; sorry for it!) $\endgroup$
    – Soluble
    Jan 2, 2017 at 10:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.