This result states that let be an abelian variety over a number field, let be a finite prime of , and let be the residue characteristic of . For each rational prime , let be the rational -adic Tate module representation of . Then has good... It places Néron–Ogg–Shafarevich Criterion in the framework of modular forms and Galois representations.