# What is the simplest way to fathom the Monster Group?

Can someone explain how to picture or construct the Monster Group?

-
@user3163: With great difficulty? – Arturo Magidin Nov 5 '10 at 16:54
@Robin and muad: Any finite group is the group of hyperbolic isometries of some compact hyperbolic surface. It's apparently a theorem of Gromov's that such a surface isometrically embeds in $\mathbb R^5$: mathoverflow.net/questions/37708/… – Ryan Budney Nov 5 '10 at 17:42
Every finite group is the automorphism group of some finite simple graph $G$. If $G$ has $n$ vertices start with a regular $n$-simplex $S$ in $\mathbb{R}^{n-1}$. Each edge of $G$ corresponds to an edge of $S$. Push the midpoint of that edge out slightly to create a new vertex. One gets a convex polytope with the same symmetry group as $G$. – Robin Chapman Nov 5 '10 at 18:19
Rumor has it that the simplest way to fathom the "Monster Group" is to behold it under the moonshine at John Conway's annual Halloween party. But, alas, you're a few days late for that. It was truly a surreal experience. – Bill Dubuque Nov 5 '10 at 18:42
I tried to read "Symmetry and the Monster" and found it very frustrating. Too much gee-whiz. – Ross Millikan Nov 5 '10 at 20:40

If you want to understand a "natural" object on which the Monster acts by symmetries, you should read up about vertex algebras. At our current state of knowledge (and depending on who you ask), the most natural object on which the monster acts is the monster vertex algebra $V^\natural$ (also known as the moonshine module, or the monster VOA), which is a graded vector space, together with some extra structure like a rather complicated multiplication operation $V^\natural \otimes V^\natural \to V^\natural((z))$. The construction of $V^\natural$ is given in the book Vertex operator algebras and the Monster by I. Frenkel, Lepowsky, and Meurman. A string theorist might say that it is given by orbifolding the Leech lattice CFT.
If you want to consider some basic facts about the Monster, you can have a look at the ATLAS of finite groups, or play around with the software GAP. Both have the character table, and orders of centralizers of elements, etc. Wilson showed that the monster is a Hurwitz group, so Ryan Budney's comment about acting on a Riemann surface holds for the minimum possible genus (about $10^{52}$).
If you want to understand finer points about the structure of the Monster group, you're pretty much out of luck. It's big enough that there are plenty of explicit questions whose answers we don't know. For example, the conjugacy classes of homomorphisms from $\mathbb{Z} \times \mathbb{Z}$ (i.e., pairs of commuting elements) are not classified, and $H^4$ with coefficients in $\mathbb{Z}$ is still unknown (very annoying).