Let $A$ and $B$ be integrally closed, commutative Noetherian integral domains, and let $f: A \to B$ be a finite étale injective homomorphism. Let $d$ be the degree of $f$ (i.e. the rank of $B$ as an $A$-module).


If $p$ is a height 1 prime ideal of $A$, and $q$ is a prime ideal of $B$ lying above $p$, then $B/qB$ is a finite extension of $A/pA$. Is it true that the sum of the local degrees $[B / qB : A/pA]$ over all primes $q$ above $p$ is equal to $d$? If not, are there additional conditions on $A$, $B$ and $f$ which would make this work?


(This is a very familiar statement if $A$ and $B$ are Dedekind domains, but I'm interested in the case when $A$ and $B$ are the coordinate rings of affine algebraic surfaces.)



Splitting of primes in extension of integral domains
$A$ is a Krull ring, so the localization $A\_p$ is a DVR, thus it is a Dedekind domain, so the statement is true for $A\_p$. Since $B\_p$ is etale over $A\_p$ and the splitting of $p$ in $B\_p$ is the same as the splitting of $p$ in $B$, this statement is also true for $A$.


