View source for Totally ordered group

An [[Algebraic system|algebraic system]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093490/t0934901.png" /> that is a [[Group|group]] with respect to multiplication, a [[Totally ordered set|totally ordered set]] with respect to a binary order relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093490/t0934902.png" /> and satisfies the following axiom: For any elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093490/t0934903.png" />, from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093490/t0934904.png" /> it follows that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093490/t0934905.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093490/t0934906.png" />.

The set of positive elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093490/t0934907.png" /> of a totally ordered group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093490/t0934908.png" /> has the following properties: 1) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093490/t0934909.png" />; 2) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093490/t09349010.png" />; 3) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093490/t09349011.png" />; and 4) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093490/t09349012.png" />. Conversely, if in a group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093490/t09349013.png" /> there is a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093490/t09349014.png" /> satisfying conditions 1)–4), then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093490/t09349015.png" /> can be made into a totally ordered group with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093490/t09349016.png" /> as set of positive elements.

There is a large number of criteria for a group to be orderable. Orderable groups are torsion-free groups with unique root extraction. The following groups are orderable: torsion-free Abelian groups, torsion-free nilpotent groups, free groups, and free solvable groups. Simple non-Hopfian totally ordered groups exist. The quotient group of an orderable group by its centre is orderable.

The direct product, the complete direct product and the free product, and also the wreath product, of totally ordered groups can be totally ordered by extending the orders of the factors. A group that can be approximated by orderable groups is itself orderable. For orderable groups there is a local theorem (see [[Mal'tsev local theorems|Mal'tsev local theorems]]). A totally ordered group can be imbedded in the multiplicative group of a totally ordered skew-field and in a simple totally ordered group. The class of orderable groups is axiomatizable. A totally ordered group is a [[Topological group|topological group]] with respect to the interval topology. A totally ordered group is called Archimedean if and only if it does not have non-trivial convex subgroups. Any Archimedean totally ordered group is isomorphic to a subgroup of the additive group of real numbers with the natural order. The set of all convex subgroups of a totally ordered group forms a complete infra-invariant system with Archimedean factors, and so totally ordered groups have solvable normal systems (see [[Subgroup system|Subgroup system]]).

Specific for the theory of totally ordered groups are questions connected with the extension of partial orders (see [[Pre-orderable group|Pre-orderable group]]). There is a number of generalizations of the concept of a totally ordered group.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  A.I. Kokorin,   V.M. Kopytov,   "Fully ordered groups" , Israel Program Sci. Transl.  (1974)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  L. Fuchs,   "Partially ordered algebraic systems" , Pergamon  (1963)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  N. Bourbaki,   "Algèbre" , ''Eléments de mathématiques'' , Masson  (1981)  pp. Chapts. IV-VI</TD></TR></table>



====Comments====


====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M. Anderson,   T. Feil,   "Lattice-ordered groups. An introduction" , Reidel  (1988)  pp. 35; 38ff</TD></TR></table>