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} \]

## Comments (1)

Comment #4274 by Dario Weißmann on

There are also: