Theorem 58.30.3. Let $f : X \to S$ be a smooth proper morphism with geometrically connected fibres. Let $s' \leadsto s$ be a specialization. If the characteristic of $\kappa (s)$ is $p$, then the specialization map

is surjective and induces an isomorphism

of the maximal prime-to-p quotients

## Comments (0)