Néron model
In algebraic geometry, the Néron model (or Néron minimal model, or minimal model) for an abelian variety AK defined over the field of fractions K of a Dedekind domain R is the "push-forward" of AK from Spec(K) to Spec(R), in other words the "best possible" group scheme AR defined over R corresponding to AK. They were introduced by André Néron (1961, 1964) for abelian varieties over the quotient field of a Dedekind domain R with perfect residue fields, and Raynaud (1966) extended this construction to semiabelian varieties over all Dedekind domains. == Definition == Suppose that R is a Dedekind domain with field of fractions K, and suppose that AK is a smooth separated scheme over K (such as an abelian variety).