\(n\)-real valuations and the higher level version of the Krull-Baer theorem.
type: Item
instance of: scholarly article
title: \(n\)-real valuations and the higher level version of the Krull-Baer theorem.
zbMATH Open document ID: 1066.16050
author: Igor Klep
author: Dejan Velušček
published in: Journal of Algebra
publication date: 2004-11-22T00:00:00Z
review text: The authors are concerned with the study of orderings of different levels on skew fields. After an example with an ordering of a given level but no higher ones, they consider a skew field \(D\) with an ordering of level \(n\) and an invariant valuation \(v\). This valuation is called \(n\)-real if the residue class field \(k_v\) has an ordering (of level 1) such that positive elements of the valuation ring are mapped by \(v\) to positive elements of \(k_v\). They show how for a given ordering of level 1 on \(k_v\) a preordering of level \(n\) on \(D\) can be constructed inducing the given ordering on \(k_v\). Next define for any group \(G\) its dual \(G^*=\Hom(G,\mu)\) where \(\mu\) is the set of all complex roots of 1 and call \(\chi\in(D^\times)^*\) a signature of level \(n\) if \(\{0\}\cup\ker\chi\) is a level \(n\) ordering of \(D\). The character \(\chi\) is compatible with \(v\), \(\chi\sim v\), if \(1+{\mathfrak m}_v\subseteq\ker\chi\), where \({\mathfrak m}_v\) is the maximal ideal of \(v\). Such \(\chi\) yields a character \(i^*(\chi)\) of \(k_v\) called the pushdown of \(\chi\) with respect to \(v\). A signature \(\pi\) whose kernel contains all positive elements of the valuation ring is said to be \(n\)-compatible with \(v\). If \(D\) has a valuation \(v\) and \(\pi\) is a signature of level \(n\) of \(k_v\) which is \(n\)-compatible with \(v\), then \(\pi\) is shown to have a pullback of level \(n\) with respect to \(v\) and it is shown how to construct all pullbacks from a given one. The set of all signatures of level \(n\) of \(D\) is written \(\text{Sgn}^n(D)\) and a procedure is described for constructing its elements by means of the \(n\)-real valuation rings on \(D\) whose residue-class field has an Archimedean ordering \(n\)-compatible with \(v\). This leads to a short proof of the classification of all signatures on the ring of quantum polynomials [see \textit{J. Cimprič}, Commun. Algebra 28, No. 1, 103--119 (2000; Zbl 1031.12006)]. The valuation…
Mathematics Subject Classification ID: 16W60
Mathematics Subject Classification ID: 16K40
Mathematics Subject Classification ID: 16S36
Mathematics Subject Classification ID: 12E15
Mathematics Subject Classification ID: 13J30
zbMATH DE Number: 2117274
zbMATH Keywords: orderings of higher level
zbMATH Keywords: division rings
zbMATH Keywords: valuations
zbMATH Keywords: signatures
zbMATH Keywords: real places
zbMATH Keywords: skew polynomial rings
reviewed by: Paul M. Cohn
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2004.05.012
OpenAlex ID: W2092618789
cites work: Summen n-ter Potenzen in Körpern.
cites work: Q3918202
cites work: Reduced forms and reduced Witt rings of higher level
cites work: Preorderings on semigroups and semirings of right quotients
cites work: HIGHER PRODUCT LEVELS OF NONCOMMUTATIVE RINGS
cites work: Complete precones on noncommutative integral domains
cites work: Witt rings and orderings of skew fields
cites work: Q4224184
cites work: Orderings, real places, and valuations on noncommutative integral domains
cites work: Holomorphy rings and higher level orders on skew fields
cites work: Higher level reduced Witt rings of skew fields
cites work: Q5796078
DOI: 10.1016/J.JALGEBRA.2004.05.012
description: scientific article; zbMATH DE number 2117274