Convexity, valuations and Prüfer extensions in real algebra
type: Item
instance of: scholarly article
title: Convexity, valuations and Prüfer extensions in real algebra
zbMATH Open document ID: 1120.13025
author: Manfred Knebusch
author: Digen Zhang
published in: Documenta Mathematica
publication date: 2005-03-16T00:00:00Z
full work available at URL: https://eudml.org/doc/127900
full work available at URL: 01.html
review text: In the monograph [\textit{M. Knebusch} and \textit{D. Zhang}, Manis valuations and Prüfer extensions. I: A new chapter in commutative algebra. Lect. Notes Math. 1791 (2002; Zbl 1033.13001)] the authors developed a theory of Manis valuations on rings and Prüfer extensions. In the present paper they study these notions in the context of real algebra, i.e., in the presence of some form of order structure (preorderings, partial orderings, total orders,\dots). Convex subrings of totally ordered fields are well known to be valuation rings. Therefore valuations arise naturally in the theory of ordered rings, in particular in connection with convexity. (A subset \(M\) of a preordered ring \((A,A^+)\) is convex if \(a, b\in M\) and \(c- a, b- c\in A^+\) implies \(c\in M\).) Throughout, the paper is concerned with convexity and its relationship with valuations. Ordered rings and convex subrings lead to examples of Prüfer extensions and Prüfer closed rings. In the other direction, Prüfer theory is a powerful tool in the study of convex subrings The notion of a convex valuation on a ring generalizes the classical concept of compatibility of a valuation on a field with a total order. In most cases this means that the corresponding valuation ring is convex. These are the valuations that are useful in the study of ordered rings. The relationship between intersections of convex valuation rings, notably holomorphy rings, and convex subrings is one main topic. These concepts are studied quite generally in the beginning. The most substantial results are obtained with additional assumptions about the order (such as bounded inversion: \(1+ A^+\subseteq A^\times\)), or about the ring (e.g., \((A, A^+)\) is an \(f\)-ring), or both. If bounded inversion holds then: \(A\) is a Prüfer extension of every convex subring, say \(B\); every intermediate ring of \(B\) and \(A\) is convex in \(A\) as well and is a ring of quotients of \(B\). Even without bounded inversion it is shown that for any P…
reviewed by: Niels Schwartz
Mathematics Subject Classification ID: 13J30
Mathematics Subject Classification ID: 13A18
Mathematics Subject Classification ID: 13F05
Mathematics Subject Classification ID: 06F25
zbMATH DE Number: 2146818
zbMATH Keywords: valuation
zbMATH Keywords: preordered ring
zbMATH Keywords: real spectrum
zbMATH Keywords: real holomorphy ring
zbMATH Keywords: convex subring
zbMATH Keywords: lattice-ordered ring
zbMATH Keywords: ring of continuous functions
MaRDI profile type: Publication
Recommended article: From Convex Geometry of Certain Valuations to Positivity Aspects in Algebraic Geometry
Recommended article: Valuations on convex sets, non-commutative determinants, and pluripotential theory
Recommended article: Continuous valuations on convex sets
Recommended article: Convexity in real analysis
Recommended article: Q4233748
Recommended article: Convex extensions of the convex set valued maps
Recommended article: Valuations on convex functions and convex sets and Monge-Ampère operators
Recommended article: Real and complex linear extensions for locally convex cones
Recommended article: On real and complex convexity
Recommended article: Convexification in locally pseudo-convex algebras
description: scientific article; zbMATH DE number 2146818