1
$\begingroup$

The setting is: Let $A, B$ be commutative, Noetherian, local rings, $\phi:A \rightarrow B$ a surjective homomorphism. Both rings also come with surjections $\lambda_A, \lambda_B$ to a DVR $\mathcal{O}$ which factor as $\lambda_A = \lambda_B \circ \phi$ (if this is helpful at all). Let $e(A)$ denote the Hilbert - Samuel multiplicity of $A$ w.r.t. to its maximal ideal. Considering $B$ as an $A$-module, I'm reading that $e_A(B) \leq e_A$ always holds, but I'm struggling to see why this is true. I went through the related chapters in Matsumura and Bruns - Herzog, but wasn't able to find an explanation, can anyone shed light on this?

$\endgroup$

1 Answer 1

4
$\begingroup$

There is a short exact sequence $$0 \to \ker \phi \to A \xrightarrow{\phi} B \to 0.$$ Hilbert-Samuel multiplicity is additive across short exact sequences (see Corollary 4.7.7 in Bruns and Herzog), so $e(A)=e_A(B)+e_A(\ker \phi)$, which proves the claim.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .