2005-11-01 マチウ群試論(2) math 「シンプレクティック」12点集合 S(5, 6, 12) は「双対」12点集合をもつ. それらの和集合にシュタイナー系 S(5, 8, 24) の構造が誘導され,その自己同型群がマチウ群 M24 である.