Let $S$ be a connected noetherian normal scheme of dimension 0 or 1 (i.e. $S$ is a connected Dedekind scheme).


Let $f:G\to G'$ be a morphism of semi-abelian schemes over $S$. In their book on Neron models, Bosch-Lutkebohmert-Raynaud define that $f$ is an isogeny if for all points $s\in S$ the base changed morphism $f\_s:G\_s\to G'\_s$ is an isogeny (i.e. $f\_s$ is finite and surjective on identity components).


Is $\deg(f\_s)=\deg(f\_{s'})$ for all $s,s'\in S$?


If this is the case, can one then define the degree of $f$ just by $\deg(f\_s)$ for $s$ the generic point of $S$?


If the above questions have negative answers, can one answer them affirmatively for abelian schemes? 



Degree of isogenies between (semi-)abelian schemes
I am going to assume that $S$ is Noetherian. By limit arguments, one should always be able to reduce to that case. Also I am going to assume that your semi-Abelian schemes are smooth over $S$; I believe this is part of the usual definition.


In fact, $f$ should be flat, which implies constancy of the degree of $f\_s$. The point is that both $G$ and $G'$ are smooth over $S$. Thus the fiber product, $G\times\_S G'$, is flat over $G'$ of relative dimension $g=\text{dim}(G)$. Also $G'$ is smooth over $S$ of some relative dimension $g'$, so that the diagonal morphism, $$\Delta\_{G'}:G'\to G'\times\_S G',$$ is a regular embedding of codimension $g$. Thus, the base change graph morphism, $$\Gamma\_f:G\to G\times\_S G',$$ is also a regular embedding of codimension $g$. 


Finally, for a flat morphism $X\to Y$ of relative dimension $d$ and for a regular embedding $Z\hookrightarrow X$ of codimension $e$, the flat locus of $Z\to Y$ contains every point of $Z$ where the fiber has dimension $d-e$. This follows from the local flatness criterion (use the Koszul complex of the regular sequence to resolve the ideal sheaf, and then use the codimension criterion for exactness of a Koszul complex to check exactness of the basechange of the Koszul complex to each fiber). Apply this with $Y=G'$, $X=G\times\_S G'$ and $Z$ is the image of $\Gamma\_f$.


