In mathematics, the Néron–Ogg–Shafarevich criterion states that if is an elliptic curve or abelian variety over a local field , and is a prime not dividing the characteristic of the residue field of , then has good reduction if and only if the -adic Tate module of is unramified.