Schmüdgen's theorem for preorderings of higher level
type: Item
instance of: scholarly article
title: Schmüdgen's theorem for preorderings of higher level
zbMATH Open document ID: 1015.13008
DOI: 10.1007/PL00000496
author: Digen Zhang
published in: Archiv der Mathematik
publication date: 2003-08-10T00:00:00Z
review text: The author proves the following analogue of Schmüdgen's Positivstellensatz [cf. \textit{K. Schmüdgen}, Math. Ann. 289, 203-206 (1991; Zbl 0744.44008)] for preorderings of higher level: Suppose that \(R\) is an affine algebra over the field \(K\); \(T\) is a preordering of level \(r\) (i.e., \(T\) is additively and multiplicatively closed, contains every \(2r\)-th power in \(a\in R\), and \(-1\notin T)\); for every \(a\in K\) there is some \(n\in \mathbb{N}\) such that \(n\pm a\in T\) (i.e., the partial order \(T\cap K\) of the field \(K\) is Archimedean); for every \(a\in R\) there is some \(n\in\mathbb{N}\) such that \(n\pm\varphi (a)\geq 0\) for every homomorphism \(\varphi\in X(T)= \{\varphi: R\to \mathbb{R}\mid \varphi(T)\subseteq \mathbb{R}^\geq\}\). Then the preordering \(T\) is Archimedean (i.e., for every \(a\in R\) there is some \(n\in\mathbb{N}\) such that \(n\pm a\in T\)); and an element \(a\in R\) belongs to \(T\) whenever \(\varphi(a)>0\) for each \(\varphi\in X(T)\).Schmüdgen's theorem for preorderings of higher level is also studied by \textit{J.-P. Monnier} and \textit{R. Quarez}, Math. Z. 39, 563-577 (2002; see the following review Zbl 1015.13009).
reviewed by: Niels Schwartz
Mathematics Subject Classification ID: 13J30
Mathematics Subject Classification ID: 14P10
Mathematics Subject Classification ID: 13J25
Mathematics Subject Classification ID: 14A05
zbMATH DE Number: 1708279
zbMATH Keywords: higher level ordering
zbMATH Keywords: Schmüdgen's Positivstellensatz
zbMATH Keywords: preorderings
MaRDI profile type: MaRDI publication profile
full work available at URL: pl00000496
OpenAlex ID: W1980615638
description: scientific article; zbMATH DE number 1708279