Welcome to MathOverflow

Question

21

7

According the the Wikipedia page, the second generation proof is up to at least nine volumes: six by Gorenstein, Lyons and Solomon dated 1994-2005, two covering the quasithin business by Aschbacher and Smith in 2004, and one by Aschbacher, Lyons, Smith and Solomon in 2011. However, this latter book is really just the second part of an outline of the proof, the first part of which was written by Gorenstein in the 80s (the reason for the delay is, of course, that the quasithin case hadn't actually been settled at the time of the announcement of completion). Hence the last update on the second-generation proof is really 2005.

With the recent formal proof in Coq of the Odd-order Theorem, it would be good to know where the traditional proof is up to.

flag	asked Nov 29 at 23:59 David Roberts 11.7k●2●18●55

15

I asked this on the group-pub about a year ago, and I received the following email from Mark Lewis (forwarded from Ron Solomon): Richard and I HOPE to complete Book 7 by the end of 2012. Richard, Inna Capdeboscq and I have a lot of work completed on Book 8 as well. We might be able to complete it in one to 1 1/2 years after the completion of Book 7. That still leaves Books 9, 10, and 11. (The current best estimate is 11 total.) Gernot Stroth has a first draft of Book 11 written. Some work has been done on Book 9, but I would not hazard a guess on when that will see the light of day. – Steve D Nov 30 at 1:27

1

@Steve, would you care to post this as an answer? – David Roberts Dec 3 at 1:48

Nick Gill · Accepted Answer · 2012-11-30 14:10:07Z UTC

With respect to the second generation proof you can get an answer `from the horse's mouth' if you like: Ron Solomon gave an update on the program at BIRS recently and a video of his talk is here.

He starts the talk by comparing its progress to `the receding of the glaciers'! In reality, though, they've made very significant headway into the later volumes. (In particular he mentions, around 9:30, that volume 7 is in preparation, and it is mainly this volume that he's discussing in the talk.)

Where are the second- (and third-)generation proofs of the classification of finite simple groups up to?

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

1 Answer

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.