The \(D+XD_ s[X]\) construction from GCD-domains (Q1109834)

Let A be a domain, S a multiplicative subset of A and X an indeterminate over A. In this paper the author studies the ring \(A^{(S)}=\{a_ 0+\sum_{i\geq 1}a_ iX^ i| \quad a_ 0\in A,\quad a_ i\in S^{-1}A\}\) assuming that A is a GCD-domain. In particular, he shows that the behaviour of \(A^{(S)}\) depends on the relationship between S and the prime ideals P of A such that \(A_ P\) is a valuation ring. As an application he constructs examples of locally GCD-domains which are not GCD-domains.