This result states that let be a field, let be an [algebraic closure](/page/Algebraic%20Closure) of , and let be an abelian variety of dimension . Let be a prime such that , with the convention that this condition is automatic when . For... It places Prime-to-Characteristic Torsion of an Abelian Variety in the framework of modular forms and Galois representations.