Constructing a primary decomposition for principal ideals in a Krull domain

172 Views Asked by At

Let $A$ be Krull ring and $\left\{R_l\right\}_{l \in L}$ a defining family of DVRs. Let $a \in A, a \neq 0$. Then $a R_l \neq R_l$ only for a finite number of indices $l$ (otherwise the image of $a$ under infinitely many valuations would be non-zero, contradiction). Let $R_1,\dots, R_t$ be the DVRs such that $a R_i \neq R_i$. Define $\mathfrak q_i = aR_i\cap A$ and $\mathfrak p_i=rad(R_i) \cap A$. Then $\mathfrak q_i$ is primary belonging to $\mathfrak p_i$.

Question: How can we see that $aA=\mathfrak q_1\cap \cdots \cap \mathfrak q_t$?

Remark: Certainly, $aA \subseteq \mathfrak q_1 \cap \cdots \cap \mathfrak q_t$, since $aA \subset \mathfrak q_i$ for every $i$. How about the other direction?

1

There are 1 best solutions below

1
On BEST ANSWER

Prove that $$aR_1\cap\cdots\cap aR_t\cap A=aA.$$ "$\supseteq$" is clear.

"$\subseteq$" it's easy: take $x\in aR_1\cap\cdots\cap aR_t\cap A$. Then $a^{-1}x\in R_1\cap\cdots\cap R_t$. Since $aR_l=R_l$ for all $l\neq 1,\dots,t$ it follows that $a^{-1}\in R_l$, so $a^{-1}x\in R_l$, and that's all.