A lattice-ordered group is a group which is also a lattice in a compatible way.
First we introduce partially ordered groups.
A group is said to be partially ordered if it is equipped with a partial order, , which is compatible with the group multiplication, , so, if then and also for any .
The set, is called the positive cone of . It completely determines the partial order since if and only if .
If is a partially ordered group, and the partial order is a lattice, then we say is a lattice-ordered group, so for each pair , in has a join, and a meet, .
Many sources abbreviate ‘lattice-ordered group’ to ‘-group’.
The group operation distibutes over both and .
Inversion reverses the order so it , then . (It is worth noting that this property is the opposite of that encountered with ordered groupoids.)
A sort of de Morgan’s law holds, so . This is easily proved once one notes that inversion reverses the order.
The compatibility of the group multiplication with the lattice structure interpretas as saying that left and right multiplication by elements of the group give automorphisms of the lattice structure.
We note that given any , we can form , and . In this case, if , then, of course, and . We then also have - which is neat!
This gives that any lattice-ordered group gives a residuated lattice.
The lattice-ordered groups form a variet ub the category of residuated lattices that is axiomatised by the identity .
The original article that considered ordered groups in the non-commutative case is by Garrett Birkhoff:
He later considered Lattice-ordered Lie groups.
There are several monographs or books on the subject of lattice ordered groups.
Marlow Anderson and Todd Feil, Lattice Ordered Groups: An Introduction, Reidel Texts in the Mathematical Sciences, vol 4, (1988), (doi:10.1007/978-94-009-2871-8).
V. M. Kopytov, N. Ya. Medvedev, The Theory of Lattice-Ordered Groups, Mathematics and Its Applications, volume 307, 1994), Springer, doi.
Last revised on February 23, 2024 at 19:59:18. See the history of this page for a list of all contributions to it.