モンスター群

群論という現代代数学の分野において、モンスター群（モンスターぐん、） とは最大のであり、その位数は

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

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

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

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

グリースの構成はモンスターの存在を示した． は（有限単純群の分類から来るいくつかの条件を満たす単純群としての）その一意性が  次元の忠実表現の存在から従うことを示した．そのような表現の存在の証明は  により発表されたが，彼は詳細を出版することはなかった． はモンスターの一意性の初めての完全な出版された証明を与えた（正確には，彼らはモンスターと同じ対合の中心化群を持つ群はモンスターと同型であることを示した）．

モンスターは散在型単純群の発展の全盛であり，以下の3つの部分商のうちどの2つからも構成できる： , ， .

モンスターのとはともに自明群である．

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

モンスターの最小忠実置換表現は  点（およそ  点）上のものである．

モンスターは有理数体上のガロワ群や，として実現できる．

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

コンピュータによる構成 
 (Robert A. Wilson) は（コンピュータの助けを借りて）モンスター群を生成する2つの（2元体を係数とする）196,882 次行列を明示的に見つけた．これは標数 0 の 196,883 次元表現よりも 1 次元低い．これらの行列で計算を実行することは可能だが，そのような行列はそれぞれ 4.5 ギガバイト以上を占めるので，時間と容量の点であまりにも高くつく．

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

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

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

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

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

マッケイの  observation 
モンスターと拡張ディンキン図形  の間にも関係がある．具体的には図形の頂点とモンスターの共役類との関係であり，McKay's  observation と呼ばれる．するとこれは拡張図形  と群 , ,  の間の関係に拡張される．ここでこれらの群は，，モンスターの（3/2/1 重中心拡大）である．これらはモンスターの 1A, 2A, 3A 型の元の中心化群に付随するであり，拡大の次数は図形の対称性と対応している．（型の）さらなる関係については，ADE classification: trinities を参照．かなり小さい単純群  との対応やブリング (Bring) の曲線と呼ばれる種数  の canonic sextic curve の 120 の tritangent plane との対応を（モンスターに対し）含む．

極大部分群

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

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

   ある対合の中心化群；シロー  部分群の正規化群  を含む．
   ある対合の中心化群．
   位数  のある部分群の正規化群；シロー  部分群の正規化群  を含む．
   クラインの4群の正規化群．
 
   クラインの4群の正規化群；シロー  部分群の正規化群  を含む．
   位数3の部分群の正規化群．
 
   位数3の部分群の正規化群；シロー 31 部分群の正規化群  を含む．
 
 
   位数 5 の部分群の正規化群．
 
 
 
   位数 5 の部分群の正規化群．
   位数 7 の部分群の正規化群．
 
 
 
   シロー 19 部分群の正規化群  を含む．
 
   シロー 17 部分群の正規化群  を含む．
   位数 7 の部分群の正規化群．
 
   位数 11 の部分群の正規化群  を含む．
 
 
 
 
 
 
 
 
   位数 13 の部分群の正規化群．
   位数 13 の部分群の正規化群；シロー 13 部分群の正規化群．
    シロー 71 部分群の正規化群  を含む．
    シロー 59 部分群の正規化群  を含む．
   シロー 11 部分群の正規化群．
    はこの形の極大部分群を見つけた；微妙な誤りのためいくつかの以前のリストや論文はそのような極大部分群は存在しないと述べていた．
   
   これは7局所部分群のいくつかの以前のリストでは誤って除かれていた．
   
   シロー 41 部分群の正規化群．

関連項目 
 、モンスターの位数を割る素数
 モンストラス・ムーンシャイン

脚注

参考文献 
J. H. Conway and S. P. Norton, Monstrous Moonshine, Bull. London Math. Soc.  11  (1979), 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 (2003), 346–364.

S. A. Linton, R. A. Parker, P. G. Walsh and R. A. Wilson, Computer construction of the Monster, J. Group Theory 1 (1998), 307–337.

M. Ronan, Symmetry and the Monster, Oxford University Press, 2006, ISBN 0-19-280722-6 (concise introduction for the lay reader).
M. du Sautoy, Finding Moonshine, Fourth Estate, 2008, ISBN 978-0-00-721461-7 (another introduction for the lay reader; published in the US by HarperCollins as Symmetry, ISBN 978-0-06-078940-4).

外部リンク
 What is… The Monster? by Richard E. Borcherds, Notices of the American Mathematical Society, October 2002 1077
 MathWorld: Monster Group
 Atlas of Finite Group Representations: Monster group
 Scientific American June 1980 Issue: The capture of the monster: a mathematical group with a ridiculous number of elements

散在群
月光理論
数学に関する記事