Полугруппа это:

Полугруппа
        одно из основных понятий современной алгебры. П. называется множество с определённой на нём операцией, подчинённой закону ассоциативности (См. Ассоциативность). Понятие П. есть обобщение понятия группы (См. Группа): из аксиом группы остаётся лишь одна; этим объясняется и термин «П.». Примеры П. в математике весьма многочисленны. Это различные множества чисел вместе с операцией сложения или умножения, замкнутые относительно рассматриваемой операции (т. е. содержащие вместе с любыми двумя своими элементами их сумму или, соответственно, произведение), П. матриц относительно умножения, П. функций относительно операции умножения, П. множеств относительно операции пересечения или объединения и т.д. Один из простейших примеров П. — множество всех натуральных чисел относительно сложения; эта П. является частью (подполугруппой) группы целых чисел по сложению или, как говорят, вложима в группу целых чисел. Следует отметить, что далеко не всякая П. вложима в группу.
         В общей теории и некоторых приложениях важен следующий пример П. Пусть Х — произвольное множество и пусть на множестве Fx всех конечных последовательностей элементов из Х определена операция *, заданная формулой
         (x1,..., xn) * (y1,..., ym) = (x1,..., xn, y1,..., ym).
         Тогда Fx относительно операции * является П.; она называется свободной П. на множестве X. Всякая П. есть гомоморфный образ (см. Гомоморфизм) некоторой свободной П.
         Всякая совокупность преобразований произвольного множества М, замкнутая относительно операции композиции (последовательного выполнения), будет П. относительно этой операции; такова, в частности, совокупность всех преобразований множества М, называется симметрической П. на множестве М. Многие важные совокупности преобразований оказываются П., причём часто они не являются группами. С другой стороны, всякая П. изоморфна (см. Изоморфизм) некоторой П. преобразований. Таким образом, именно понятие П. оказывается наиболее подходящим для изучения в самом общем виде преобразований. В большой степени через рассмотрение преобразований осуществляются связи теории П. с другими областями математики, такими, например, как современная дифференциальная геометрия, функциональный анализ, абстрактно-алгебраическая теория автоматов.
         Первые исследования, посвященные П., относятся к 20-м гг. 20 в. К концу 50-х гг. теория П. сформировалась в самостоятельную ветвь современной алгебры и продолжает активно разрабатываться. Изучением абстрактных (т. е. не зависящих от конкретной природы элементов) свойств всевозможных ассоциативных операций занимается т. н. алгебраическая теория П. Одна из главных её задач состоит в описании строения различных П., их классификации. Наложение на полугрупповую операцию тех или иных дополнительных ограничений выделяет ряд важных типов П., среди которых т. н. вполне простые П., инверсные П. и др. Заметную часть общей теории составляет теория представлений П. преобразованиями и матрицами. Внесение в П. дополнительных структур, согласованных с полугрупповой операцией, выделяет особые разделы теории П., таких, как, например, теория топологических П.
         Лит.: Сушкевич А. К., Теория обобщенных групп, Хар. — К., 1937; Ляпин Е. С., Полугруппы, М., 1960; Клиффорд А. Х., Престон Г. Б., Алгебраическая теория полугрупп, пер. с англ., т. 1—2, М., 1972; Hofmann К., Mostert P., Elements of compact semigroups, Columbus (Ohio), 1966.
         Л. Н. Шеврин.

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Смотреть что такое "Полугруппа" в других словарях:

  • полугруппа — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN semigroup …   Справочник технического переводчика

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

  • Полугруппа — В математике полугруппой называют множество с заданной на нем ассоциативной бинарной операцией . Стиль этой статьи неэнциклопедичен или нарушает нормы русского языка. Статью следует исправить …   Википедия

  • полугруппа — pusgrupis statusas T sritis fizika atitikmenys: angl. half group; semigroup vok. Halbgruppe, f rus. полугруппа, f pranc. semi groupe, m …   Fizikos terminų žodynas

  • полугруппа — полугр уппа, ы …   Русский орфографический словарь

  • полугруппа — полугру/ппа, ы …   Слитно. Раздельно. Через дефис.

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

  • Полугруппа операторов — однопараметрическое семейство линейных ограниченных операторов в банаховом пространстве. Теория полугрупп операторов возникла в середине 20 го века в работах таких известных математиков, как Э.Хилле, Р.Филиппса, К.Иосиды, В.Феллера. Основные… …   Википедия

  • полугруппа преобразования — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN transformation semigroup …   Справочник технического переводчика

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

Книги



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

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