群論として知られる現代代数学の分野において、マシュー群 M 12は、順序が散在する単純群である。
- 12 ・11 ・10 ・9 ・8=2・6 ・3・3 ・5 ・11=95040。
歴史と特性
M 12は 26 個の散在群の 1 つで、Mathieu (1861、1873) によって導入されました。これは12 個のオブジェクト上の5 推移的な 置換群です。Burgoyne と Fong (1968) は、M 12のシューア乗数の順序が 2 であることを示しました(Burgoyne と Fong 1966) の誤りを訂正し、シューア乗数の順序が 1 であると誤って主張しました)。
二重被覆は、Coxeter (1958) によって以前に暗黙的に発見されており、M 12 は3 つの要素を持つ有限体上の 6 次元の射影線型群のサブグループであることを示しました。
外部自己同型群は位数 2 であり、完全自己同型群 M 12 .2は、 24 点の相補的 12 元群の安定子としてM 24に含まれ、M 12の外部自己同型は2 つの 12 元群を交換します。
表現
フロベニウス(1904)はM12の複素数特性表を計算した。
M 12 は12 点上の厳密に 5 推移的な置換表現を持ち、その点安定子はマシュー群 M 11である。12 点を 11 元の体上の射影直線と同一視すると、 M 12は PSL 2 (11) の置換と置換 (2,10)(3,4)(5,9)(6,7)の組み合わせによって生成される。この置換表現は、132 個の特殊六元群のシュタイナー系S(5,6,12) を保存する。このシステムでは、各五元群は正確に 1 つの特殊六元群に含まれ、六元群は拡張三元ゴレイ符号の重み 6 の符号語のサポートである。実際、 M 12 は12 点上の 2 つの非同値な作用を持ち、これらは外部自己同型によって交換される。これらは、対称群S 6の6 点上の 2 つの非同値な作用に類似している。
二重被覆 2.M 12は、最小重み 6 の位数 3 の体上の次元 6 長さ 12 のコードである拡張三元ゴレイ コードの自己同型群です。特に、二重被覆は 3 元の体上の既約な 6 次元表現を持ちます。
二重被覆2.M12は任意の12×12アダマール行列の自己同型群である。
M 12 は、モンスター群の位数 11 の要素を集中させ、その結果、モンスター頂点代数のテイトコホモロジーとして与えられる、11 個の要素を持つ体上の頂点代数に自然に作用します。
最大サブグループ
M 12 , 6の最大部分群の共役類は 11 個あり、これらは次のように自己同型対に出現します。
- M 11、位数 7920、指数 12。最大部分群には 2 つのクラスがあり、外部自己同型によって交換されます。1 つはサイズ 1 と 11 の軌道で点を固定する部分群であり、もう 1 つは 12 点に対して推移的に作用します。
- S 6 :2 = M 10 .2、位数 1440、指数 66 の対称群 S 6の外部自己同型群。外部自己同型によって交換される最大部分群のクラスが 2 つあります。1 つは原始的かつ推移的で、6 のブロック 2 つで動作します。もう 1 つは、点のペアを固定し、サイズ 2 と 10 の軌道を持つ部分群です。
- PSL(2,11)、位数660、指数144、12点について二重推移的
- 3 2 :(2.S 4 )、位数 432。外部自己同型によって交換される最大部分群のクラスが 2 つあります。1 つは 3 と 9 の軌道で作用し、もう 1 つは 3 の 4 つの集合に原始的です。
- 空間 C 3 x C 3上のアフィン群と同型です。
- S 5 x 2、順序 240、2 点の 6 セットに二重に原始的
- 6重転置の中心化
- Q :S 4、順序192、軌道4と8。
- 4重転置の中心化
- 4 2 :(2 x S 3 )、位数192、4の3組に原始的
- A 4 x S 3、順序 72、二重原始的、3 点の 4 セット。
共役クラス
外部自己同型による元のサイクル形状とその共役は、次のように関連しています。2 つのサイクル形状の和はバランスが取れています。言い換えると、ある整数Nに対して、各nサイクルをN / nサイクルに変更しても不変です。
参考文献
- アデム、アレハンドロ; マギニス、ジョン; ミルグラム、R. ジェームズ (1991)、「マシュー群 M₁₂ の幾何学とコホモロジー」、代数ジャーナル、139 (1): 90–133、doi :10.1016/0021-8693(91)90285-G、hdl : 2027.42/29344、ISSN 0021-8693、MR 1106342
- Burgoyne, N.; Fong, Paul (1966)、「マシュー群のシュア乗数」、名古屋数学ジャーナル、27 (2): 733–745、doi : 10.1017/S0027763000026519、ISSN 0027-7630、MR 0197542
- Burgoyne, N.; Fong, Paul (1968)、「マシュー群のシューア乗数に対する訂正」名古屋数学ジャーナル、31 : 297–304、doi : 10.1017/S0027763000012782、ISSN 0027-7630、MR 0219626
- キャメロン、ピーター J. (1999)、「順列群」、ロンドン数学会学生テキスト、第 45 巻、ケンブリッジ大学出版局、ISBN 978-0-521-65378-7
- カーマイケル、ロバート・D. (1956) [1937]、有限順序群論入門、ニューヨーク:ドーバー出版、ISBN 978-0-486-60300-1、MR 0075938
- コンウェイ、ジョン・ホートン(1971)、「例外群に関する 3 つの講義」、パウエル、MB、ヒグマン、グラハム(編)、有限単純群、ロンドン数学協会 (NATO 先進研究所) 主催の教育会議議事録、オックスフォード、1969 年 9 月、ボストン、マサチューセッツ州:アカデミック プレス、pp. 215–247、ISBN 978-0-12-563850-0、MR 0338152Conway & Sloane (1999, 267–298) に再録
- コンウェイ、ジョン・ホートン、パーカー、リチャード・A.、ノートン、サイモン・P.、カーティス、RT、ウィルソン、ロバート・A.(1985)、有限群のアトラス、オックスフォード大学出版局、ISBN 978-0-19-853199-9、MR 0827219
- ジョン・ホートン・コンウェイ; Sloane、Neil JA (1999)、Sphere Packings、Lattices and Groups、Grundlehren der Mathematischen Wissenschaften、vol. 290 (第 3 版)、ベルリン、ニューヨーク: Springer-Verlag、doi :10.1007/978-1-4757-2016-7、ISBN 978-0-387-98585-5、MR 0920369
- コクセター、ハロルド・スコット・マクドナルド(1958)、「PG(5,3) の 95040 個の自己変換による 12 個の点」、ロンドン王立協会紀要。シリーズ A: 数学、物理、工学、247 (1250): 279–293、doi :10.1098/rspa.1958.0184、ISSN 0962-8444、JSTOR 100667、MR 0120289、S2CID 121676627
- Curtis, RT (1984)、「シュタイナー系 S(5, 6, 12)、マシュー群 M₁₂、および「子猫」」、Atkinson, Michael D. (編)、計算群論。1982 年 7 月 30 日~8 月 9 日にダーラムで開催されたロンドン数学会シンポジウムの議事録。、ボストン、マサチューセッツ州: Academic Press、pp. 353~358、ISBN 978-0-12-066270-8、MR 0760669
- Cuypers、Hans、マシュー群とその幾何学(PDF)
- ディクソン、ジョン D.; モーティマー、ブライアン (1996)、「順列群」、Graduate Texts in Mathematics、vol. 163、ベルリン、ニューヨーク: Springer-Verlag、doi :10.1007/978-1-4612-0731-3、ISBN 978-0-387-94599-6、MR 1409812
- Frobenius、Ferdinand Georg (1904)、「Über die Charaktere der mehrfach transitiven Gruppen」、Sitzungsberichte der Königlich Preussischen Akademie der Wissenschaften (ドイツ語)、16、Königliche Akademie der Wissenschaften、ベルリン: 558–571、再版彼の著作集の第 3 巻に収録されています。
- ギル、ニック、ヒューズ、サム(2019)、「次数12の交代群の鋭い5推移部分群のキャラクターテーブル」、国際群論ジャーナル、doi:10.22108 / IJGT.2019.115366.1531、S2CID 119151614
- Griess、Robert L. Jr. (1998)、12 の散発グループ、Springer Monographs in Mathematics、ベルリン、ニューヨーク: Springer-Verlag、doi :10.1007/978-3-662-03516-0、ISBN 978-3-540-62778-4、MR 1707296
- ヒューズ、サム (2018)、小マシュー群の表現と特性理論(PDF)
- マシュー、エミール (1861)、「Mémoire sur l'étude des fonctions de plusieurs quantités, sur la manière de lesformer et sur les substitutions qui les laissent invariables」、Journal de Mathématiques Pures et Appliquées、6 : 241–323
- Mathieu, Émile (1873)、「Sur la fonction cinq fois transitive de 24 quantités」、Journal de Mathématiques Pures et Appliquées (フランス語)、18 : 25–46、JFM 05.0088.01
- トンプソン、トーマス・M. (1983)、「誤り訂正符号から球面パッキングを経て単純群まで」、Carus Mathematical Monographs、第21巻、アメリカ数学協会、ISBN 978-0-88385-023-7、MR 0749038
- ウィット、エルンスト(1938a)、「über Steinersche Systeme」、ハンブルク大学数学セミナー、12 : 265–275、doi :10.1007/BF02948948、ISSN 0025-5858、S2CID 123106337
- Witt、Ernst (1938b)、「Die 5-fach transitiven Gruppen von Mathieu」、Abhandlungen aus dem Mathematischen セミナー der Universität Hamburg、12 : 256–264、doi :10.1007/BF02948947、S2CID 123658601
外部リンク
- MathWorld: マシュー群
- 有限群表現のアトラス: M12
