Partially ordered group
The set in a partially ordered group is called the positive cone, or the integral part, of and satisfies the properties: 1) ; 2) ; and 3) for all . Any subset of that satisfies the conditions 1)–3) induces a partial order on ( if and only if ) for which is the positive cone.
Examples of partially ordered groups. The additive group of real numbers with the usual order relation; the group of functions from an arbitrary set into , with the operation
and order relation if for all ; the group of all automorphisms of a totally ordered set with respect to composition of functions, and with order relation if for all , where .
|||G. Birkhoff, "Lattice theory" , Colloq. Publ. , 25 , Amer. Math. Soc. (1973)|
|||L. Fuchs, "Partially ordered algebraic systems" , Pergamon (1963)|
Partially ordered group. V.M. Kopytov (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Partially_ordered_group&oldid=13204