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.

## Comments (3)

Comment #3787 by Dario Weißmann on

Comment #3788 by Dario Weißmann on

Comment #3912 by Johan on