Мультипликативная решётка
Мультипликати́вная решётка, полная решётка с дополнительной бинарной коммутативной и ассоциативной операцией, называемой умножением (и обозначаемой ), такой, что наибольший элемент решётки играет роль мультипликативной единицы и
для любых и произвольного множества индексов . Теория мультипликативных решёток возникла как результат применения теоретико-структурных методов к изучению решёток идеалов коммутативных колец (Dilworth. 1962), и поэтому большинство понятий и результатов имеет аналоги (или приложения) в коммутативных кольцах (Бурбаки. 1971).
Пусть – мультипликативная решётка и , тогда . Элемент называется -главным (соответственно -главным), если [соответственно ] для любых ; -главный и -главный одновременно элемент называется главным. Нётеровой решёткой называется модулярная и удовлетворяющая условию обрыва возрастающих цепей мультипликативная решётка, в которой каждый элемент является объединением некоторых главных элементов. Полная решётка называется модулем над мультипликативной решёткой , если для любых , определено произведение , причём
(здесь – наибольший элемент в и – нули решёток и соответственно).
Наиболее изученный класс мультипликативных решёток – нётеровы решётки. Здесь можно выделить следующие направления. 1) Вопросы представления нётеровой решётки как решётки идеалов подходящего нётерова кольца [известно, что решётка идеалов любого нётерова кольца – нётерова, однако существуют нётеровы решётки, которые не могут быть даже вложены в решётку идеалов нётерова кольца (Bogart. Distributive local Noether lattices. 1969)]. 2) Изучение нётеровых модулей над мультипликативной решёткой. 3) Изучение понятий и свойств, которые переносятся на нётеровы решётки из теории идеалов нётеровых колец (понятия простого и примарного элементов, размерности, собственного максимального элемента, полулокальной и локальной решётки). Описаны (Bogart. 1968; Bogart. Nonimbeddable Noether lattices. 1969) дистрибутивные регулярные локальные нётеровы мультипликативные решётки. Построена теория локализации и ассоциированных простых элементов для гораздо более широкого, чем нётеровы, класса мультипликативных решёток, включающего в себя решётки идеалов произвольных коммутативных колец.