ABSTRACT
In Section 2 we give some preliminary results. In Section 3, we study divisorial ideals in a GK-domain and prove the promised factorization property which characterizes GK-domains. Namely, a domain R is a GK-domain if and only if it is a PVMD whose divisorial ideals are precisely those of the form / = (JP\ • • • Pn)t, where J is a t-invertible t-ideal and PI, ... ,Pn are pairwise incomparable i-prime ideals.
