Skip to main content
4 of 6
removed the tag "Prufer domain," removed braces around $\{P_1, \ldots, P_n\}$, and deleted the unclear and unnecessary qualification "perhaps at the cost of extending the initial set to a larger set of prime ideals"

Weak approximation in Krull domains

Suppose $R$ is a Krull domain with the field of fraction $K$. To every prime ideal $P$ of $R$ of height $1$, one can associate a $ \mathbb{Z}$-valued discrete valuation which we denote by $v_P$.

Suppose $P_1, \dots, P_k$ are pairwise distinct height one prime ideas of $R$. It is well-known that the following approximation theorem holds: for any $(n_1, \dots, n_k) \in \mathbb{Z}^k$, there exists $x \in K$ such that

  1. $v_{P_i} (x)= n_i$ for all $1 \le i \le k$
  2. $v_{P}(x) \ge 0$ for all prime ideals $P$ of $R$ of height one other than $P_1, \dots, P_k$.

I would like to know if one can replace (2) with $v_{P}(x) = 0$ for all all prime ideals $P$ of height one other than $P_1, \dots, P_k$.

In case it helps, the case I am really interested in is when $R$ is an integral extension of $ \mathbb{Q}[X_1, \dots, X_n]$. Any reference would be highly appreciated.

Keivan Karai
  • 6.2k
  • 2
  • 37
  • 48