Lemma 10.52.13. Let A \to B be a flat local homomorphism of local rings. Then for any A-module M we have
In particular, if \text{length}_ B(B/\mathfrak m_ AB) < \infty then M has finite length if and only if M \otimes _ A B has finite length.
Lemma 10.52.13. Let A \to B be a flat local homomorphism of local rings. Then for any A-module M we have
In particular, if \text{length}_ B(B/\mathfrak m_ AB) < \infty then M has finite length if and only if M \otimes _ A B has finite length.
Proof. The ring map A \to B is faithfully flat by Lemma 10.39.17. Hence if 0 = M_0 \subset M_1 \subset \ldots \subset M_ n = M is a chain of length n in M, then the corresponding chain 0 = M_0 \otimes _ A B \subset M_1 \otimes _ A B \subset \ldots \subset M_ n \otimes _ A B = M \otimes _ A B has length n also. This proves \text{length}_ A(M) = \infty \Rightarrow \text{length}_ B(M \otimes _ A B) = \infty . Next, assume \text{length}_ A(M) < \infty . In this case we see that M has a filtration of length \ell = \text{length}_ A(M) whose quotients are A/\mathfrak m_ A. Arguing as above we see that M \otimes _ A B has a filtration of length \ell whose quotients are isomorphic to B \otimes _ A A/\mathfrak m_ A = B/\mathfrak m_ AB. Thus the lemma follows. \square
Comments (0)
There are also: