Where are the second- (and third-)generation proofs of the classification of finite simple groups up to? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T01:00:53Z http://mathoverflow.net/feeds/question/114943 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/114943/where-are-the-second-and-third-generation-proofs-of-the-classification-of-fini Where are the second- (and third-)generation proofs of the classification of finite simple groups up to? David Roberts 2012-11-29T23:59:00Z 2012-11-30T14:10:07Z <p>According the <a href="http://en.wikipedia.org/wiki/Classification_of_finite_simple_groups#Second-generation_classification" rel="nofollow">the Wikipedia page</a>, 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.</p> <p>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.</p> http://mathoverflow.net/questions/114943/where-are-the-second-and-third-generation-proofs-of-the-classification-of-fini/114981#114981 Answer by Nick Gill for Where are the second- (and third-)generation proofs of the classification of finite simple groups up to? Nick Gill 2012-11-30T13:55:58Z 2012-11-30T14:10:07Z <p>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 <a href="http://www.birs.ca/events/2012/5-day-workshops/12w5034/videos/watch/201209031623-Solomon.mp4" rel="nofollow">here</a>.</p> <p>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.)</p>