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)
There are also: