Дистрибутивная решётка

Материал из Википедии — свободной энциклопедии

Дистрибутивная решётка — решётка, в которой справедливо тождество

(a + b) c = a c + b c,

равносильное как

a b + c = (a + c)(b + c),

так и

(a + b)(a + c)(b + c) = a b + a c + b c .

Дистрибутивные решётки характеризуются тем, что все их выпуклые подрешётки служат смежными классами конгруэнций. Всякая дистрибутивная решётка изоморфна решётке подмножеств (но не обязательно всех) некоторого множества. Частным случаем дистрибутивных решёток являются импликативные решётки, например, булевы алгебры. В дистрибутивных решётках для любого конечного множества $I$ выполняются равенства

$a \sum _{i \in I} b_i = \sum _{i \in I} ab_i$

$a+\prod _{i \in I} b_i = \prod _{i \in I} (a+b_i)$

а также

$\prod _{i \in I} \sum _{i \in J(i)} a_{i,j} = \sum _{\phi \in \Phi} \prod _{i \in I} a_{i \phi(i)}$

$\sum _{i \in I} \prod _{j \in J(i)} a_(i,j) = \prod _{\phi \in \Phi} \sum _{i \in I} a_{i \phi (i)}$ ,

где $J (i)$ — конечные множества, а $Φ$ — множество всех однозначных функций $φ$ , ставящих в соответствие элементу $i$ из $I$ элемент $φ(i)$ из $J (i)$ . В полной дистрибутивной решётке указанные равенства имеют смысл и в случае бесконечных множеств $I$ и $J (i)$ . Однако справедливы они не всегда. Полные дистрибутивные решётки, удовлетворяющие последним двум тождествам для любых множеств $I$ и $J (i)$ , называются вполне дистрибутивными.

[править] Литература

Математическая энциклопедия
Биркгоф Г., Теория структур, перевод с английского, Москва, 1952;
Скорняков Л. А., Элементы теории структур, Москва, 1970;
Grätzer G., Lattice theory. First concepts and distributive lattices, San Francisco, 1971.

Категория: Теория решёток

Дистрибутивная решётка

Материал из Википедии — свободной энциклопедии

[править] Литература

Views

Навигация

Участие

Поиск

На других языках