Lemma 16.4.2. In Situation 16.4.1 Néron's blowup is functorial in the following sense
if $a \in A$, $a \not\in \mathfrak p$, then Néron's blowup of $A_ a$ is $A'_ a$, and
if $B \to A$ is a surjection of flat finite type $R$-algebras with kernel $I$, then $A'$ is the quotient of $B'/IB'$ by its $\pi $-power torsion.
Comment #3787 by Dario Weißmann on
Comment #3788 by Dario Weißmann on
Comment #3912 by Johan on