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
|