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 |
| gptkbp:introduced |
gptkb:Garrett_Birkhoff
|
| gptkbp:introducedIn |
1940s
|
| gptkbp:studiedIn |
functional analysis
universal algebra |
| gptkbp:subunit |
gptkb:Riesz_space
gptkb:vector_lattice |
| gptkbp:bfsParent |
gptkb:vector_lattices
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
lattice-ordered group
|