Представление полугруппы
Представле́ние полугру́ппы в классе полугрупп , гомоморфизм полугруппы в некоторую полугруппу из класса (в случае изоморфизма говорят о точном представлении). Обычно имеются в виду классы каких-либо конкретных полугрупп. Наиболее изучены представления в классе полугрупп преобразований (или представления преобразованиями), в классах полугрупп частичных преобразований и бинарных отношений, в классе полугрупп матриц (т. н. матричные, или линейные, представления полугрупп). В теории автоматов с каждым автоматом связано представление свободной полугруппы преобразованиями множества его внутренних состояний. Специальный характер носят представления полугрупп преобразованиями, связанными тем или иным образом со свойствами элементов преобразуемого множества, наделённого какой-либо структурой (эндоморфизмами, непрерывными преобразованиями и т. п.). Всякая полугруппа с единицей изоморфно представима как полугруппа всех эндоморфизмов ориентированного или неориентированного графа, как полугруппа всех эндоморфизмов некоторой алгебры с унарными операциями и т. п. Известно несколько конструкций, позволяющих получить все представления полугрупп частичными преобразованиями. Они строятся из некоторых простейших представлений групп при помощи их объединения, кратного повторения, ограничения на подмножестве и операции погружения полугрупп.
Присоединив к полугруппе единицу: и продолжив регулярное представление полугруппы левыми сдвигами на декартову степень полугруппы , получают представление – -кратное повторение регулярного представления полугруппы . Всякое представление полугруппы преобразованиями множества может быть получено (Вагнер. 1956) из с помощью некоторого отображения так, что
Особую роль играют транзитивные представления полугруппы, т. е. такие её представления преобразованиями множества , что для любых найдётся , для которого .
Представления полугрупп взаимно однозначными частичными преобразованиями связаны с понятием и свойствами инверсных полугрупп.
При исследовании матричных представлений полугрупп привлекаются к рассмотрению полугрупповые алгебры. Изучается вопрос о приводимости матричных представлений полугрупп. Найдены неприводимые представления для ряда полугрупп (в том числе и для конечных). Матричные представления вполне простых и вполне -простых полугрупп могут быть построены как продолжение представлений их подгрупп. Матричные представления произвольных полугрупп могут быть описаны при помощи представлений их факторов, являющихся простыми и -простыми полугруппами.