Embeddings into power series rings
type: Item
instance of: scholarly article
title: Embeddings into power series rings
zbMATH Open document ID: 0613.06011
DOI: 10.1007/BF01180767
author: R. H. Redfield
published in: Manuscripta Mathematica
publication date: 1986-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/155169
review text: Let S be a totally ordered semigroup such that \(a<b\) implies \(ac<bc\) and \(ca<cb\) for all c in S. Let r be a function defined on \(S\times S\) with values in the positive reals such that \(r(ab,c)\cdot r(a,b)=r(a,bc)\cdot r(bc)\) for all a, b, c in S. Then the power series ring \({\mathbb{R}}((S))\) is defined as follows: The elements of \({\mathbb{R}}((S))\) are the functions \(f: S\to {\mathbb{R}}\) whose support \(s(f)=\{a\in S\); f(a)\(\neq 0\}\) is inversely well-ordered in S. Addition of two such functions f and g is defined pointwise and multiplication by \[ (f\cdot g)(c)=\sum_{ab=c}r(a,b)f(a)g(b). \] \({\mathbb{R}}((S))\) with the lexicographic order \(f>0\) iff f(max s(f))\(>0\) becomes a totally ordered ring without zero divisors. It is well known that every totally ordered commutative field can be order embedded in some \({\mathbb{R}}((S))\). This paper presents a valuable contribution to the question which totally ordered rings without zero divisors are order embeddable in some \({\mathbb{R}}((S))\). An interesting consequence is the following: Every totally ordered division ring for which the group of archimedean classes is isomorphic to \(({\mathbb{Z}},+)\) is embeddable in the above sense.
Mathematics Subject Classification ID: 06F25
Mathematics Subject Classification ID: 16W80
Mathematics Subject Classification ID: 16W60
zbMATH DE Number: 3991568
zbMATH Keywords: totally ordered semigroup
zbMATH Keywords: power series ring
zbMATH Keywords: totally ordered ring
zbMATH Keywords: order embeddable
zbMATH Keywords: totally ordered division ring
zbMATH Keywords: archimedean classes
reviewed by: Klaus Keimel
MaRDI profile type: Publication
cites work: Totalgeordnete Moduln
cites work: Groupes et anneaux reticules
cites work: A embedding theorem for lattice-ordered fields
cites work: The Hahn Embedding Theorem for Abelian Lattice-Ordered Groups
cites work: Q5509706
cites work: On Ordered Division Rings
cites work: Zum Hahnschen Einbettungssatz für angeordnete Körper
cites work: Q3223453
cites work: The dual space of a totally ordered abelian group
cites work: Dual spaces of totally ordered rings
description: scientific article; zbMATH DE number 3991568