In the area of modern algebra known as group theory, the Monster group M (also known as the Fischer–Griess Monster, or the Friendly Giant) is the largest sporadic simple group, having order
The finite simple groups have been completely classified. Every such group belongs to one of 18 countably infinite families, or is one of 26 sporadic groups that do not follow such a systematic pattern. The Monster group contains all but six of the other sporadic groups as subquotients. Robert Griess has called these 6 exceptions pariahs, and refers to the other 20 as the happy family.
It is difficult to make a good constructive definition of the Monster because of its complexity. Martin Gardner wrote a popular account of the monster group in his June 1980 Mathematical Games column in Scientific American.
The Monster was predicted by Bernd Fischer (unpublished, about 1973) and Robert Griess (1976) 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. The 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. It was not clear in the 1970s that the Monster actually existed. Griess (1982) constructed M as the automorphism group of the Griess algebra, a 196,884-dimensional commutative nonassociative algebra; he first announced his construction in Ann Arbor Jan. 14,1980. In his 1982 paper he referred to the Monster as the Friendly Giant, but this name has not been generally adopted. John Conway (1985) and Jacques Tits (1984, 1985) subsequently simplified this construction.