モンスター群

提供: testwiki
ナビゲーションに移動 検索に移動

テンプレート:About テンプレート:Groups

群論という現代代数学の分野において、モンスター群（モンスターぐん、テンプレート:Lang-en-short）テンプレート:Mvar とは最大のテンプレート:仮リンクであり、その位数は

テンプレート:Math
テンプレート:Math
テンプレート:Math

である。テンプレート:仮リンク・テンプレート:仮リンクモンスターあるいは Friendly Giant と呼ばれることもある。

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

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

歴史

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

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

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

モンスターのテンプレート:仮リンクとテンプレート:仮リンクはともに自明群である．

表現

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

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

モンスターは有理数体上のガロワ群やテンプレート:Sfn，テンプレート:仮リンクテンプレート:Sfnとして実現できる．

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

コンピュータによる構成

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

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

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

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

月光現象

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

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

マッケイの テンプレート:Math observation

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

極大部分群

26個の散在型単純群の図．部分商の関係を示している．pariah たちは丸で囲まれている．

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

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

テンプレート:Div col

テンプレート:Div col end

関連項目

脚注

テンプレート:Reflist

参考文献

外部リンク

  1. ↑ What is… The Monster? by Richard E. Borcherds, Notices of the American Mathematical Society, October 2002 1077
  2. ↑ Arithmetic groups and the affine E8 Dynkin diagram テンプレート:Webarchive, by John F. Duncan, in Groups and symmetries: from Neolithic Scots to John McKay
  3. ↑ テンプレート:Citation
「https://ja.wiki.beta.math.wmflabs.org/w/index.php?title=モンスター群&oldid=7481」から取得