Definition 15.26.1. Let $R$ be a ring. Let $I \subset R$ be an ideal and $a \in I$. Let $R[\frac{I}{a}]$ be the affine blowup algebra, see Algebra, Definition 10.70.1. Let $M$ be an $R$-module. The strict transform of $M$ along $R \to R[\frac{I}{a}]$ is the $R[\frac{I}{a}]$-module

$M' = \left(M \otimes _ R R[\textstyle {\frac{I}{a}}]\right)/a\text{-power torsion}$

Comment #4274 by Dario Weißmann on

there is a missing $)$ in the definition of $M'$

There are also:

• 4 comment(s) on Section 15.26: Blowing up and flatness

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).