魔群或怪獸群，或友善巨人（the Friendly Giant）或費雪格里斯怪獸（FischerGriess Monster），是一個有限單群，是 26 個散在群的其中之一，一般常將之記作 M 或 F1。 怪獸群的階是 26 個散在群中最大的，其階為 2463205976112133171923293141475971 808017424794512875886459904961710757005754368000000000 81053 有限單群的分類已完成 見有限單群分類一文。每個有限單群都屬於當中有的 18 類可數無限族中，或不包含於那些可系統化模式的 18 類可數無限族中，那 26 個的「散單群」中。而怪獸群是那 26 個散單群中階數最大的群。而二十六個散單群除了六個，其餘的散單群均是怪獸群的子集合。羅伯特格里斯 Robert Griess 將那六個不為魔群子集的群稱為「低群」，並以「快樂大家族」the happy family 一詞稱呼其他的散單群。 或許對怪獸群最好的定義方式，就是將之定義為同時包含康威群 Conway group 和的有限單群中階最小者（怪獸群雖為散在群中階最大的，但這不表示它是所有有限單群中階最大的，其他類的有限單群中有階比其更大者存在）。 存在性與唯一性 怪獸群的存在性最早在 1973 年為貝恩德費雪 Bernd Fischer，他未出版相關想法 與羅伯特格里斯所預測，他們當時認為存在一個單群，該單群包含子怪獸群中做為某個對合的中心化子的某個雙覆蓋。數月後，M 的階被格里斯以湯普森階公式 Thompson order formula 計算出，而費雪 Fischer、康威 Conway、諾頓 Norton 與湯普森 Thompson 等人則發現此群包含了其他的群做為其子商，被包含的群包括了許多已知的散單群，此外他們還發現了兩個新的單群：湯普森群和原田 諾頓群。格里斯將怪獸群建構為格里斯代數 一個 196884 維的交換非結合代數 的自同構群。約翰康威 John Horton Conway 和雅魁提次 Jacques Tits 隨後簡化了其建構。 格里斯的建構證明瞭怪獸群的存在。約翰湯普森 John G Thompson 則說明瞭其做為階為此數的單群的唯一性可由一個 196883 維忠實表示法的存在得出。該表示法的存在性在 1982 年為西蒙諾頓 Simon P Norton 提出，然而他從未發表此證明的細節。第一個關於怪獸群唯一性的證明則由格里斯、麥爾法蘭肯菲爾德 Meierfrankenfeld 和塞格夫 Segev 給出。 月光猜想 怪獸群是康威 Conway 和諾頓 Norton 所提出的怪獸月光理論的兩個主要成份之一。此猜想與離散和非離散數學相關，並在 1992 年為理查伯切德斯 Richard Borcherds 所證明。 在此設定下，怪獸群可由怪獸群模組的自同構群示現：亦即由一作用在怪獸李代數上，屬廣義 KacMoody 代數，且包含 Griess 代數的無窮維代數的頂點運算元代數示現而出。 表示與維度 一個忠實的複數表示的最小度數是 196883，它是怪獸群階數可分得 3 個因子乘積的分割。當中怪獸群的最小忠實排列表示是 243753741113229415971 約 1020 點。他可被視為有理數上的一個伽羅瓦群而實現，並視為一個胡爾維茲群 Hurwitz group。 怪獸群在單群中並不平常，因並沒有已知的簡單規則或方法可表示他的元素，而這並非起因於他大小的表示因素。例如，單群 A100 和 SL20（2）相對是大，但容易計算，因為它們是具已知的置換或線性表示；交錯群具有與之的大小相較下的置換表示，且所有有限單李型式群有線性表示。除了怪物群之外的所有散單群體也具有足夠小的線性表示，以至於它們易於在計算機上工作（而難度僅次於怪物群的，為可分割成維度 4370 的小怪獸群 baby Monster 表示）。 麥凱的 E8 觀察 怪獸群和擴張登金圖 Dynkin diagramtilde E_8 亦存在著關係，其關聯在圖結點與怪獸群同餘類之間表現得更明顯，此關聯又被稱作「麥凱的 E8 觀察」McKays E8 observation Arithmetic groups and the affine E8 Dynkin diagram by John F Duncan in Groups and symmetries from Neolithic Scots to John McKay 子群結構 怪獸群包含了至少 44 個共軛類的極大子群。六十數種同構型別的非交換單群，亦包含在怪獸群中，做為怪獸群的子群或子群的商群。 怪獸群的子群包括了 26 個散在群中的多數，但非全部的散在群都是它的子群。一旁所示之圖是基於馬克羅南 Mark Ronan 所撰的書《Symmetry and the Monster》的，表明這些散在單群是如何與彼此產生關係的。線段表示下方的群被其上的群所包含，並為其上的群的子商。圈起來的符號，表示該符號所代表的群不被包含於其他更大的散在單群中。為了清楚表明，多餘的包含關係在此圖中未表示。 2B 對合 involution 的中心化子 Centralizer 包含一 Sylow 47 子群的正規化子 normalizer 4723 2 。 2SUP124SUPCoSUB1SUB 對合的中心化子。 3FiSUB24SUB 階數 3 子群的正規化子；包含一 Sylow 29 子群的正規化子 2914 32。 2SUP2SUPSUP2SUPESUB6SUB22SSUB3SUB 一 Klein 4 群的正規化子。 2SUP1016SUPOSUB10SUBSUPSUP2 2SUP21122SUPMSUB24SUB SSUB3SUB 一 Klein 4 群的正規化子；含一 Sylow 23 子群的正規化子 2311 SSUB4SUB。 3SUP112SUP2Suz2 階數 3 子群的正規化子。 2SUP51020SUPSSUB3SUB LSUB5SUB2 SSUB3SUB Th 階數 3 子群的正規化子；含一 Sylow 31 子群的正規化子 3115 SSUB3SUB 。 2SUP361218SUPLSUB3SUB2 3SSUB6SUB 3SUP8SUPOSUB8SUBSUPSUP32SUB3SUB DSUB10SUB HN2 階數 5 子群的正規化子。 3SUP2SUP2 OSUB8SUBSUPSUP3SSUB4SUB 3SUP2510SUPMSUB11SUB 2SSUB4SUB 3SUP3266SUPLSUB3SUB3 SDSUB16SUB 5SUP16SUP2JSUB2SUB4 階數 5 子群的正規化子。 73 He2 階數 7 子群的正規化子。 ASUB5SUB ASUB12SUB2 5SUP33SUP2 LSUB3SUB5 ASUB6SUB ASUB6SUB ASUB6SUB2 SSUB4SUB ASUB5SUB USUB3SUB83SUB1SUB2 含一 Sylow 19 子群的正規化子 199 ASUB5SUB2 。 5SUP224SUPSSUB3SUB GLSUB2SUB5 LSUB3SUB2 SSUB4SUB422 含一 Sylow 17 子群的正規化子 178 LSUB3SUB22 。 7SUP14SUP3 2SSUB7SUB 階數 7 子群的正規化子。 5SUP2SUP42SUP2SUP USUB3SUB5SSUB3SUB LSUB2SUB11 MSUB12SUB2 包含階數 11 子群的正規化子 115 MSUB12SUB2 。 ASUB7SUB ASUB5SUB ASUB5SUB2SUP2SUP2 5SUP4SUP3 2LSUB2SUB252SUB2SUB 7SUP212SUPGLSUB2SUB7 MSUB11SUB ASUB6SUB2SUP2SUP SSUB5SUB SSUB5SUB SSUB5SUBSSUB3SUB LSUB2SUB11 LSUB2SUB114 13SUP2SUP2LSUB2SUB134 7SUP2SUP3 2ASUB4SUB LSUB2SUB72 136 LSUB3SUB32 階數 13 子群的正規化子。 13SUP12SUP3 4SSUB4SUB 階數 13 子群的正規化子；一 Sylow 13 子群的正規化子。 LSUB2SUB71 含一 Sylow 71 子群的正規化子 7135。 LSUB2SUB59 含一 Sylow 59 子群的正規化子 5929。 11SUP2SUP5 2ASUB5SUB Sylow 11 子群的正規化子。 LSUB2SUB41 找到此形式的極大子群；此是由於 Zavarnitsine 指出一些先前的沒有這樣的極大子群存在。 LSUB2SUB292 7SUP2SUPSLSUB2SUB7 一些過去 7 區域性子群的表中此被意外地忽略了。 LSUB2SUB192 4140 一 Sylow 41 子群的正規化子。 相關條目 超級單獨質數：魔群階數的質因數 腳註 參照 約翰何頓康威 and Monstrous Moonshine Bull London Math Soc 11 1979 no 3 308339 約翰何頓康威；Curtis R T and Atlas of Finite Groups Maximal Subgroups and Ordinary Characters for Simple Groups Oxford England 1985 P E Holmes and A computer construction of the Monster using 2local subgroups J London Math Soc 67 2003 346364 S A Linton R A Parker P G Walsh and R A Wilson Computer construction of the Monster J Group Theory 1 1998 307337 The uniqueness of the FischerGriess Monster Finite groupscoming of age Montreal Que 1982 271285 Contemp Math 45 Amer Math Soc Providence RI 1985 Symmetry and the Monster Oxford University Press 2006 ISBN 0192807226 concise introduction for the lay reader 馬庫斯杜索托伊，Finding Moonshine Fourth Estate 2008 ISBN 9780007214617 another introduction for the lay reader published in the US by HarperCollins as Symmetry ISBN 9780060789404 外部連結 MathWorld Monster Group Atlas of Finite Group Representations Monster group Abstruse Goose FischerGriess Monster Category 散在群 Category 月光理論