On Extensions of Semilocal Prüfer Domains

Abstract

One of the most important results of Chevalley's extension theorem states that every valuation domain has at least one extension to every extension field of its quotient field. We state a generalization of this result for Prüfer domains with any finite number of maximal ideals. Then we investigate extensions of semilocal Prüfer domains in algebraic field extensions. In particular, we find an upper bound for the cardinality of extensions of a semilocal Prüfer domain. Moreover, we show that any two extensions of a semilocal Prüfer domain are incomparable (by inclusion) in an algebraic extension of fields.