archimedean unital groups with finite unit intervals阿基米德unital组与有限单元间隔.pdfVIP

IJMMS 2003:44, 2787–2801 PII. S0161171203210395 © Hindawi Publishing Corp. ARCHIMEDEAN UNITAL GROUPS WITH FINITE UNIT INTERVALS DAVID J. FOULIS Received 23 October 2002 Let G be a unital group with a finite unit interval E , let n be the number of atoms in E , and let κ be the number of extreme points of the state space Ω (G). We introduce canonical order-preserving group homomorphisms ξ : Zn → G and ρ : G → Zκ linking G with the simplicial groups Zn and Zκ . We show that ξ is a surjection and ρ is an injection if and only if G is torsion-free. We give an explicit construction of the universal group (unigroup) for E using the canonical surjection ξ. If G is torsion-free, then the canonical injection ρ is used to show that G is Archimedean if and only if its positive cone is determined by a finite number of homogeneous linear inequalities with integer coefficients. 2000 Mathematics Subject Classification: 06F20. 1. Introduction and basic definitions. In this paper, we continue the study of unital groups with finite unit intervals begun in [2, 3]. Motivation for this study can be found in [2]. Although we will attempt to keep this paper some- what self-contained, we make free use of the notation, nomenclature, and re- sults of [2, 3]. We begin by setting forth notation and recalling some basic definitions. We write a partially ordered abelian group G additively, and denote the positive cone in G by G+ := {g ∈ G | 0 ≤ g } [7]. If G+ generates G as an abelian group, that is, if G = G+ −G+, then G is said to be directed. A subset F of G+ is cone gen- erating if and only if every element of G+ is a sum of a finite sequence of (not necessarily distinct) elements of F . Various definitions of “Archimedean” can be found in the literature.