モンスター群

群論という現代代数学の分野において、モンスター群M}} とは最大の散在型単純群であり、その位数は

である。Bernd Fischer ・Robert Griessモンスターあるいは Friendly Giant と呼ばれることもある。

有限単純群は完全に分類されている。そのような群は18種類の可算無限族の1つに属するか、あるいはそのような系統的なパターンに従わない26個の散在群の1つである。モンスター群は他の散在群のうち6個を除くすべてを部分商として含む。ロバート・グリース  はこれら6個の例外を Pariah group と呼び、他の20個を //happy family// と呼んでいる。

モンスターの良い構成的定義をすることはその複雑さのため難しい。

1. 歴史
-----

モンスターはベルンド・フィシャーと txt によって，フィッシャーのベビーモンスター群の二重被覆群をある対合の中心化群として含む単純群として予言された．数か月のうちにグライス  により M}} の位数がトンプソンの位数公式を用いて計算され，フィシャー，コンウェイ ，ノートン ，トンプソンは既知の散在群の多くと新しい2つを含む，他の群を部分商として発見した．新しい2つは，トンプソン群 と原田・ノートン群である．モンスターの指標表は，194行194列からなるが，1979年にフィッシャーとドナルド・リヴィングストーン  によって，マイケル・ソーン  によって書かれたコンピュータプログラムを用いて計算された．1970年代にはモンスターが実際に存在することははっきりしていなかった．Griess は M}} を，196,884}}次元の可換非結合環であるグリース代数の自己同型群として構成した．彼は彼の構成を最初に Ann Arbor Jan. 14, 1980 に発表した．彼は1982年の論文でモンスターを Friendly Giant と呼んだが，この名前は一般には受け入れられていない．txt と txt は続いてこの構成を単純化した．

グリースの構成はモンスターの存在を示した．txt はその一意性が 196,883}} 次元の忠実表現の存在から従うことを示した．そのような表現の存在の証明は txt により発表されたが，彼は詳細を出版することはなかった．Griess はモンスターの一意性の初めての完全な出版された証明を与えた．

モンスターは散在型単純群の発展の全盛であり，以下の3つの部分商のうちどの2つからも構成できる：フィッシャー群 Fi24}}, ベビー・モンスター，コンウェイ群 Co1}}.

モンスターのシューア乗数と外部自己同型群はともに自明群である．

2. 表現
-----

忠実な複素表現の最小次数は 196,883}} であり，これは M}} の位数の最も大きい素因数3つの積である．任意の体上の最小忠実線型表現は2元体上 196,882}} 次元であり，最小忠実複素表現の次元より 1}} 小さいだけである．

モンスターの最小忠実置換表現は 24 ⋅ 37 ⋅ 53 ⋅ 74 ⋅ 11 ⋅ 132 ⋅ 29 ⋅ 41 ⋅ 59 ⋅ 71}} 点上のものである．

モンスターは有理数体上のガロワ群やThompson，フルヴィッツ群Wilsonとして実現できる．

モンスターは単純群の中でもその元を表す易しい方法が知られていないという点で異例である．これは「小さい」表現が存在しないことに関して，その大きさが主な原因というわけではない．例えば，単純群 //A//100}} や SL20}} ははるかに大きいが，「小さい」置換あるいは線型表現を持つから計算するのは易しい．交代群は群の大きさに比べて「小さい」置換表現を持ち，リー型のすべての有限単純群は群の大きさに比べて「小さい」線型表現を持つ．モンスター以外のすべての散在群もまたコンピュータで容易に計算できる十分小さい線型表現を持つ．

2.1. コンピュータによる構成
----------------

ロバート・アーノット・ウィルソン  はモンスター群を生成する2つの196,882 次行列を明示的に見つけた．これは標数 0 の 196,883 次元表現よりも 1 次元低い．これらの行列で計算を実行することは可能だが，そのような行列はそれぞれ 4.5 ギガバイト以上を占めるので，時間と容量の点であまりにも高くつく．

ウィルソンはモンスターの最良の記述は「モンスター頂点代数の自己同型群である」ということだと主張する．しかしこれはそれほど助けにはならない，なぜならば誰も「モンスター頂点代数の本当に単純で自然な構成」を発見していないからである．

ウィルソンは共同研究者とともに大幅にはやくモンスターについての計算を実行する手法を発見した．V}} を2元体上の 196,882 次元ベクトル空間とする．モンスターの大きい部分群 H}}は計算の実行が容易なように選ばれる．選ばれる部分群 H}} は 3sup である，ただし Suz}} は鈴木群である．モンスターの元は H}} の元とある余分な生成元 T}} の語として保存される．V}} のベクトルへのこれらの語の1つの作用を計算することはそれなりにはやい．この作用を用いて計算を実行することが可能である．ウィルソンは joint stabilizer が自明群となるベクトル u}}, v}} を見つけた．したがってモンスターの元 g}} の位数を，1=//g////i////u// = //u//}} かつ 1=//g////i////v// = //v//}} なる最小の //i// > 0}} を見つけることによって計算できる．

同じ構成や類似の構成がその局所的でない極大部分群のいくつかを見つけるために用いられている．

3. 月光現象
-------

モンスター群はコンウェイ  とノートン  によるモンストラス・ムーンシャイン予想の2つの主要な要素の1つである．予想は離散数学と非離散数学を関係づけるもので，リチャード・ボーチャーズ  によって1992年に最終的に証明された．

