Subfields of a real closed field of countable codimension
type: Item
instance of: scholarly article
title: Subfields of a real closed field of countable codimension
zbMATH Open document ID: 1489.12018
published in: Journal of Pure and Applied Algebra
publication date: 2021-07-14T00:00:00Z
review text: This paper discusses the existence of subfields of real closed fields. Recall that \(K\) is called real if \(-1\) is not a sum of squares in \(K\). This is equivalent to say that \(K\) admits an ordering, that is, \(K\) admits a total order relation compatible with sums and products in the obvious way. The real field \(K\) is said to be real closed if it is real and if any algebraic extension of \(K\) which is real must coincide with \(K\). Given a field extension \(E\vert F\) we call the codimension of \(F\) (with respect to \(E\)) the dimension \([E : F]\) of \(E\) as \(F\)-vector space. Equivalently, \([E : F]\) denotes the degree of the extension \(E\) over \(F\). Let \(R\) be a maximal proper subfield of an algebraically closed field \(C\) of zero characteristic. Then it is well known that \(R\) is real closed and the degree (codimension) \([C : R] = 2\). On the other hand, real closed fields do not admit proper subfields of finite codimension. In the main result of this paper - Theorem 2.6, it is proven that given a real closed field \(R\) and a proper algebraic field extension \(R\vert K\), there exists a countable family of fields \(\{K_n : n \in\mathbb N\}\) with \(K\subset K_n \subset R\) such that every \(K_n\) is a subfield of \(R\) of countable codimension (which is the smallest possible degree.) In addition, \(K_n\subset K_m\) if \(m\) divides \(n\). Section 3 is mainly devoted to study the family \(\mathcal F_R^{cc}\) of all subfields of a real closed field \(R\) with countable codimension and, in particular, the subfamily \(\{K_n : n \in\mathbb N\}\) constructed in Section 2. It is proven in Remark 3.2 that no \(K_n\) is real closed, but each \(K_n\) is an euclidean field, that is, each positive element of \(K_n\) with respect to the ordering inherited from \(R\), is a square in \(K_n\). In Corollary 3.4 it is shown that \(\mathcal F_R^{cc}\) does not contain maximal elements and in Proposition 3.7 it is shown that the intersection of all these subfi…
reviewed by: Ivo M. Michailov
Mathematics Subject Classification ID: 12F10
Mathematics Subject Classification ID: 12F05
zbMATH DE Number: 7371447
zbMATH Keywords: real closed field
zbMATH Keywords: Galois theory
zbMATH Keywords: Krull topology
author: Jose Manuel Gamboa
MaRDI profile type: MaRDI publication profile
full work available at URL: j.jpaa.2021.106795
OpenAlex ID: W3161516837
cites work: Q3770650
cites work: Q3765889
cites work: Some new results on ordered fields
cites work: Ordered fields with the dense orbits property
cites work: Automorphisms of the Field of Complex Numbers
cites work: Model Theory
cites work: Q4895029
cites work: Q4135685
DOI: 10.1016/J.JPAA.2021.106795
description: scientific article; zbMATH DE number 7371447