lattice-ordered group

GPTKB entity

Statements (31)
Predicate Object
gptkbp:instanceOf gptkb:algebra
gptkbp:alsoKnownAs l-group
gptkbp:definedIn group that is also a lattice such that the group operation is compatible with the lattice order
gptkbp:example integer group with usual order
real numbers under addition with usual order
gptkbp:field gptkb:order_theory
abstract algebra
gptkbp:generalizes totally ordered group
gptkbp:hasApplication gptkb:logic
measure theory
ring theory
gptkbp:hasProperty every pair of elements has a least upper bound and greatest lower bound
can be Abelian or non-Abelian
can be Archimedean or non-Archimedean
group operation is order-preserving
lattice operations distribute over group operation
not every lattice-ordered group is totally ordered
order is compatible with group inverse
order is compatible with group multiplication
order is translation-invariant
positive cone forms a subsemigroup
every totally ordered group is a lattice-ordered group
https://www.w3.org/2000/01/rdf-schema#label lattice-ordered group
gptkbp:introduced gptkb:Garrett_Birkhoff
gptkbp:introducedIn 1940s
gptkbp:studiedIn functional analysis
universal algebra
gptkbp:subunit gptkb:Riesz_space
vector lattice
gptkbp:bfsParent gptkb:vector_lattices
gptkbp:bfsLayer 8