ПРЕОБРАЗОВАНИЙ ПОЛУГРУППА

ПРЕОБРАЗОВАНИЙ ПОЛУГРУППА

всякая подполугруппа симметрич. полугруппы TW, где TW- совокупность всех преобразований множества W. Частным случаем П. п. являются преобразований группы.

П. п. наз. подобными, если существуют биекции и такие, что при имеет место (yu) (ja)=jb. Подобные П. п. изоморфны, но обратное, вообще говоря, неверно. Однако в пределах нек-рых классов П. п. из изоморфизма вытекает подобие. Таков, напр., класс П. п., включающих все такие преобразования и, что uWсостоит из одного элемента. Задание полугруппы как П. п. несет большую информацию, чем ее задание с точностью до изоморфизма.

Принципиально важно выделение свойств П. п., инвариантных относительно изоморфизмов. Для нек-рого класса П. п. Г условие, при к-ром полугруппа Sизоморфна нек-рой полугруппе из Г, наз. абстрактной характеристикой класса Г. Найдены абстрактные характеристики для нек-рых важных П. п. Всякая полугруппа изоморфна нек-рой П. п. Полугруппа Sтогда и только тогда изоморфна нек-рой симметрич. полугруппе Т W, когда она является максимальным плотным идеальным расширением (см. Расширение полугруппы) какой-либо полугруппы Ас тождеством ху=х.

Из общей теории П. п. выделяется направление, при к-ром преобразуемое множество W наделено нек-рой структурой (топологией, действием, отношением в W и т. п.), и рассматриваются П. п., связанные с этой структурой (эндоморфизмы, непрерывные или линейные преобразования, сдвиги полугрупп и т. д.). Изучение соотношений между свойствами структуры в W и свойствами полугруппы соответствующих преобразований является обобщением теории Галуа. В частности, известны случаи, когда указанная П. п. вполне определяет структуру (см., напр., Эндоморфизмов полугруппа). Свойства левых и правых сдвигов полугрупп используются в общей теории полугрупп.

Обобщением понятия преобразования является частичное преобразование, отображающее какое-либо подмножество в W. Бинарное отношение на множестве W. иногда трактуют как многозначное (вообще говоря, частичное) преобразование этого множества. Рассматриваемые относительно операции суперпозиции (определяемой как умножение бинарных отношений) однозначные и многозначные частичные преобразования также образуют полугруппы. Целесообразно рассматривать их как полугруппы, наделенные дополнительными структурами (напр., отношением включения бинарных отношений, включения или равенства областей определения, включения или равенства образов и т. д.).

Лит.:[1] Ляпин B.C., Полугруппы, М., 1960; [2] Клиффорд А. X., Престон Г. Б., Алгебраическая теория полугрупп, пер. с англ., т. 1-2, М., 1972; 13]Глускин Л. М., "Матем. сб.", 1961, т. 55, №4, с. 421 - 48; [4] Schein В. М., "Semigroup Forum", 1970, v. 1, № 1, p. 1-02.

Л. М. Глускин, Е. С. Ляпин.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем написать реферат

Полезное


Смотреть что такое "ПРЕОБРАЗОВАНИЙ ПОЛУГРУППА" в других словарях:

  • ПОЛУГРУППА — множество с одной бинарной операцией, удовлетворяющей закону ассоциативности. Понятие П. есть обобщение понятия группы:из аксиом группы остается лишь одна ассоциативность; этим объясняется и термин П. . П. называют иногда моноидами, но последний… …   Математическая энциклопедия

  • ЭНДОМОРФИЗМОВ ПОЛУГРУППА — полугруппа, состоящая из эндоморфизмов нек рого объекта (множества X, наделенного какой либо структурой с операцией умножения (последовательного применения выполнения преобразований). Объектом Xмогут быть векторное пространство, топологич.… …   Математическая энциклопедия

  • Полугруппа —         одно из основных понятий современной алгебры. П. называется множество с определённой на нём операцией, подчинённой закону ассоциативности (См. Ассоциативность). Понятие П. есть обобщение понятия группы (См. Группа): из аксиом группы… …   Большая советская энциклопедия

  • ПРОСТАЯ ПОЛУГРУППА — полугруппа, не содержащая собственных идеалов или конгруэнции того или иного фиксированного типа. В зависимости от рассматриваемого тина возникают различные типы П. и.: идеально простая не содержащая собственных двусторонних идеалов (термин П. п …   Математическая энциклопедия

  • ИНВЕРСНАЯ ПОЛУГРУППА — полугруппа, в к рой для любого элемента асуществует единственный инверсный к нему элемент а 1 (см. Регулярный элемент). Свойство полугруппы Sбыть инверсной эквивалентно каждому из следующих: S регулярная полугруппа и любые два ее идемпотента… …   Математическая энциклопедия

  • СДВИГИ ПОЛУГРУПП — преобразования полугрупп, удовлетворяющие специальным условиям: правым сдвигом полугруппы S наз. преобразование r такое, что дли любых имеет место ( ху)r=х(yr); левый сдвиг определяется симметричным образом, при этом ради удобства левые сдвиги… …   Математическая энциклопедия

  • МИНИМАЛЬНЫЙ ИДЕАЛ — минимальный элемент частично упорядоченного множества идеалов определенного типа нек рой алгебраич. системы. Поскольку порядок в множестве идеалов определяется отношением включения, М. и. идеал, не содержащий отличных от себя идеалов того же типа …   Математическая энциклопедия

  • ПРЕДСТАВЛЕНИЕ ПОЛУГРУППЫ — S в классе полугрупп X гомоморфизм полугруппы S в нек рую полугруппу из класса X (в случае изоморфизма говорят о точном представлении). Обычно имеются в виду классы каких либо конкретных полугрупп. Наиболее изучены представления в классе… …   Математическая энциклопедия

  • АВТОМАТОВ АЛГЕБРАИЧЕСКАЯ ТЕОРИЯ — направление в автоматов теории, характеризующееся использованием алгебраич. средств в изучении автоматов. А. а. т. основана на том, что автоматы можно рассматривать как нек рые специальные алгебры или алгебраические системы. Кроме того, события,… …   Математическая энциклопедия

  • ЭРГОДИЧЕСКАЯ ТЕОРИЯ — Введение Э. т. (метрическая теория динамических систем) раздел теории динамических систем, изучающий их статистич. свойства. Возникновение Э. т. (1 я треть 20 в.) было стимулировано попытками доказать эргодическую гипотезу (термин введён П. и Т.… …   Физическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»