We construct a self-dual integral form of the moonshine vertex operator algebra, and show that it has symmetries given by the Fischer-Griess monster simple group. The existence of this form resolves the last remaining open assumption in the proof of the modular moonshine conjecture by Borcherds and Ryba. As a corollary, we find that Griess's original 196884-dimensional representation of the monster admits a positive-definite self-dual integral form with monster symmetry.In this paper, we construct self-dual R-forms of the moonshine module vertex operator algebra [27] over various commutative rings R, culminating in the universal case where R is the ring of rational integers Z. For the Z-form, we show that the vertex operator algebra has monster symmetry, and is self-dual with respect to an invariant bilinear form that respects the monster symmetry. Base change then gives us self-dual monster-symmetric vertex operator algebras over any commutative ring. Our construction yields the final step in the affirmative resolution of Ryba's modular moonshine conjecture.This paper is a contribution to the Special Issue on Moonshine and String Theory. The full collection is available at https://www.emis.de/journals/SIGMA/moonshine.html arXiv:1710.00737v4 [math.RT] 19 Apr 2019Given a homomorphism f : R → S of commutative rings, we say f is faithfully flat if S is faithfully flat as an R-module under the induced action.See [43, Section 00H9] for a brief overview of basic properties of flat and faithfully flat modules and ring maps.Definition 2.2. Let f : R → S be a homomorphism of commutative rings. A descent datum for modules with respect to f is a pair (M, φ), where M is an S-module, and φ : M ⊗ R S → S ⊗ R M is an S ⊗ R S-module isomorphism satisfying the "cocycle condition", i.e., that the following diagram commutes: