ネロンモデル
R を分数体 K を持つデデキント整域とし、AK を K 上のアーベル多様体、さらに一般的には滑らかな分離スキームとすると、AK のネロンモデルは、次の意味で普遍的なファイバーが ''A<sub>R</sub>'' 上の分離的(英語版)(separated)で滑らかな(smooth)スキーム AR として定義する。これは、一般のファイバー AR をもつ滑らかな分離的スキームであるので、X が R 上の滑らかなスキームであれば、XK から任意の AK への K-射は、一意に X から AR への射へ拡張できる(ネロンの写像の性質)。特に、標準写像 A R ( R ) → A K ( K ) {\displaystyle A_{R}(R)\to A_{K}(K)} は同型である。