7
$\begingroup$

Is there a good overview of the dependencies between properties that a (finite) lattice poset can have?

To give a practical example, I was looking for a property weaker than congruence uniform and stronger than semidistributive.

If I am not mistaken, https://graphclasses.org/ answers an analogous question for graphs.

$\endgroup$
7
  • 4
    $\begingroup$ Wikipedia has a very small diagram (about 20 different properties). en.wikipedia.org/wiki/Map_of_lattices $\endgroup$ Feb 6, 2022 at 9:38
  • 1
    $\begingroup$ For varieties of lattices there is a nice picture you can draw, since they are determined by their minimal excluded examples. (But e.g. semidistributive lattices do not form a variety.) $\endgroup$ Feb 6, 2022 at 15:00
  • 1
    $\begingroup$ @SamHopkins, if you have Java installed on your computer then it probably includes an executable called appletviewer which does what the name suggests. The image it draws initially is i.stack.imgur.com/MacbG.png $\endgroup$ Feb 7, 2022 at 14:31
  • 1
    $\begingroup$ @SamHopkins, i.stack.imgur.com/RdepB.png . It's not the most readable image. I've found the structure encoded in the HTML of the page, so if someone wants to do a nicer image with graphviz then that would be the place to look for more useful labels. $\endgroup$ Feb 7, 2022 at 15:18
  • 1
    $\begingroup$ @SamHopkins, I had graphviz open for something else, so while I was at it I ported the second graph. $\endgroup$ Feb 9, 2022 at 16:35

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.