Real Prüfer extensions of commutative rings

Abstract

Let A subset of R be an extension of commutative rings with 1. We show that A is totally real (i.e. all maximal ideals of A are real) and A subset of R is a Prufer extension if and only if R is totally real and the holomorphy ring H(R/A) of R over A is A.