m
m
Line 11: Line 11:
  
 
'''What is a monster group?'''<br><hr><br>
 
'''What is a monster group?'''<br><hr><br>
  -Definition: A monster group is a simple, sporadic group of finite order and contains all but 6 of the other sporadic groups <br>  
+
-Definition: A monster group is a simple, sporadic group of finite order and contains all but 6 of the other sporadic groups <br>  
    as subgroups. <br>
+
as subgroups. <br>
    Its order is: 2^46 · 3^20 · 5^9 · 7^6 · 11^2 · 13^3 · 17 · 19 · 23 · 29 · 31 · 41 · 47 · 59 · 71  
+
Its order is: 2^46 · 3^20 · 5^9 · 7^6 · 11^2 · 13^3 · 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
 
     =808,017,424,794,512,875,886,459,904,961,710,757,005,754,368,000,000,000
 
     ≈8 · 10^53
 
     ≈8 · 10^53
  -Background: How did monster groups come about? When, who, and how did they reach this discovery? <br>
+
-Background: How did monster groups come about? When, who, and how did they reach this discovery? <br>
    In 1973, Bernd Fischer and Robert Griess predicted that monster group was a simple group containing baby monster groups. <br>
+
In 1973, Bernd Fischer and Robert Griess predicted that monster group was a simple group containing baby monster groups. <br>
    Robert Griess discovered the order of this monster group only a couple months after the original discovery. <br>
+
Robert Griess discovered the order of this monster group only a couple months after the original discovery. <br>
  -What makes monster groups sporadic groups?<br>
+
-What makes monster groups sporadic groups?<br>
      Sporadic groups are the finite simple groups (26) that don't fit into infinite families. <br>
+
Sporadic groups are the finite simple groups (26) that don't fit into infinite families. <br>
    The largest sporadic group is the monster group.<br>
+
The largest sporadic group is the monster group.<br>
  
 
'''Are there subgroups?''' <br><hr><br>
 
'''Are there subgroups?''' <br><hr><br>
        Yes, there are subgroups.  Since the monster group is a simple group, it does not have any proper non-trivial normal subgroups. <br>  
+
Yes, there are subgroups.  Since the monster group is a simple group, it does not have any proper non-trivial normal subgroups. <br>  
  -What is the subgroup structure?<br>
+
-What is the subgroup structure?<br>
        There are at least 44 conjugacy classes of maximal subgroups, as well as non-abelian simple groups of about 60 isomorphism <br>
+
There are at least 44 conjugacy classes of maximal subgroups, as well as non-abelian simple groups of about 60 isomorphism <br>
        types are either subgroups or quotients of subgroups.  The monster grip contains 20 of the 26 sporadic groups as subquotients.  <br>
+
types are either subgroups or quotients of subgroups.  The monster grip contains 20 of the 26 sporadic groups as subquotients.  <br>
        The following diagram shows how they all fit together.<br>
+
The following diagram shows how they all fit together.<br>
 
[http://upload.wikimedia.org/wikipedia/commons/b/b1/Finitesubgroups.svg]
 
[http://upload.wikimedia.org/wikipedia/commons/b/b1/Finitesubgroups.svg]
 
From ''Symmetry and the monster'' by Mark Ronan.<br>
 
From ''Symmetry and the monster'' by Mark Ronan.<br>
  -What are its primes and supersingular primes?<br>
+
-What are its primes and supersingular primes?<br>
        The supersingular primes are the set of prime numbers that divide the group order of the Monster group, <br>
+
The supersingular primes are the set of prime numbers that divide the group order of the Monster group, <br>
        namely 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59, and 71.   
+
namely 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59, and 71.   
  -What is a baby monster group?<br>
+
-What is a baby monster group?<br>
  -How does existence and uniqueness relate?<br>
+
-How does existence and uniqueness relate?<br>
  
 
'''How does the Moonshine Theory relate to Monster Groups?''' <br><hr><br>
 
'''How does the Moonshine Theory relate to Monster Groups?''' <br><hr><br>

Revision as of 08:53, 25 November 2013

Monster Groups and Other Sporadic Groups

  Jill Horsfield (jbhorse@purdue.edu)
  Colin Mills (cwmills@purdue.edu)
  Andy Nelson (nelson70@purdue.edu)
What is a monster group?


-Definition: A monster group is a simple, sporadic group of finite order and contains all but 6 of the other sporadic groups
as subgroups.
Its order is: 2^46 · 3^20 · 5^9 · 7^6 · 11^2 · 13^3 · 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^53

-Background: How did monster groups come about? When, who, and how did they reach this discovery?
In 1973, Bernd Fischer and Robert Griess predicted that monster group was a simple group containing baby monster groups.
Robert Griess discovered the order of this monster group only a couple months after the original discovery.
-What makes monster groups sporadic groups?
Sporadic groups are the finite simple groups (26) that don't fit into infinite families.
The largest sporadic group is the monster group.

Are there subgroups?


Yes, there are subgroups. Since the monster group is a simple group, it does not have any proper non-trivial normal subgroups.
-What is the subgroup structure?
There are at least 44 conjugacy classes of maximal subgroups, as well as non-abelian simple groups of about 60 isomorphism
types are either subgroups or quotients of subgroups. The monster grip contains 20 of the 26 sporadic groups as subquotients.
The following diagram shows how they all fit together.
[1] From Symmetry and the monster by Mark Ronan.
-What are its primes and supersingular primes?
The supersingular primes are the set of prime numbers that divide the group order of the Monster group,
namely 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, 47, 59, and 71. -What is a baby monster group?
-How does existence and uniqueness relate?

How does the Moonshine Theory relate to Monster Groups?


Alumni Liaison

Prof. Math. Ohio State and Associate Dean
Outstanding Alumnus Purdue Math 2008

Jeff McNeal