2
$\begingroup$

I'm reading Matsumura's proof on independence of valuation (p.87, "Commutative Ring Theory"), and I understand most of the proof, except the last bit about principal ideal ring, and if anyone could help me I would greatly appreciate it:

$K$ a field, $R_1$,...,$R_n\subset K$ DVRs of $K$ not containing one another, $A=\cap_{i}^{n}R_i$. Let $\mathfrak{m}_i\subset R_i$ be the maximal ideals and $\mathfrak{p}_i:=\mathfrak{m}_i\cap A$. I can see that $A$ is a semi-local ring with maximal ideals $\mathfrak{p}_1$,...,$\mathfrak{p}_n$, and that $A_{\mathfrak{p}_i}=R_i$. But I don't see why $A$ is a PID. Here is a passage from the book:

$\mathfrak{m}_i\neq\mathfrak{m}_i^2$, and hence $\mathfrak{p}_i\neq\mathfrak{p}_i^{(2)}$, where $\mathfrak{p}^{(2)}:=\mathfrak{p}^2A_{\mathfrak{p}}\cap A$. Thus there exists $x_i\in\mathfrak{p}_i$ such that $x_i\notin\mathfrak{p}_i^{(2)}$, and $x_i\notin\mathfrak{p}_j$ for $i\neq j$ (I understand up to here); then $\mathfrak{p}_i=x_iA$ (I don't understand this). If $I$ is any ideal of $A$ and $IR_i=x^{\nu_i}_iR_i$ for $i=1$,...,$n$ then it is easy to see that $I=x_{1}^{\nu_1}...x_{n}^{\nu_n}A$ (I don't see this).

I'm sorry for this rather pedantic question but I have no one to help me...

  • 0
    Here's how I show $\mathfrak{p}=x_iA$.After Arturo Magidin's remark, clearly what we need to show is $x_iR_i\cap A\subset x_iA$. Take $y\in x_iR_i\cap A$. Then $y=x_i r_i$ for some $r_i\in R_i$. On the other hand, since $x_i$ is not in $\mathfrak{p}_j$,$j\neq i$, it has an inverse $x_{ij}'$ in each $R_j$. So $r_i=x_{ij}'y\in R_j$, so $r_i\in A$. Done.2011-03-06

2 Answers 2

1

If you have a map of $R$-modules $f: M \rightarrow N$, whether it is an injection / surjection / bijection can be checked locally: i.e., it is enough to check the corresponding property for $f_{\mathfrak{m}}: M_{\mathfrak{m}} \rightarrow N_{\mathfrak{m}}$ for all maximal ideals $\mathfrak{m}$ of $R$. (See for instance $\S 7.5$ of my commutative algebra notes. I'm sure it's in Matsumura as well...)

In this case you have an inclusion of $R$-modules $\iota: x_i A \rightarrow \mathfrak{p}_i$ (moral: don't forget that "ideal" = "$R$-submodule of $R$"!). I think you'll find the hypotheses are rigged so that upon extending to each of the finitely many maximal ideals, $\iota$ is a bijection. So $\iota$ is itself a bijection.

The second statement you ask about can be proved in a similar way.

1

Let $v_i$ be the valuations corresponding to the DVR $R_i$. Note that according to your choice we have $v_i(x_j) = 0$ if $i \neq j$ but $v_i(x_j) =1$ if $i = j$. So $x_iA \subset \mathfrak{p}_i$. We have to show the opposite inclusion. Choose any any $y \in \mathfrak{p}_i$. Then $y = x_it$ for some $t \in R_i$ since $\mathfrak{m}_i = x_i R_i$. Now it is easy to see that values of $t = y/x_i$ under all valuations $v_i$ are non negative. This means that $t \in A$. So we are done. in fact you can also show that $\mathfrak{p}_i^{k} = \mathfrak{p}_i^{(k)}$ for any natural number $k$. Now note that the element $x_{1}^{\nu_1}...x_{n}^{\nu_n} \in I_{\mathfrak{p_i}}$ for all $\mathfrak{p_i}$. This means that $x_{1}^{\nu_1}...x_{n}^{\nu_n}A \in I$. Now the two ideals are equal locally. Therefore they are equal globally.