Полигон

Над моноидом R, R -полигон, операнд,- непустое множество с моноидом операторов. Точнее, непустое множество Аназ. левым П. над моноидом К, если для любых и определено произведение , причем и 1а=а для любых . Правый П. определяется аналогично. Задание R-полигона Аравносильно заданию гомоморфизма j моноида R в моноид отображений множества Ав себя, переводящего 1 в тождественное отображение. При этом l а=b тогда и только тогда, когда j(l)(а)=b. В частности, каждое непустое множество можно рассматривать как П. над моноидом его отображений в себя. Таким образом, 11. тесно связан с представлением полугруппы преобразованиями. Если А — универсальная алгебра, сигнатура к-рой W содержит лишь унарные операции, то Аможно превратить в П. над свободным моноидом Fс системой свободных образующих W, положив для любых . Если W — множество входных сигналов автомата с множеством состояний А, то Ааналогичным образом превращается в F-полигон (ср. Автоматов алгебраическая теория). Отображение j R-полигона Ав R-полигон Вназ. гомоморфизмом, если для любых и . При А-В получается определение эндоморфизма. Все эндоморфизмы полигона Аобразуют моноид, и Аможно рассматривать как П. над ним. Эквивалентность 0 на Л-полигоне Аназ. конгруэнцией, если влечет для любого . Множество классов конгруэнции q естественным образом превращается в R-полигон, называемый факторполигоном полигона Аи обозначаемый через A/q. Если А — полигон над R, то на Rможно определить отношение Ann A, положив , если la=ma для всех . Отношение Ann Аоказывается конгруэнцией моноида R, и Аестественным образом превращается в П. над фактормоноидом R/Ann А. Если полигон Авозник из нек-рого автомата, то описанный переход равносилен "склеиванию" одинаковым образом действующих последовательностей входных сигналов. Наряду с обычными для универсальных алгебр конструкциями прямого и подпрямого произведения, в теории П. рассматривается важная для алгебраич. теории автоматов конструкция сплетения. Свободное произведение (или копроизведение) П. совпадает с их дизъюнктным объединением. На П. можно смотреть как на неаддитивный аналог модуля над кольцом, что служит богатым источником задач теории П. В частности, установлена связь П. с радикалами в полугруппах и исследуются связи свойств моноида со свойствами П. над ним. Напр., все левые R-полигоны проективны тогда и только тогда, когда R — одноэлементная группа, а инъективность всех П. над коммутативным моноидом Rравносильна наличию в Я нуля и порождаемости всех его идеалов идемпотентами (ср. Гомологическая классификация колец). Если R- моноид с нулем 0, то можно говорить об R-полигоне Ас нулем как об R-полигоне с отмеченной точкой и, причем Оа=и для всех . Теория П. с нулем имеет нек-рые особенности. Каждый П. можно рассматривать как функтор из однообъектной категории в категорию множеств. Лит.:[1] Алгебраическая теория автоматов, языков и полугрупп, пер. с англ., М., 1975; [2] Клиффорд А., Престон Г., Алгебраическая теория полугрупп, пер. с англ., т. 2, М., 1972: [3] Скорняков Л. А., в сб.: Модули, в. 3, Новосиб., 1973. с. 22-27; [4] Итоги науки и техники. Алгебра. Топология. Геометрия, т. 14, М., 1976, с. 57 -190. Л. А. Скорняков.