Modelo de Néron

Un modelo liso y separado de un grupo algebraico conmutativo liso (en particular una variedad abeliana) sobre un anillo de valoración discreta que satisface la propiedad de extensión de Néron: todo morfismo desde un esquema liso sobre la base a la fibra genérica se extiende de forma única al modelo.