Ортомодулярная решётка
Ортомодуля́рная решётка, решётка с нулём и единицей , в которой для любого элемента существует ортодополнение , т. е. такой элемент, что
и выполняется ортомодулярный закон:
В ортомодулярной решётке исследовались в основном дистрибутивность и перспективность, неприводимость, модулярность пар, свойства центра и идеалов, коммутант и разрешимость, приложения к логике квантовой механики (Скорняков. 1961; Алгебра. Топология. Геометрия. 1970).
Если – произвольная алгебра Неймана, то совокупность всех её проекций является полной ортомодулярной решёткой. При этом, если – фактор, то на множестве можно определить функцию размерности. В зависимости от множества значений этой функции факторы делятся на типы [классификация Муррея – Неймана (Murray. 1936)]. Было установлено, что решётки проекций факторов типа и являются непрерывными геометриями, т. е. полными дедекиндовыми решётками с дополнениями, удовлетворяющими следующим двум аксиомам непрерывности:
1) для любого направленного множества индексов и такого множества элементов , что влечёт ;
2) условие, двойственное к 1).
Возникла задача построения абстрактной теории размерности в рамках такого класса решёток, который включил бы в себя, кроме модулярных решёток проекций факторов типов и , и немодулярные решётки проекций факторов остальных типов. Доказано (Loomis. 1955; Maeda. 1955) существование функции размерности на полной ортомодулярной решётке с отношением эквивалентности, удовлетворяющим некоторым дополнительным условиям. Этот класс решёток включает в себя и решётки проекций факторов, и непрерывные геометрии.
Ортомодулярные решётки, являясь естественным обобщением решёток проекций факторов, в то же время составляют существенно более широкий класс, поскольку многие свойства решёток проекций неверны для произвольных ортомодулярных решёток. Подобно тому как непрерывные геометрии координатизируются регулярными кольцами (Скорняков. 1961), ортомодулярные решётки могут быть координатизированы бэровскими -полугруппами. Если полная ортомодулярная решётка модулярна, то она непрерывна (Kaplansky. 1955). Существует модулярная решётка с ортодополнениями, пополнение сечениями которой не ортомодулярно (в то время как пополнение сечениями полумодулярной решётки с ортодополнениями полумодулярно, и решётка проекций алгебры Неймана полумодулярна).