M12 simple sporadic group - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T16:12:53Z http://mathoverflow.net/feeds/question/59329 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/59329/m12-simple-sporadic-group M12 simple sporadic group Paul Hjelmstad 2011-03-23T17:13:07Z 2011-03-23T20:49:35Z <p>I've spent quite a bit of time studying the Mathieu Groups, and I own the ATLAS.</p> <p>My question is about M12. It is based on the ternary Golay Code, and is the automorphism group of a Steiner S(5,6,12) system. Now, all of these Steiner systems are isomorphic up to labelling. The order of M12 is 95040, which is 132 x 720. Since there are 132 blocks in this Steiner system, one can see that the 720 or S6 piece merely scrambles the six elements of the hexad. Then, the 132 part is just sending the elements of one hexad to another, of which there are 132 ways to do this. </p> <p>Can someone give me an intuitive construction for this, not just generators...would it make sense to say that the (sharply) quintuple transitive action might be to send block 1 to 2, and 2 to 3, and perhaps another action to send block 1 to 3, 3 to 5 etc. or something of this nature? Is there a hard and fast way to look at this action (M12) in terms of the blocks? Or was I wrong about the 720 X 132 decomposition of the order of the group...Thanks, Paul.</p> http://mathoverflow.net/questions/59329/m12-simple-sporadic-group/59335#59335 Answer by Richard Borcherds for M12 simple sporadic group Richard Borcherds 2011-03-23T17:50:41Z 2011-03-23T17:50:41Z <p>You probably want <a href="http://books.google.com/books?id=upYwZ6cQumoC&amp;pg=PA299" rel="nofollow"> The golay codes and the Mathieu groups</a> by John Conway</p> http://mathoverflow.net/questions/59329/m12-simple-sporadic-group/59348#59348 Answer by Robert Haraway for M12 simple sporadic group Robert Haraway 2011-03-23T20:49:35Z 2011-03-23T20:49:35Z <p>If you want an intuitive presentation of M12, also take a look at <A href="http://www.ams.org/mathscinet/search/publdoc.html?pg1=IID&amp;s1=198799&amp;vfpref=html&amp;r=30&amp;mx-pid=1010366" rel="nofollow">Curtis's construction</A>.</p>