the monster vertex algebra (or moonshine module) is a vertex algebra acted on by the monster group that was constructed by igor frenkel, james lepowsky, and arne meurman. r. borcherds used it to prove the monstrous moonshine conjectures, by applying the goddard–thorn theorem of string theory to construct the monster lie algebra, an infinite-dimensional generalized kac–moody algebra acted on by the monster.