partially ordered group
A partially ordered group is a group that is a poset at the same time, such that if and , then
- 1.
, and
- 2.
,
for any . The two conditions are equivalent to the one condition for all . A partially ordered group is also called a po-group for short.
Remarks.
- •
One of the immediate properties of a po-group is this: if , then . To see this, left multiply by the first inequality by on both sides to obtain . Then right multiply the resulting inequality on both sides by to obtain the desired inequality: .
- •
If can be seen that for every , the automorphisms
also preserve order, and hence are order automorphisms as well. For instance, if , then .
- •
A element in a po-group is said to be positive if , where is the identity element
of . The set of positive elements in is called the positive cone
of .
- •
(special po-groups)
- (a)
A po-group whose underlying poset is a directed set
is called a directed group.
- *
If is a directed group, then is also a filtered set: if , then there is a such that and , so that and as well.
- *
Also, if is directed, then : for any , let be the upper bound of and let . Then and .
- *
- (b)
A po-group whose underlying poset is a lattice
is called a lattice ordered group, or an l-group.
- (c)
If the partial order
on a po-group is a linear order, then is called a totally ordered group, or simply an ordered group.
- (d)
A po-group is said to be Archimedean
if for all , then . Equivalently, if , then for any , there is some such that . This is a generalization
of the Archimedean property on the reals: if , then there is some such that . To see this, pick , and .
- (e)
A po-group is said to be integrally closed
if for all , then . An integrally closed group is Archimedean: if for all , then and . Since we also have for all , this implies , or . Hence . In fact, an directed integrally closed group is an Abelian
po-group.
- (a)
- •
Since the definition above does not involve any specific group axioms, one can more generally introduce partial ordering on a semigroup
in the same fashion. The result is called a partially ordered semigroup, or a po-semigroup for short. A lattice ordered semigroup is defined similarly.
Title | partially ordered group |
Canonical name | PartiallyOrderedGroup |
Date of creation | 2013-03-22 16:42:25 |
Last modified on | 2013-03-22 16:42:25 |
Owner | CWoo (3771) |
Last modified by | CWoo (3771) |
Numerical id | 14 |
Author | CWoo (3771) |
Entry type | Definition |
Classification | msc 06F05 |
Classification | msc 06F20 |
Classification | msc 06F15 |
Classification | msc 20F60 |
Synonym | po-group |
Synonym | l-group |
Synonym | Archimedean po-group |
Synonym | integrally closed po-group |
Synonym | po-semigroup |
Synonym | lattice-ordered group |
Synonym | l-semigroup |
Related topic | OrderedGroup |
Defines | directed group |
Defines | positive element |
Defines | positive cone |
Defines | lattice ordered group |
Defines | Archimedean partially ordered group |
Defines | integrally closed group |
Defines | integrally closed partially ordered group |
Defines | partially ordered semigroup |
Defines | lattice ordered semigroup |
Defines | Archimedean |