Néron Model

A smooth, separated model of a smooth commutative algebraic group (notably an abelian variety) over a discrete valuation ring that satisfies the Néron mapping property: every morphism from a smooth scheme over the base to the generic fibre extends uniquely to the model.