Эндоморфизмов полугруппа

полугруппа, состоящая из эндоморфизмов нек-рого объекта (множества X, наделенного какой-либо структурой [img: http://localhost:8080/file/053109-115.jpg] с операцией умножения (последовательного применения выполнения преобразований). Объектом Xмогут быть векторное пространство, топологич. пространство, алгебраич. система, граф и т. д.; он рассматривается обычно как объект нек-рой категории, причем, как правило, морфизмами в этой категории являются отображения, сохраняющие отношения структуры [img: http://localhost:8080/file/053109-116.jpg] (линейные преобразования, непрерывные преобразования, гомоморфизмы и т. п.). Множество End Xвсех эндоморфизмов объекта X(т. е. морфизмов на свои подобъекты) является подполугруппой полугруппы Т X всех преобразований множества X(см. Преобразований полугруппа). Полугруппа End X может нести в себе значительную информацию о структуре [img: http://localhost:8080/file/053109-117.jpg] Напр., если X, Y - векторные пространства размерности [img: http://localhost:8080/file/053109-118.jpg] над телами Fи Нсоответственно, то из изоморфизма полугрупп End Xи End Yих эндоморфизмов (т. е. линейных преобразований) вытекает изоморфизм пространств Xи Y (и в частности, изоморфизм тел Fи Н). Нек-рые предупорядоченные множества и решетки, всякое булево кольцо и нек-рые другие алгебраич. системы определяются своими Э. п. с точностью до изоморфизма. Этот же результат справедлив и для нек-рых модулей и полугрупп преобразований. Аналогичную информацию об объекте. несут в себе и нек-рые собственные подполугруппы полугруппы End. (напр., полугруппы гомеоморфных преобразований топологич. пространства). Нек-рые классы объектов X(напр., графы, топологич. пространства) могут быть таким же образом охарактеризованы своими полугруппами частичных эндоморфизмов, т. е. частичных преобразований множества X, являющихся морфизмами их подобъектов.