Lemma 10.121.1 (02MC)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 1: Preliminaries
Chapter 10: Commutative Algebra
Section 10.121: Orders of vanishing
Lemma 10.121.1 (cite)

next definition

numberstags

history
statistics
4 tags refer to this tag

Lemma 10.121.1. Let $R$ be a semi-local Noetherian ring of dimension $1$. If $a, b \in R$ are nonzerodivisors then

\[ \text{length}_ R(R/(ab)) = \text{length}_ R(R/(a)) + \text{length}_ R(R/(b)) \]

and these lengths are finite.

Proof. We saw the finiteness in Lemma 10.119.11. Additivity holds since there is a short exact sequence $0 \to R/(a) \to R/(ab) \to R/(b) \to 0$ where the first map is given by multiplication by $b$. (Use length is additive, see Lemma 10.52.3.) $\square$

Comments (0)

There are also:

4 comment(s) on Section 10.121: Orders of vanishing

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).

Comments (0)

Post a comment