08-07-2023
Дистрибутивная решётка — решетка, в которой справедливо тождество
равносильное тождествам
и
Дистрибутивные решётки характеризуются тем, что все их выпуклые подрешётки служат смежными классами конгруэнций. Всякая дистрибутивная решётка изоморфна решётке подмножеств (но не обязательно всех) некоторого множества. Частным случаем дистрибутивных решёток являются импликативные решётки, например, булевы алгебры. В дистрибутивных решётках для любого конечного множества выполняются равенства
и
а также
и
где — конечные множества, а — множество всех однозначных функций , ставящих в соответствие элементу из элемент из . В полной дистрибутивной решётке указанные равенства имеют смысл и в случае бесконечных множеств и . Однако справедливы они не всегда. Полные дистрибутивные решётки, удовлетворяющие последним двум тождествам для любых множеств и , называются вполне дистрибутивными.
| Это заготовка статьи по алгебре. Вы можете помочь проекту, исправив и дополнив её. |
Дистрибутивная решётка.