Lemma 38.6.6. Let R \to S be a finite type ring map. Let M be a finite S-module. Let \mathfrak q be a prime ideal of S. There exists an elementary étale localization R' \to S', \mathfrak q', \mathfrak p' of the ring map R \to S at \mathfrak q such that there exists a complete dévissage of (M \otimes _ S S')/S'/R' at \mathfrak q'.
Comments (0)