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$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.