The Complete Quotient Ring of Images of Semilocal Prüfer Domains

It is well known that the complete quotient ring of a Noetherian ring coincides with its classical quotient ring, as shown in Akiba [1]. But in general, the structure of the complete quotient ring of a given ring is largely unknown. This paper investigates the structure of the complete quotient ring of certain Prüfer rings. Boisen and Larsen [2] considered conditions under which a Prüfer ring is a homomorphic image of a Prüfer domain and the properties inherited from the domain. We restrict our investigation primarily to homomorphic images of semilocal Prüfer domains. We characterize the complete quotient ring of a semilocal Prüfer domain in terms of complete quotient rings of local rings and a completion of a topological ring.