Diamond theorem

GPTKB entity

Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:alsoKnownAs gptkb:Jónsson's_diamond_theorem
gptkbp:field gptkb:set_theory
gptkb:order_theory
https://www.w3.org/2000/01/rdf-schema#label Diamond theorem
gptkbp:namedAfter gptkb:Bjarni_Jónsson
gptkbp:publicationYear 1953
gptkbp:publishedIn Mathematica Scandinavica
gptkbp:relatedTo lattice theory
distributive lattice
join-irreducible element
gptkbp:sentence If a lattice is distributive and satisfies the ascending chain condition, then every element is a join of join-irreducible elements.
gptkbp:bfsParent gptkb:Marjorie_Diamond
gptkbp:bfsLayer 6