|
|
| Line 1: |
Line 1: |
| {{for|infinite groups with all nontrivial proper subgroups isomorphic|Tarski monster group}}
| | My name is Tracey from Vollezele studying Business and Management. I did my schooling, secured 78% and hope to find someone with same interests in Vintage car.<br><br>Stop by my blog :: [http://www.Disneynerd.net/stylist-tells-you-what-you-need-in-your-closet-this-season/ FIFA Coin generator] |
| | |
| In the [[mathematical]] field of [[group theory]], the '''monster group''' ''M'' or ''F''<sub>1</sub> (also known as the Fischer–[[Griess]] monster, or the Friendly Giant) is a [[group (mathematics)|group]] of [[Finite group|finite]] [[order (group theory)|order]]:
| |
| {| style="background:transparent; margin-left:2em;"
| |
| | || 2<sup>46</sup> · 3<sup>20</sup> · 5<sup>9</sup> · 7<sup>6</sup> · 11<sup>2</sup> · 13<sup>3</sup> · 17 · 19 · 23 · 29 · 31 · 41 · 47 · 59 · 71
| |
| |-
| |
| | = || 808,017,424,794,512,875,886,459,904,961,710,757,005,754,368,000,000,000
| |
| |-
| |
| | ≈ || 8 · 10<sup>53</sup>.
| |
| |}
| |
| {{Group theory sidebar |Finite}}
| |
| It is a ''[[simple group]]'', meaning it does not have any proper non-[[trivial group|trivial]] [[normal subgroup]]s (that is, the only non-trivial normal subgroup is ''M'' itself).
| |
| | |
| The finite simple groups have been completely classified (see the [[Classification of finite simple groups]]). The [[list of finite simple groups]] consists of 18 [[countably]] infinite families, plus 26 [[sporadic groups]] that do not follow such a systematic pattern. The monster group is the largest of these sporadic groups and contains all but six of the other sporadic groups as [[Section (group theory)|subquotient]]s. [[Robert Griess]] has called these six exceptions [[pariah group|pariahs]], and refers to the others as the '''happy family'''.
| |
| | |
| == Existence and uniqueness ==
| |
| | |
| The monster was predicted by [[Bernd Fischer (mathematician)|Bernd Fischer]] (unpublished) and {{harvs|txt|authorlink=Robert Griess|first=Robert|last= Griess|year=1976}} in about 1973 as a simple group containing a double cover of Fischer's [[baby monster group]] as a centralizer of an involution. Within a few months the order of M was found by Griess using the [[Thompson order formula]], and Fischer, Conway, Norton and Thompson discovered other groups as subquotients, including many of the known sporadic groups, and two new ones: the [[Thompson group (finite)|Thompson group]] and the [[Harada–Norton group]]. {{harvtxt|Griess|1982}} constructed M as the [[automorphism group]] of the [[Griess algebra]], a 196884-dimensional commutative nonassociative algebra. {{harvs|txt|authorlink=John Horton Conway|first=John |last=Conway|year=1985}} and {{harvs|txt|authorlink=Jacques Tits|first=Jacques|last=Tits|year1=1984|year2=1985}} subsequently simplified this construction.
| |
| | |
| Griess's construction showed that the monster existed. {{harvs|txt|authorlink=John G. Thompson|last=Thompson|year=1979}} showed that its uniqueness (as a simple group satisfying certain conditions coming from the classification of finite simple groups) would follow from the existence of a 196883-dimensional faithful representation. A proof of the existence of such a representation was announced by {{harvs|txt|authorlink=Simon P. Norton|last=Norton|year=1985}}, though he has never published the details. {{harvtxt|Griess|Meierfrankenfeld|Segev|1989}} gave the first complete published proof of the uniqueness of the monster (more precisely, they showed that a group with the same centralizers of involutions as the monster is isomorphic to the monster).
| |
| | |
| ==Representations==
| |
| | |
| The minimal degree of a faithful complex representation is 196883, which is the product of the 3 largest [[prime divisor]]s of the order of M.
| |
| The [[Character theory|character table]] of the monster, a 194-by-194 array, was calculated in 1979 by Fischer and Donald Livingstone using computer programs written by Michael Thorne. The smallest linear representation over any field has dimension 196882 over the field with 2 elements, only 1 less than the dimension of the smallest complex representation.
| |
| | |
| The smallest faithful permutation representation of the monster is on
| |
| 2<sup>4</sup> · 3<sup>7</sup> · 5<sup>3</sup> · 7<sup>4</sup> · 11 · 13<sup>2</sup> · 29 · 41 · 59 · 71 (about 10<sup>20</sup>)
| |
| points.
| |
| | |
| The monster can be realized as a [[Galois group]] over the [[rational number]]s {{Harv|Thompson|1984|loc=p. 443}}, and as a [[Hurwitz group]] {{Harv|Wilson|2004}}.
| |
| | |
| The monster is unusual among simple groups in that there is no known easy way to represent its elements. This is not due so much to its size as to the absence of "small" representations. For example, the simple groups ''A''<sub>100</sub> and SL<sub>20</sub>(2) are far larger, but easy to calculate with as they have "small" permutation or linear representations. The alternating groups have permutation representations that are "small" compared to the size of the group, and all finite simple groups of Lie type have linear representations that are "small" compared to the size of the group. All sporadic groups other than the monster also have linear representations small enough that they are easy to work with on a computer (the next hardest case after the monster is the baby monster, with a representation of dimension 4370).
| |
| | |
| === A computer construction ===
| |
| | |
| [[Robert Arnott Wilson|Robert A. Wilson]] has found explicitly (with the aid of a computer) two 196882 by 196882 matrices (with elements in the [[Finite field|field of order 2]]) which together generate the monster group; this is one dimension lower than the 196883-dimensional representation in characteristic 0. Performing calculations with these matrices is possible but is too expensive in terms of time and storage space to be useful. Wilson with collaborators has found a method of performing calculations with the monster that is considerably faster.
| |
| | |
| Let ''V'' be a 196882 dimensional vector space over the field with 2 elements. A large subgroup ''H'' (preferably a maximal subgroup) of the monster is selected in which it is easy to perform calculations. The subgroup ''H'' chosen is 3<SUP>1+12</SUP>.2.Suz.2, where Suz is the [[Suzuki sporadic group|Suzuki group]]. Elements of the monster are stored as words in the elements of ''H'' and an extra generator ''T''. It is reasonably quick to calculate the action of one of these words on a vector in ''V''. Using this action, it is possible to perform calculations (such as the order of an element of the monster). Wilson has exhibited vectors ''u'' and ''v'' whose joint stabilizer is the trivial group. Thus (for example) one can calculate the order of an element ''g'' of the monster by finding the smallest ''i'' > 0 such that ''g''<sup>''i''</sup>''u'' = ''u'' and ''g''<sup>''i''</sup>''v'' = ''v''.
| |
| | |
| This and similar constructions (in different [[characteristic (algebra)|characteristics]]) have been used to find some of its non-local maximal subgroups.
| |
| | |
| == Moonshine ==
| |
| | |
| The monster group is one of two principal constituents in the [[Monstrous moonshine]] conjecture by Conway and Norton, which relates discrete and non-discrete mathematics and was finally proved by [[Richard Ewen Borcherds|Richard Borcherds]] in 1992.
| |
| | |
| In this setting, the monster group is visible as the automorphism group of the [[monster module]], a [[vertex operator algebra]], an infinite dimensional algebra containing the Griess algebra, and acts on the [[monster Lie algebra]], a [[generalized Kac–Moody algebra]].
| |
| | |
| == McKay's E<sub>8</sub> observation ==
| |
| | |
| There are also connections between the monster and the extended [[Dynkin diagram]]s <math>\tilde E_8,</math> specifically between the nodes of the diagram and certain conjugacy classes in the monster, known as ''McKay's E<sub>8</sub> observation''.<ref>[http://arxiv4.library.cornell.edu/abs/0810.1465 Arithmetic groups and the affine E<sub>8</sub> Dynkin diagram], by John F. Duncan, in ''Groups and symmetries: from Neolithic Scots to John McKay''</ref><ref name="monster">{{citation | last = le Bruyn | first = Lieven | title = the monster graph and McKay's observation | url = http://www.neverendingbooks.org/the-monster-graph-and-mckays-observation | date = 22 April 2009 }}</ref> This is then extended to a relation between the extended diagrams <math>\tilde E_6, \tilde E_7, \tilde E_8</math> and the groups 3.''Fi''<sub>24</sub>', 2.''B'', and ''M'', where these are (3/2/1-fold central extensions) of the [[Fischer group]], [[baby monster group]], and monster. These are the [[sporadic group]]s associated with centralizers of elements of type 1A, 2A, and 3A in the monster, and the order of the extension corresponds to the symmetries of the diagram. See [[ADE classification#Trinities|ADE classification: trinities]] for further connections (of [[McKay correspondence]] type), including (for the monster) with the rather small simple group [[projective special linear group|PSL]](2,11) and with the 120 tritangent planes of a canonic sextic curve of genus 4.
| |
| | |
| ==Subgroup structure==
| |
| [[Image:Finitesubgroups.svg|thumb|Sporadic Finite Groups Showing (Sporadic) Subgroups. The diagram incorrectly omits a line from M11 to O'Nan.]]
| |
| The monster has at least 44 conjugacy classes of maximal subgroups. Non-abelian simple groups of some 60 isomorphism types are found as subgroups or as quotients of subgroups. The largest [[alternating group]] represented is A<sub>12</sub>.
| |
| The monster contains 20 of the 26 [[sporadic groups]] as subquotients. This diagram, based on one in the book ''Symmetry and the monster'' by [[Mark Ronan]], shows how they fit together. The lines signify inclusion, as a subquotient, of the lower group by the upper one. The circled symbols denote groups not involved in larger sporadic groups. For the sake of clarity redundant inclusions are not shown.
| |
| | |
| 44 of the classes of maximal subgroups of the monster are given by the following list, which is (as of 2012) believed to be complete except possibly for subgroups normalizing simple subgroups of the form L<sub>2</sub>(13), U<sub>3</sub>(4), U<sub>3</sub>(8), and Suz(8) {{harv|Wilson|2010}}, {{harv|Norton|Wilson|2013}}. However tables of maximal subgroups have often been found to contain subtle errors, and in particular at least two of the subgroups on the list below were incorrectly omitted in some previous lists.
| |
| | |
| 2.B Centralizer of an involution
| |
| | |
| 2<SUP>1+24</SUP>.Co<SUB>1</SUB> Centralizer of an involution
| |
| | |
| 3.Fi<SUB>24</SUB> Normalizer of a subgroup of order 3.
| |
| | |
| 2<SUP>2</SUP>.<SUP>2</SUP>E<SUB>6</SUB>(2<sup>2</sup>):S<SUB>3</SUB> Normalizer of a 4-group
| |
| | |
| 2<SUP>10+16</SUP>.O<SUB>10</SUB><SUP>+</SUP>(2)
| |
|
| |
| 2<SUP>2+11+22</SUP>.(M<SUB>24</SUB> × S<SUB>3</SUB>)
| |
| | |
| 3<SUP>1+12</SUP>.2Suz.2 Normalizer of a subgroup of order 3.
| |
| | |
| 2<SUP>5+10+20</SUP>.(S<SUB>3</SUB> × L<SUB>5</SUB>(2))
| |
| | |
| S<SUB>3</SUB> × Th Normalizer of a subgroup of order 3.
| |
| | |
| 2<SUP>3+6+12+18</SUP>.(L<SUB>3</SUB>(2) × 3S<SUB>6</SUB>)
| |
| | |
| 3<SUP>8</SUP>.O<SUB>8</SUB><SUP>−</SUP>(3).2<SUB>3</SUB>
| |
| | |
| (D<SUB>10</SUB> × HN).2 Normalizer of a subgroup of order 5.
| |
| | |
| (3<SUP>2</SUP>:2 × O<SUB>8</SUB><SUP>+</SUP>(3)).S<SUB>4</SUB>
| |
| | |
| 3<SUP>2+5+10</SUP>.(M<SUB>11</SUB> × 2S<SUB>4</SUB>)
| |
| | |
| 3<SUP>3+2+6+6</SUP>:(L<SUB>3</SUB>(3) × SD<SUB>16</SUB>)
| |
| | |
| 5<SUP>1+6</SUP>:2J<SUB>2</SUB>:4 Normalizer of a subgroup of order 5.
| |
| | |
| (7:3 × He):2 Normalizer of a subgroup of order 7.
| |
| | |
| (A<SUB>5</SUB> × A<SUB>12</SUB>):2
| |
| | |
| 5<SUP>3+3</SUP>.(2 × L<SUB>3</SUB>(5))
| |
| | |
| (A<SUB>6</SUB> × A<SUB>6</SUB> × A<SUB>6</SUB>).(2 × S<SUB>4</SUB>)
| |
| | |
| (A<SUB>5</SUB> × U<SUB>3</SUB>(8):3<SUB>1</SUB>):2
| |
| | |
| 5<SUP>2+2+4</SUP>:(S<SUB>3</SUB> × GL<SUB>2</SUB>(5))
| |
| | |
| (L<SUB>3</SUB>(2) × S<SUB>4</SUB>(4):2).2
| |
| | |
| 7<SUP>1+4</SUP>:(3 × 2S<SUB>7</SUB>) Normalizer of a subgroup of order 7.
| |
| | |
| (5<SUP>2</SUP>:[2<SUP>4</SUP>] × U<SUB>3</SUB>(5)).S<SUB>3</SUB>
| |
| | |
| (L<SUB>2</SUB>(11) × M<SUB>12</SUB>):2 Contains the normalizer (11.5 × M<SUB>12</SUB>):2 of a subgroup of order 11.
| |
| | |
| (A<SUB>7</SUB> × (A<SUB>5</SUB> × A<SUB>5</SUB>):2<SUP>2</SUP>):2
| |
| | |
| 5<SUP>4</SUP>:(3 × 2L<SUB>2</SUB>(25)):2<SUB>2</SUB>
| |
| | |
| 7<SUP>2+1+2</SUP>:GL<SUB>2</SUB>(7)
| |
| | |
| M<SUB>11</SUB> × A<SUB>6</SUB>.2<SUP>2</SUP>
| |
| | |
| (S<SUB>5</SUB> × S<SUB>5</SUB> × S<SUB>5</SUB>):S<SUB>3</SUB>
| |
| | |
| (L<SUB>2</SUB>(11) × L<SUB>2</SUB>(11)):4
| |
| | |
| 13<SUP>2</SUP>:2L<SUB>2</SUB>(13).4
| |
| | |
| (7<SUP>2</SUP>:(3 × 2A<SUB>4</SUB>) × L<SUB>2</SUB>(7)).2
| |
| | |
| (13:6 × L<SUB>3</SUB>(3)).2 Normalizer of a subgroup of order 13.
| |
| | |
| 13<SUP>1+2</SUP>:(3 × 4S<SUB>4</SUB>) Normalizer of a subgroup of order 13.
| |
| | |
| L<SUB>2</SUB>(71) {{harv|Holmes|Wilson|2008}}
| |
| | |
| L<SUB>2</SUB>(59) {{harv|Holmes|Wilson|2004}}
| |
| | |
| 11<SUP>2</SUP>:(5 × 2A<SUB>5</SUB>)
| |
| | |
| L<SUB>2</SUB>(41) {{harvtxt|Norton|Wilson|2013}} found a maximal subgroup of this form; due to a subtle error, some previous lists and papers stated that no such maximal subgroup existed.
| |
| | |
| L<SUB>2</SUB>(29):2 {{harv|Holmes|Wilson|2002}}
| |
| | |
| 7<SUP>2</SUP>:SL<SUB>2</SUB>(7) This was accidentally omitted on some previous lists of 7-local subgroups.
| |
| | |
| L<SUB>2</SUB>(19):2 {{harv|Holmes|Wilson|2008}}
| |
| | |
| 41:40 Normalizer of a subgroup of order 41.
| |
| | |
| ==Notes==
| |
| {{reflist}}
| |
| | |
| == References ==
| |
| *[[John Horton Conway|J. H. Conway]] and [[Simon P. Norton|S. P. Norton]], ''Monstrous Moonshine'', Bull. London Math. Soc. 11 (1979), no. 3, 308–339.
| |
| *{{Citation | last1=Conway | first1=John Horton | author1-link=John Horton Conway | title=A simple construction for the Fischer–Griess monster group | doi=10.1007/BF01388521 | mr=782233 | year=1985 | journal=[[Inventiones Mathematicae]] | issn=0020-9910 | volume=79 | issue=3 | pages=513–540}}
| |
| *[[John Horton Conway|Conway, J. H.]]; Curtis, R. T.; [[Simon P. Norton|Norton, S. P.]]; [[Richard A. Parker|Parker, R. A.]]; and [[Robert Arnott Wilson|Wilson, R. A.]]: ''Atlas of Finite Groups: Maximal Subgroups and Ordinary Characters for Simple Groups''. Oxford, England 1985.
| |
| *{{Citation | last1=Griess | first1=Robert L. | editor1-last=Scott | editor1-first=W. Richard | editor2-last=Gross | editor2-first=Fletcher | title=Proceedings of the Conference on Finite Groups (Univ. Utah, Park City, Utah, 1975) | publisher=[[Academic Press]] | location=Boston, MA | isbn = 978-0-12-633650-4 | mr=0399248 | year=1976 | chapter=The structure of the monster simple group | pages=113–118}}
| |
| *{{Citation | last1=Griess| first1=Robert L. | title=The friendly giant | doi=10.1007/BF01389186 | mr=671653 | year=1982 | journal=[[Inventiones Mathematicae]] | issn=0020-9910 | volume=69 | issue=1 | pages=1–102}}
| |
| *{{Citation | last1=Griess | first1=Robert L | last2=Meierfrankenfeld | first2=Ulrich | last3=Segev | first3=Yoav | title=A uniqueness proof for the Monster | doi=10.2307/1971455 | jstor=1971455 | mr=1025167 | year=1989 | journal=[[Annals of Mathematics|Annals of Mathematics. Second Series]] | issn=0003-486X | volume=130 | issue=3 | pages=567–602}}
| |
| *{{Citation | last1=Harada | first1=Koichiro | title=Mathematics of the Monster | mr=1690763 | year=2001 | journal=Sugaku Expositions | issn=0898-9583 | volume=14 | issue=1 | pages=55–71}}
| |
| *{{Citation | last1=Holmes | first1=P. E. | last2=Wilson | first2=R. A. | title=A new maximal subgroup of the Monster | doi=10.1006/jabr.2001.9037 | mr=1900293 | year=2002 | journal=[[Journal of Algebra]] | issn=0021-8693 | volume=251 | issue=1 | pages=435–447}}
| |
| *P. E. Holmes and [[Robert Arnott Wilson|R. A. Wilson]], ''A computer construction of the Monster using 2-local subgroups'', J. London Math. Soc. 67 (2003), 346–364.
| |
| *{{Citation | last1=Holmes | first1=Petra E. | last2=Wilson | first2=Robert A. | title=PSL₂(59) is a subgroup of the Monster | doi=10.1112/S0024610703004915 | mr=2025332 | year=2004 | journal=Journal of the London Mathematical Society. Second Series | issn=0024-6107 | volume=69 | issue=1 | pages=141–152}}
| |
| *{{Citation | last1=Holmes | first1=Petra E. | last2=Wilson | first2=Robert A. | title=On subgroups of the Monster containing A₅'s | doi=10.1016/j.jalgebra.2003.11.014 | mr=2397402 | year=2008 | journal=[[Journal of Algebra]] | issn=0021-8693 | volume=319 | issue=7 | pages=2653–2667}}
| |
| *{{Citation | last1=Holmes | first1=P. E. | title=A classification of subgroups of the Monster isomorphic to S₄ and an application | doi=10.1016/j.jalgebra.2004.01.031 | mr=2408306 | year=2008 | journal=[[Journal of Algebra]] | issn=0021-8693 | volume=319 | issue=8 | pages=3089–3099}}
| |
| *{{citation|first=A. A. |last=Ivanov| isbn = 978-0-521-88994-0 |title=The Monster Group and Majorana Involutions|volume=176|publisher=Cambridge University Press|series=Cambridge tracts in mathematics}}
| |
| *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.
| |
| *{{Citation | last1=Norton | first1=Simon P. | title=Finite groups—coming of age (Montreal, Que., 1982) | publisher=[[American Mathematical Society]] | location=Providence, R.I. | series=Contemp. Math. | doi=10.1090/conm/045/822242 | mr=822242 | year=1985 | volume=45 | chapter=The uniqueness of the Fischer–Griess Monster | pages=271–285}}
| |
| *{{Citation | last1=Norton | first1=Simon P. | last2=Wilson | first2=Robert A. | title=Anatomy of the Monster. II | doi=10.1112/S0024611502013357 | mr=1888424 | year=2002 | journal=Proceedings of the London Mathematical Society. Third Series | issn=0024-6115 | volume=84 | issue=3 | pages=581–598}}
| |
| *{{Citation | last1=Norton | first1=Simon P. | title=The atlas of finite groups: ten years on (Birmingham, 1995) | publisher=[[Cambridge University Press]] | series=London Math. Soc. Lecture Note Ser. | isbn=978-0-521-57587-4 | doi=10.1017/CBO9780511565830.020 | mr=1647423 | year=1998 | volume=249 | chapter=Anatomy of the Monster. I | pages=198–214}}
| |
| *{{Citation | last1=Norton | first1=Simon P. | last2=Wilson | first2=Robert A. | title=A correction to the 41-structure of the Monster, a construction of a new maximal subgroup L2(41) and a new Moonshine phenomenon
| |
| |journal=J. Lond. Math. Soc. (2)|volume= 87 |year=2013|issue=3|pages= 943–962 | url=http://www.maths.qmul.ac.uk/~raw/pubs_files/ML241sub.pdf | year=2013}}
| |
| *[[Mark Ronan|M. Ronan]], ''Symmetry and the Monster'', Oxford University Press, 2006, ISBN 0-19-280722-6 (concise introduction for the lay reader).
| |
| *[[Marcus du Sautoy|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).
| |
| *{{Citation | last1=Thompson | first1=John G. | author1-link=John G. Thompson | title=Uniqueness of the Fischer-Griess monster | doi=10.1112/blms/11.3.340 | mr=554400 | year=1979 | journal=The Bulletin of the London Mathematical Society | issn=0024-6093 | volume=11 | issue=3 | pages=340–346}}
| |
| *{{Citation | last1=Thompson | first1=John G. | author1-link=John G. Thompson | title=Some finite groups which appear as Gal ''L''/''K'', where ''K'' ⊆ Q(μ<sub>n</sub>) | mr=751155 | year=1984 | journal=Journal of Algebra | volume=89 | issue=2 | pages=437–499 | doi=10.1016/0021-8693(84)90228-X}}
| |
| *{{Citation | last1=Tits | first1=Jacques | title=On R. Griess' "friendly giant" | doi=10.1007/BF01388446 | mr=768989 | year=1984 | journal=[[Inventiones Mathematicae]] | issn=0020-9910 | volume=78 | issue=3 | pages=491–499}}
| |
| *{{Citation | last1=Tits | first1=Jacques | title=Le Monstre (d'après R. Griess, B. Fischer et al.) | url=http://www.numdam.org/item?id=SB_1983-1984__26__105_0 | mr=768956 | year=1985 | journal=Astérisque | issn=0303-1179 | issue=121 | pages=105–122}}
| |
| *{{Citation | last1=Wilson | first1=Robert A. | title=Moonshine: the first quarter century and beyond | publisher=[[Cambridge University Press]] | series=London Math. Soc. Lecture Note Ser. | isbn=978-0-521-10664-1 | mr=2681789 | year=2010 | volume=372 | chapter=New computations in the Monster | pages=393–403}}
| |
| *{{cite doi|10.1515/jgth.2001.027}}
| |
| | |
| ==External links==
| |
| * [http://mathworld.wolfram.com/MonsterGroup.html MathWorld: Monster Group]
| |
| * [http://brauer.maths.qmul.ac.uk/Atlas/v3/spor/M/ Atlas of Finite Group Representations: Monster group]
| |
| * [http://abstrusegoose.com/96 Abstruse Goose: Fischer–Griess Monster]
| |
| | |
| {{DEFAULTSORT:Monster Group}}
| |
| [[Category:Sporadic groups]]
| |
| [[Category:Moonshine theory]]
| |