Modular lattice

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:algebra
lattice
gptkbp:application gptkb:algebra
gptkb:geometry
gptkbp:definedIn modular law
gptkbp:example lattice of normal subgroups of a group
lattice of subspaces of a vector space
gptkbp:field gptkb:mathematics
gptkb:order_theory
https://www.w3.org/2000/01/rdf-schema#label Modular lattice
gptkbp:introduced gptkb:Richard_Dedekind
gptkbp:not_necessarily distributive
gptkbp:property for all x, y, z: if x ≤ z, then x ∨ (y ∧ z) = (x ∨ y) ∧ z
gptkbp:relatedTo gptkb:complemented_lattice
distributive lattice
gptkbp:subclassOf lattice
gptkbp:bfsParent gptkb:Posets
gptkb:Lattice
gptkbp:bfsLayer 6