No label defined (Q4399372)

Let \(K\) be a product formula field, i.e., a number field or a one variable function field. Let \(S\) be a non-empty collection of primes of \(K\) which, in the case of a number field, includes all the archimedean primes. Let \(p\mapsto n(p)\) be a map defined for all \(p\notin S\) into the natural numbers. Then the ring \[ O_{K,S}=\{x\in K\mid\text{ord}_p x \geq 0 \;\forall p\notin S\} \] and the \(O_{K,S}\)-module \(M=\{x\in K\mid\text{ord}_p x \geq -n(p) \;\forall p\notin S\}\) are called a holomorphy ring of \(K\) and an \(S\)-holomorphy module of \(K\), respectively. The main result of the paper is the following: if \(M\) is a \(O_{K,S}\)-module such that, for all primes \(p\) not in \(S\), \(M_p\cong(O_{K,S})_p\), then \(M\) is isomorphic to one of the holomorphy modules of \(K.\) This generalizes a result of \textit{P. Hilton} [Acta Math. Sin., New Ser. 4, No. 2, 189-192 (1988; Zbl 0682.20039)] for \(K={\mathbb Q}\). The authors extend also some of their results to the case when \(K\) is an algebraic function field in several variables.