Reduction of an abelian variety A modulo a prime ideal of (the integers of) K - say, a prime number p - to get an abelian variety Ap over a finite field, is possible for almost all p.
Here a refined theory of (in effect) a right adjoint to reduction mod p - the Néron model - cannot always be avoided.