この設定において，モンスター群は，モンスター加群という，グリース代数を含む無限次元の頂点作用素代数の自己同型群として見ることができ，一般カッツ・ムーディ代数モンスター・リー環に作用する．

4. マッケイの E8}} observation
-------------------------

モンスターと拡張ディンキン図形 の間にも関係がある．具体的には図形の頂点とモンスターの共役類との関係であり，//McKay's E8}} observation// と呼ばれる．するとこれは拡張図形 と群 3.//Fi//24′}}, 2.//B//}}, M}} の間の関係に拡張される．ここでこれらの群はフィッシャー群，ベビー・モンスター群，モンスターのである．これらはモンスターの 1A, 2A, 3A 型の元の中心化群に付随する散在群であり，拡大の次数は図形の対称性と対応している．さらなる関係については，ADE classification: trinities を参照．かなり小さい単純群 [[射影特殊線型群 との対応やブリング  の曲線と呼ばれる種数 4}} の canonic sextic curve の 120 の tritangent plane との対応を含む．

5. 極大部分群
--------

モンスターは少なくとも44個の極大部分群の共役類を持つ．約60の同型型の非可換単純群が部分群あるいは部分群の商として見つかる．表される最大の交代群は Asub である．モンスターは26個の散在群のうち20個を部分商として含む．この図は，マーク・ロナン  の本 //Symmetry and the Monster// にあるものに基づいているが，それらが互いにどのように関係するかを示している．線分は下の群が上の群の部分商であることを意味する．丸い記号はより大きい散在群と関わらない群を表す．明瞭にするため冗長な包含は示されていない．

モンスターの極大部分群の類のうち44は以下のリストにより与えられる．これはL2}}, U3}}, あるいは U3}} の形の非可換単純 socle を持つ概単純部分群をありうる例外として完全であると信じられているWilsonNortonWilson．しかしながら，極大部分群の表はしばしば微妙な誤りを含んでいることが見つかり，特に以下のリストの部分群のうち少なくとも2つは以前のリストでは誤って除外された．

2.B}} .5em}} ある対合の中心化群；シロー 47}} 部分群の正規化群  × 2}} を含む．
2sup .5em}} ある対合の中心化群．
3.Fisub .5em}} 位数 3}} のある部分群の正規化群；シロー 29}} 部分群の正規化群  × 3).2}} を含む．
22.2E6:S3}} .5em}} クラインの4群の正規化群．
22+11+22.}} .5em}} クラインの4群の正規化群；シロー 23}} 部分群の正規化群  × S4}} を含む．
31+12.2Suz.2}} .5em}} 位数3の部分群の正規化群．
S3 × Th}} .5em}} 位数3の部分群の正規化群；シロー 31 部分群の正規化群  × S3}} を含む．
.2}} .5em}} 位数 5 の部分群の正規化群．
51+6:2J2:4}} .5em}} 位数 5 の部分群の正規化群．
:2}} .5em}} 位数 7 の部分群の正規化群．
:31):2}} .5em}} シロー 19 部分群の正規化群  × A5):2}} を含む．
 × S4:2).2}} .5em}} シロー 17 部分群の正規化群  × L3).2}} を含む．
71+4:}} .5em}} 位数 7 の部分群の正規化群．
 × M12):2}} .5em}} 位数 11 の部分群の正規化群 :2}} を含む．
).2}} .5em}} 位数 13 の部分群の正規化群．
131+2:}} .5em}} 位数 13 の部分群の正規化群；シロー 13 部分群の正規化群．
L2}} .5em}} Holmes シロー 71 部分群の正規化群 71:35}} を含む．
L2}} .5em}} Holmes シロー 59 部分群の正規化群 59:29}} を含む．
112:}} .5em}} シロー 11 部分群の正規化群．
L2}} .5em}} Norton はこの形の極大部分群を見つけた；微妙な誤りのためいくつかの以前のリストや論文はそのような極大部分群は存在しないと述べていた．
L2:2}} .5em}}
72:SL2}} .5em}} これは7局所部分群のいくつかの以前のリストでは誤って除かれていた．
L2:2}} .5em}}
41:40}} .5em}} シロー 41 部分群の正規化群．

6. 関連項目
-------

超特異素数 、モンスターの位数を割る素数
モンストラス・ムーンシャイン

7. 脚注
-----

8. 参考文献
-------

J. H. Conway and S. P. Norton, //Monstrous Moonshine//, Bull. London Math. Soc. 11 , no. 3, 308–339.
Conway, J. H.; Curtis, R. T.; Norton, S. P.; Parker, R. A.; and Wilson, R. A.: //Atlas of Finite Groups: Maximal Subgroups and Ordinary Characters for Simple Groups//. Oxford, England 1985.
P. E. Holmes and R. A. Wilson, //A computer construction of the Monster using 2-local subgroups//, J. London Math. Soc. 67 , 346–364.
S. A. Linton, R. A. Parker, P. G. Walsh and R. A. Wilson, //Computer construction of the Monster//, J. Group Theory 1 , 307–337.
M. Ronan, //Symmetry and the Monster//, Oxford University Press, 2006, ISBN 0-19-280722-6 .
M. du Sautoy, //Finding Moonshine//, Fourth Estate, 2008, ISBN 978-0-00-721461-7 .

9. 外部リンク
--------

[1] by Richard E. Borcherds, Notices of the American Mathematical Society, October 2002 1077
[2]
[3]
[4]