In mathematics, the Néron–Ogg–Shafarevich criterion states that if A is an elliptic curve or abelian variety over a local field K and ℓ is a prime not dividing the characteristic of the residue field of K then A has good reduction if and only if the ℓ-adic Tate module Tℓ of A is unramified. Andrew Ogg (1967) introduced the criterion for elliptic curves. Serre and Tate (1968) used the results of André Néron (1964) to extend it to abelian varieties, and named the criterion after Ogg, Néron and Igor Shafarevich (commenting that Ogg's result seems to have been known to Shafarevich).