Maximal ordered fields of rank n. II
type: Item
instance of: scholarly article
title: Maximal ordered fields of rank n. II
zbMATH Open document ID: 0652.12017
author: Daiji Kijima
author: Mieo Nishi
author: Miyoko Sakaibara
published in: Hiroshima Mathematical Journal
publication date: 1988-01-01T00:00:00Z
review text: [For part I of this paper see ibid. 17, 157-167 (1987; Zbl 0627.12016).] In this review by a field we mean an ordered field and by an extension we mean an ordered extension. The rank of a field F is defined to be the order type of the set of convex subgroups of the value group of F (and it is the same as the order type of the finest convex valuation ring of F). Given an extension K of a field F, there is a natural surjective map \(\psi_{K/F}\) from the set of convex valuation rings of K to that of F. An ordered field F is maximal if \(\psi_{K/F}\) is not bijective for any proper extension K of F. The main results of this paper are: \((1)\quad that\) for any field F there exists an extension K such that \(\psi_{K/F}\) is bijective and K is maximal ordered; and \((2)\quad that\) a maximal ordered field is isomorphic to the field of formal power series with real coefficients and exponents in a suitable totally ordered set.
Mathematics Subject Classification ID: 12J15
Mathematics Subject Classification ID: 12J10
zbMATH DE Number: 4063226
zbMATH Keywords: maximal ordered field
zbMATH Keywords: field of formal power series
reviewed by: N. Sankaran
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.32917/hmj/1206129869
OpenAlex ID: W4254656919
DOI: 10.32917/HMJ/1206129869
description: scientific article; zbMATH DE number 4063226