Решётка Стоуна
Решётка Сто́уна, дистрибутивная решётка с псевдодополнениями (см. в статье Решётка с дополнениями), в которой для всех . Дистрибутивная решётка с псевдодополнениями является решёткой Стоуна тогда и только тогда, когда теоретико-структурное объединение двух её различных минимальных простых идеалов совпадает с (теорема Гретцера – Шмидта, Grätzer. 1957).
Решётка Стоуна, рассматриваемая как универсальная алгебра с основными операциями , называется алгеброй Стоуна. Всякая алгебра Стоуна является подпрямым произведением двухэлементных и трёхэлементных цепей. В решётке с псевдодополнениями элемент называется плотным, если . Центр решётки Стоуна – булева алгебра, а множество всех её плотных элементов – дистрибутивная решётка с единицей. При этом гомоморфизм решётки в решётку фильтров решётки , определяемый условием
сохраняет и .
Тройкой, ассоциированной с алгеброй Стоуна , называется тройка . Естественным образом определяются гомоморфизмы и изоморфизмы троек. Произвольная тройка , где – булева алгебра, – дистрибутивная решётка с , а – гомоморфизм, сохраняющий и , изоморфна тройке, ассоциированной с некоторой алгеброй Стоуна; алгебры Стоуна изоморфны тогда и только тогда, когда изоморфны ассоциированные с ними тройки (теорема Чена – Гретцера, Chen. 1969).