This result states that let be a complete discrete valuation ring with fraction field and residue field , and let be a finite commutative -algebra acting on a finite free -module . If a system of eigenvalues occurs in , then after possibly... It places Deligne-Serre [Lifting Lemma](/theorems/2437) in the framework of modular forms and Galois representations.