Editing Monster group (section)

== Moonshine ==
{{main|Monstrous moonshine}}

The monster group is one of two principal constituents in the [[monstrous moonshine]] conjecture by Conway and Norton,{{sfn|Conway|Norton|1979|pp=308–339}} 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]].

Many mathematicians, including Conway, have seen the monster as a beautiful and still mysterious object.{{sfn|Roberts|2013}} Conway said of the monster group: "There's never been any kind of explanation of why it's there, and it's obviously not there just by coincidence. It's got too many intriguing properties for it all to be just an accident."{{sfn|Haran|2014|loc=7:57}} [[Simon P. Norton]], an expert on the properties of the monster group, is quoted as saying, "I can explain what Monstrous Moonshine is in one sentence, it is the voice of God."{{sfn|Masters|2019}}