Well, for any ring epimorphism $f: R\to S$First, the quotientpick a maximal chain of prime ideals in $R/\mathrm{ker} f$$S$ and mod out by the minimal one. Now $S$ haveis an integral domain of the same fraction fielddimension. Similarly, so if you're working in a context whereyou might as well assume $f$ is injective, since that can only decrease the Krull dimension matches transcendence degree of the fraction field over a base field (finitely generated algebras over$R$.
So, now, we have a field)map, then you're setwhich must induce an isomorphism on fraction fields, and both algebras inject into their fraction fields. Now, take an ideal $I\subset S$ such that $I\cap R=0$, and let $s\neq 0$ be an element of $I$. Then $s=r'/r''$ for $r',r''\in R$. Thus $sr''\in R\cap I$, and we have arrived at a contradiction.