I read last year that Atiyah thought he had found a proof of the odd order theorem of only 12 pages, using $K$-theory, and that people were trying to figure out if it was correct or not. But I never heard about it afterwards. Did people actually go through it? Was it correct or not?

  • $\begingroup$ Is that the Feit-Thompson theorem: every group of odd order is solvable? $\endgroup$
    – DonAntonio
    Jun 11, 2018 at 16:33
  • $\begingroup$ Yes! I edited the question $\endgroup$
    – frafour
    Jun 11, 2018 at 16:36
  • 1
    $\begingroup$ As far as I can tell, it has neither been published, nor put on a public website (such as arxiv). $\endgroup$ Jun 11, 2018 at 17:39
  • 3
    $\begingroup$ MO thread: mathoverflow.net/questions/273828/… $\endgroup$ Jun 11, 2018 at 17:43
  • 4
    $\begingroup$ I was in Heidelberg 2017 where Atiyah was circulating a proof of FT, but reading it with other people we found at least one mistake. I don't recall it involving any K theory, but perhaps my memory fails me. $\endgroup$
    – Pedro
    Sep 21, 2018 at 11:12


You must log in to answer this question.