Diophantine Geometry: An Introduction
《Diophantine Geometry: An Introduction》 · 第 163 页 · Part A，Section A.9.4「Néron Model of an Abelian Variety」，Example
The fact that the Néron model $\mathcal A$ is a group scheme is actually automatic from the definitions, since the addition map $A\times A\to A$ on the generic fiber extends to a morphism $\mathcal A\times_R\mathcal A\to\mathcal A$. […] An abelian scheme $\mathcal A\to S$ (i.e., every fiber is an abelian variety) is the Néron model of its generic fiber.