Central extensions of ordered skew fields
type: Item
instance of: scholarly article
title: Central extensions of ordered skew fields
zbMATH Open document ID: 0789.12002
DOI: 10.1007/BF03025737
published in: Mathematische Zeitschrift
publication date: 1994-06-09T00:00:00Z
full work available at URL: https://eudml.org/doc/174545
review text: This paper deals with central (algebraic) extensions of ordered skew fields and is mainly concerned with the following question: If \(D\) is an ordered skew field with centre \(K\) and if \(F\) is an algebraic, ordered (commutative) field extension of \(K\), is \(D':= F\otimes_ K D\) a skew field having an ordering that extends the ordering of \(F\) resp. \(D\)? It is proved that each ordered skew field can be enlarged to an ordered skew field with real closed centre and this result provides a complete answer of this question in the affirmative. The major tool that is used is valuation theory. The relation between orderings and valuations of commutative fields goes back to Baer and Krull and was generalized to ordered skew fields by P. Conrad and A. Tschimmel. The aim of this paper is to show that for each ordered skew field \(D\) with centre \(K\) there exists a commutative algebraic extension field \(F\) of \(K\) such that the following hold: i) \(D'= F\otimes_ K D\) is a skew field. ii) \(D'\) has an ordering that extends the ordering of \(D\). iii) The natural valuation of \(F\) is henselian with real closed residue (skew) field and divisible value group. By Prestel's theorem \(F\) is real closed, i.e. \(F\) is the real closure of \(K\), and one obtains the following theorem: If \(D\) is an ordered skew field with centre \(K\) and if \(F\) is the real closure of \(K\) then \(F\otimes_ K D\) is a skew field having an ordering that extends the ordering of \(D\). Since \(F(i)\) is algebraically closed, this result provides the following corollary: If \(D\) is an ordered skew field with centre \(K\) and if \(A\) is the algebraic closure of \(K\) then \(A\otimes_ K D\) is a skew field. Finally, this corollary can also be stated as: If \(D\) is an ordered skew field with centre \(K\) and if \(f(x)\in K[x]\) is irreducible over \(K\) then \(f(x)\) is irreducible in \(D[x]\).
Mathematics Subject Classification ID: 12E15
Mathematics Subject Classification ID: 12F05
Mathematics Subject Classification ID: 12J15
Mathematics Subject Classification ID: 12E05
Mathematics Subject Classification ID: 12J10
zbMATH DE Number: 561306
zbMATH Keywords: central algebraic extensions
zbMATH Keywords: polynomials over skew fields
zbMATH Keywords: ordered skew fields
author: Joachim Graeter
MaRDI profile type: Publication
cites work: Q4405003
cites work: On Ordered Division Rings
cites work: Q3808246
cites work: Q3751633
cites work: Witt rings and orderings of skew fields
cites work: Places on ∗- fields and the real holomorphy ring
cites work: Valuation theory
cites work: Ein nichtkommutativer konvexer Bewertungsring ohne konfinalen Schiefkörper. (A noncommutative convex valuation ring without confinal skew field)
cites work: Q3882586
cites work: Q3226265
cites work: Q3663392
cites work: Q3999650
cites work: On a generalization of Albert's theorem
cites work: A construction of an ordered division ring with a rank one valuation
cites work: Valuations of skew fields and projective Hjelmslev spaces
cites work: The Henselization of a valued division algebra
cites work: Higher level reduced Witt rings of skew fields
cites work: Holomorphy rings and higher level orders on skew fields
cites work: Lectures on formally real fields
cites work: Q3223453
cites work: Q5796078
cites work: Q3717176
cites work: On Ordered Skew Fields
cites work: Lokal-global Prinzipien für Anordnungen bewerteter Schiefkörper
cites work: Q5625295
cites work: Q3992929
description: scientific article; zbMATH DE number 561306