This book provides a comprehensive account of a key (and perhaps the most important) theory upon which the Taylor-Wiles proof of Fermat's last theorem is based. The book begins with an overview of the theory of automorphic forms on linear algebraic groups and then covers the basic theory and results on elliptic modular forms, including a substantial simplification of the Taylor-Wiles proof by Fujiwara and Diamond. It contains a detailed exposition...