Lemma 88.30.3. Let $A \to B$ be a local map of local Noetherian rings such that

$A \to B$ is flat,

$\mathfrak m_ B = \mathfrak m_ A B$, and

$\kappa (\mathfrak m_ A) = \kappa (\mathfrak m_ B)$

Then the base change functor from the category (88.30.0.1) for $(A, \mathfrak m_ A)$ to the category (88.30.0.1) for $(B, \mathfrak m_ B)$ is an equivalence.

## Comments (0)