Existence and Uniqueness
The Monster was predicted by Bernd Fischer (unpublished) and Robert Griess (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 and the Harada-Norton group. Griess (1982) constructed M as the automorphism group of the Griess algebra, a 196884-dimensional commutative nonassociative algebra. John Conway (1985) and Jacques Tits (1984, 1985) subsequently simplified this construction.
Griess's construction showed that the Monster existed. Thompson (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 Norton (1985), though he has never published the details. 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).
Read more about this topic: Monster Group
Famous quotes containing the words existence and, existence and/or uniqueness:
“Sometimes I think that the biggest difference between men and women is that more men need to seek out some terrible lurking thing in existence and hurl themselves upon it.... Women know where it lives but they can let it alone.”
—Russell Hoban (b. 1925)
“The modernness of all good books seems to give men an existence as wide as man.”
—Ralph Waldo Emerson (1803–1882)
“Somehow we have been taught to believe that the experiences of girls and women are not important in the study and understanding of human behavior. If we know men, then we know all of humankind. These prevalent cultural attitudes totally deny the uniqueness of the female experience, limiting the development of girls and women and depriving a needy world of the gifts, talents, and resources our daughters have to offer.”
—Jeanne Elium (20th century)