Internal characterizations of lattice-ordered power series fields
type: Item
instance of: scholarly article
title: Internal characterizations of lattice-ordered power series fields
zbMATH Open document ID: 0866.12006
DOI: 10.1007/BF01879735
author: R. H. Redfield
published in: Periodica Mathematica Hungarica
publication date: 1997-07-06T00:00:00Z
review text: The author continues his investigations of lattice-ordered fields [cf. for instance, J. Aust. Math. Soc., Ser. A 52, 299-321 (1992; Zbl 0766.06019)] focusing on problems of construction of lattice-ordered power series fields and of embedding abstract lattice-ordered fields into them. Let \((\Gamma,\cdot,<)\) be a totally ordered abelian group with neutral element \(e\), \({\mathcal A}\) a subset of \(2^\Gamma\), the power set of \(\Gamma\), such that for any \(A\in{\mathcal A}\) all chains in \(A\) contain a maximal element, \(\cup{\mathcal A}\) generates \(\Gamma\), and \({\mathcal A}\) is an ideal in \((2^\Gamma,\subseteq)\) invariant under \(\Gamma\) and is closed with respect to forming the semigroup generated by those \(A\in{\mathcal A}\) which fulfill \(a\leq e\) for all \(a\in A\). Such an \({\mathcal A}\) is called a field family. \textit{F. J. Rayner} [Glasg. Math. J. 9, 146-151 (1968; Zbl 0159.05302)] has shown that any field family \({\mathcal A}\) gives rise to a field structure on the set of all functions \(\Gamma\to T\) with support in \({\mathcal A}\), where \(T\) is chosen to be a totally ordered field. The author generalizes this construction by considering a partial order on \(\Gamma\) such that the positive cone is totally ordered, and several relaxations of the above mentioned axioms of a field family \({\mathcal A}\). He terms these more general subsets \({\mathcal X}\) of \(2^\Gamma\) supporting collections. Here, in general, the set \(F\) of all functions \(\Gamma\to T\) with support in \({\mathcal X}\) can only be given the structure of a lattice-ordered algebra by defining addition coordinatewise and multiplication by a convolution which depends on the (always possible) choice of some factor set. Characterizations are given for the case where \(F\) becomes a field (Proposition 1.1). Let \(L\) be a lattice-ordered field with \(1>0\), and \(M(L)\) denote its maximal totally ordered subfield. In some cases \(L\) admits an embedding into a power…
Mathematics Subject Classification ID: 12J15
Mathematics Subject Classification ID: 06A99
Mathematics Subject Classification ID: 13J05
zbMATH DE Number: 926944
zbMATH Keywords: lattice-ordered field
zbMATH Keywords: lateral completeness
zbMATH Keywords: construction of lattice-ordered power series fields
zbMATH Keywords: field family
zbMATH Keywords: supporting collections
zbMATH Keywords: power series algebra
reviewed by: Horst Szambien
MaRDI profile type: Publication
cites work: Fields of generalized power series
cites work: Ordering by Divisibility in Abstract Algebras
cites work: Maximal fields with valuations
cites work: An algebraically closed field
cites work: Constructing lattice-ordered fields and division rings
cites work: Lattice-ordered fields as convolution algebras
cites work: Q4022837
cites work: Noetherian rings of generalized power series
cites work: Rings of generalized power series. II: Units and zero-divisors
cites work: Rings of generalized power series: Nilpotent elements
cites work: Lattice-ordered fields
description: scientific article; zbMATH DE number 926944