2000/01/05 by R. James Milgram · 8 citations
Mathematics · #Homotopy and Cohomology in Algebraic Topology #Advanced Algebra and Geometry #Advanced Topics in Algebra #Mathematics #Counterexample #Conjecture #Finite group #Group (periodic table) #Combinatorics #Simple group #Simple (philosophy) #Pure mathematics #Physics
paper · doi:10.1515/jgth.2000.008
published in Journal of Group Theory 3(1) (De Gruyter)
openalex publication_date 2000/01/05 · openalex created_date 2025/10/10 · openalex updated_date 2025/11/06
and, as a result of our calculation Hi(M23;Z) = 0 for i < 5. In particular M23 is the first known counterexample to the conjecture that if G is a finite group with Hi(G;Z) = 0, i = 1, 2, 3, then G = 1‡. (M11, the first Mathieu group and J1, the first Janko group also satisfy Out(G) = Mult(G) = 1, but for both of these groups H3(G;Z) = 0.) It would be tempting to amend the conjecture. It is very likely that it only fails for a very small number of the sporadics among the simple groups. So one might well suspect that there is a (small) finite number n so that H(G;Z) = 0 for 0 < i ≤ n implies that G = 1 if G is finite. But I have no idea as to a suitable candidate for n.