This is the first book to contain a rigorous construction and uniqueness proof for the largest and most famous sporadic simple group, the Monster. The author provides a systematic exposition of the theory of the Monster group, which remains largely unpublished despite great interest from both mathematicians and physicists due to its intrinsic connection with various areas in mathematics, including reflection groups, modular forms and conformal field theory.