The goal of this paper is to construct infinite dimensional Lie algebras
using infinite product identities, and to use these Lie algebras to reduce the
generalized moonshine conjecture to a pair of hypotheses about group actions on
vertex algebras and Lie algebras. The Lie algebras that we construct
conjecturally appear in an orbifold conformal field theory with symmetries
given by the monster simple group.