Integral forms in vertex operator algebras which are invariant under finite groups

For certain pairs consisting of a vertex operator algebra (e.g., lattice type) and a finite subgroup of its automorphism group, we prove existence of a positive definite integral form invariant under the group. Applications include an integral form in the Moonshine VOA which is invariant under the Monster, and examples in other lattice type VOAs.