Modèle de Néron

Un modèle lisse et séparé d'un groupe algébrique commutatif lisse (notamment une variété abélienne) sur un anneau de valuation discrète qui satisfait la propriété de prolongement de Néron : tout morphisme depuis un schéma lisse sur la base vers la fibre générique s'étend de façon unique au modèle.