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