WikiDer > Пустая полугруппа

Empty semigroup

В математика, а полугруппа без элементов (в пустая полугруппа) это полугруппа в которой базовый набор это пустой набор. Многие авторы не допускают существования такой полугруппы. Для них полугруппа по определению непустой устанавливается вместе с ассоциативной бинарной операцией.[1][2] Однако не все авторы настаивают на непустом нижележащем множестве полугруппы.[3] Можно логически определить полугруппу, в которой базовое множество S пусто. Бинарная операция в полугруппе - это пустая функция из S × S к S. Эта операция бессмысленно удовлетворяет аксиомам замыкания и ассоциативности полугруппы. Не исключение пустой полугруппы упрощает некоторые результаты о полугруппах. Например, результат о том, что пересечение двух подполугрупп полугруппы Т является подполугруппой Т становится действительным, даже если перекресток пуст.

Если для полугруппы определена дополнительная структура, проблема может не возникнуть. Например, определение моноид требует элемент идентичности, что исключает пустую полугруппу как моноид.

В теория категорий, всегда допускается пустая полугруппа. Это уникальный исходный объект категории полугрупп.

Полугруппа без элемента - это инверсная полугруппа, так как необходимое условие выполняется вакуумно.

Смотрите также

Рекомендации

  1. ^ А. Х. Клиффорд, Г. Б. Престон (1964). Алгебраическая теория полугрупп Vol. я (Второе издание). Американское математическое общество. ISBN 978-0-8218-0272-4
  2. ^ Дж. М. Хоуи (1976). Введение в теорию полугрупп. Л.М.С. Монографии. 7. Академическая пресса. стр. 2–3
  3. ^ P A Grillet (1995). Полугруппы. CRC Press. ISBN 978-0-8247-9662-4 стр. 3–4