This result states that let be a complete discrete valuation ring with maximal ideal , residue field , and fraction field of characteristic . Let be a continuous, absolutely irreducible, odd, modular residual representation. Fix a finite... It places Taylor–Wiles in the framework of modular forms and Galois representations.