Abstract :
Let (T,M) be a complete local (Noetherian) unique factorization domain with dimension at least two, T/M≥c where c is the cardinality of the real numbers, and p a nonmaximal prime ideal of T such that p intersected with the prime subring of T is the zero ideal. Furthermore, suppose F is a nonempty set of nonmaximal, incomparable prime ideals of T such that Fht p, and A∩q=zqA for all q F where zq is a nonzero prime element of T. Moreover, if q,q′ F then A∩q=A∩q′ if and only if q=q′. Therefore, the dimension of the generic formal fiber ring of A is equal to the height of p and the dimension of the formal fiber ring at the prime ideal zqA is greater than or equal to the height of q−1. We also show that this result leads to interesting examples of some easily describable generic formal fibers.