{"id":181,"date":"2026-04-09T19:03:11","date_gmt":"2026-04-09T19:03:11","guid":{"rendered":"https:\/\/borovik.net\/selecta\/?p=181"},"modified":"2026-04-09T19:03:11","modified_gmt":"2026-04-09T19:03:11","slug":"how-surprised-would-you-be-if-mathematicians-discovered-a-27th-sporadic-finite-simple-group","status":"publish","type":"post","link":"https:\/\/borovik.net\/selecta\/2026\/04\/09\/how-surprised-would-you-be-if-mathematicians-discovered-a-27th-sporadic-finite-simple-group\/","title":{"rendered":"How surprised would you be if mathematicians discovered a 27th sporadic finite simple group?"},"content":{"rendered":"

My answer to a question on Quora<\/a>:<\/p>\n

\n
\n
\n
\n
How surprised would you be if mathematicians discovered a 27th sporadic finite simple group?<\/span><\/div>\n<\/blockquote>\n
\n

I would be really surprised.<\/p>\n

I am one of the few people in the world who had reason to read, and spent some time reading, certain parts of the proof of the Classification of Finite Simple Groups (CFSG), and I have some basic understanding of what is going on. A few points:<\/p>\n

    \n
  1. Many parts of the proof of the CFSG (in its various versions) are done by induction, by considering a minimal counterexample: a smallest, by order, finite simple group which is not on the list. The arguments involved are fine tuned at identification of a new finite simple group, if one exists. The fact that this has not happened in the last 30 year is quite reassuring.<\/li>\n
  2. Some \u201cclassical\u201d groups are more sporadic (in the sense that their properties are quite abnormal) than most sporadic group (a good example is the projective special linear group\u00a0P<\/span><\/span>S<\/span><\/span>L<\/span><\/span><\/span>3<\/span><\/span><\/span><\/span>(<\/span><\/span>4<\/span><\/span>)<\/span><\/span><\/span><\/span><\/span><\/span>\u00a0which should be seen as Mathieu group\u00a0M<\/span><\/span><\/span>21<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span>). In that sense there are already more than 26 sporadic simple groups.<\/li>\n
  3. I heard some good mathematicians suggesting that at least some of the sporadic groups are likely to belong to infinite series of a new kind of algebraic structures still unknown to us, but some of which have happened, by chance, be groups \u2014 the same way as the alternating group\u00a0A<\/span><\/span>l<\/span><\/span>t<\/span><\/span><\/span>6<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span>has happened to be the linear group\u00a0P<\/span><\/span>S<\/span><\/span>L<\/span><\/span><\/span>2<\/span><\/span><\/span><\/span>(<\/span><\/span>9<\/span><\/span>)<\/span><\/span><\/span><\/span><\/span><\/span>, living simultaneously in two different universes.<\/li>\n<\/ol>\n

    The third point, if confirmed, would be really exciting and likely to have long lasting impact on mathematics.<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

    My answer to a question on Quora: How surprised would you be if mathematicians discovered a 27th sporadic finite simple group? I would be really surprised. I am one of the few people in the world who had reason to read, and spent some time reading, certain parts of the proof of the Classification of […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-181","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/posts\/181","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/comments?post=181"}],"version-history":[{"count":1,"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/posts\/181\/revisions"}],"predecessor-version":[{"id":182,"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/posts\/181\/revisions\/182"}],"wp:attachment":[{"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/media?parent=181"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/categories?post=181"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/borovik.net\/selecta\/wp-json\/wp\/v2\/tags?post=181"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}