
Lemma 10.51.12. Let $A$ be a local ring with maximal ideal $\mathfrak m$. Let $B$ be a semi-local ring with maximal ideals $\mathfrak m_ i$, $i = 1, \ldots , n$. Suppose that $A \to B$ is a homomorphism such that each $\mathfrak m_ i$ lies over $\mathfrak m$ and such that

$[\kappa (\mathfrak m_ i) : \kappa (\mathfrak m)] < \infty .$

Let $M$ be a $B$-module of finite length. Then

$\text{length}_ A(M) = \sum \nolimits _{i = 1, \ldots , n} [\kappa (\mathfrak m_ i) : \kappa (\mathfrak m)] \text{length}_{B_{\mathfrak m_ i}}(M_{\mathfrak m_ i}),$

in particular $\text{length}_ A(M) < \infty$.

Proof. Choose a maximal chain

$0 = M_0 \subset M_1 \subset M_2 \subset \ldots \subset M_ n = M$

by $B$-submodules as in Lemma 10.51.11. Then each quotient $M_ i/M_{i - 1}$ is isomorphic to $\kappa (\mathfrak m_{j(i)})$ for some $j(i) \in \{ 1, \ldots , n\}$. Moreover $\text{length}_ A(\kappa (\mathfrak m_ i)) = [\kappa (\mathfrak m_ i) : \kappa (\mathfrak m)]$ by Lemma 10.51.6. The lemma follows by additivity of lengths (Lemma 10.51.3). $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).