Namespaces
Variants
Actions

Convex subgroup

From Encyclopedia of Mathematics
Revision as of 16:56, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A subgroup of a (partially) ordered group which is a convex subset of with respect to the given order relation. Normal convex subgroups are exactly the kernels of homomorphisms of the partially ordered group which preserve the order. A subgroup of an orderable group which is convex for any total order is called an absolutely convex subgroup; if it is convex only for a certain total order, it is called a relatively convex subgroup. The intersection of all non-trivial relatively convex subgroups of an orderable group is an absolutely convex subgroup; the union of all proper relatively convex subgroups is also an absolutely convex subgroup. Torsion-free Abelian groups have no non-trivial absolutely convex subgroups. A subgroup of a completely ordered group is absolutely convex if and only if for any elements , the intersection is non-empty, where is the minimal invariant sub-semi-group of containing . A convex -subgroup of a lattice-ordered group is isolated, i.e. for any natural number , it follows from that .

References

[1] A.I. Kokorin, V.M. Kopytov, "Fully ordered groups" , Israel Program Sci. Transl. (1974) (Translated from Russian)
[2] L. Fuchs, "Partially ordered algebraic systems" , Pergamon (1963)
How to Cite This Entry:
Convex subgroup. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Convex_subgroup&oldid=31640
This article was adapted from an original article by A.I. Kokorin, V.M. Kopytov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article