Обратная полугруппа - Википедия - Inverse semigroup

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

В группа теория, инверсная полугруппа (иногда называемый полугруппа инверсии[1]) S это полугруппа в котором каждый элемент Икс в S имеет уникальный обратный у в S в том смысле, что х = ху и y = yxy, т.е. регулярная полугруппа в котором каждый элемент имеет уникальную инверсию. Обратные полугруппы появляются в самых разных контекстах; например, их можно использовать при изучении частичные симметрии.[2]

(В этой статье будет использоваться соглашение о написании функции справа от ее аргумента, например x f скорее, чем f (x), и составление функций слева направо - соглашение, часто наблюдаемое в теории полугрупп.)

Происхождение

Обратные полугруппы были введены независимо Виктор Владимирович Вагнер[3] в Советский союз в 1952 г.,[4] и по Гордон Престон в объединенное Королевство в 1954 г.[5] Оба автора пришли к инверсным полугруппам благодаря изучению частичные отклонения из набор: а частичное преобразование α набора Икс это функция из А к B, куда А и B являются подмножествами Икс. Позволять α и β быть частичными преобразованиями множества Икс; α и β можно составить (слева направо) на наибольшем домен на которых "имеет смысл" их составить:

куда α−1 обозначает прообраз подα. Частные превращения уже изучались в контексте псевдогруппы.[6] Однако именно Вагнер был первым, кто заметил, что композиция частичных преобразований является частным случаем состав бинарных отношений.[7] Он также признал, что область композиции двух частичных преобразований может быть пустой набор, поэтому он представил пустое преобразование принять это во внимание. С добавлением этого пустого преобразования композиция частичных преобразований множества становится повсюду определенным ассоциативный бинарная операция. Под этой композицией коллекция всех частичных однозначных преобразований множества Икс образует инверсную полугруппу, называемую симметричная инверсная полугруппа (или моноид) на Икс, с обратным функциональным обратным, определенным от изображения к области (эквивалентно, обратное отношение ).[8] Это «архетипическая» обратная полугруппа, точно так же, как симметричная группа архетипический группа. Например, как и каждый группа может быть встроен в симметричная группа, каждая инверсная полугруппа вкладывается в симметричную инверсную полугруппу (см. § Гомоморфизмы и представления обратных полугрупп ниже).

Основы

Групповые структуры
ТотальностьαАссоциативностьЛичностьОбратимостьКоммутативность
ПолугрупоидныйНенужныйНеобходимыйНенужныйНенужныйНенужный
Малая категорияНенужныйНеобходимыйНеобходимыйНенужныйНенужный
ГруппоидНенужныйНеобходимыйНеобходимыйНеобходимыйНенужный
МагмаНеобходимыйНенужныйНенужныйНенужныйНенужный
КвазигруппаНеобходимыйНенужныйНенужныйНеобходимыйНенужный
Единичная магмаНеобходимыйНенужныйНеобходимыйНенужныйНенужный
ПетляНеобходимыйНенужныйНеобходимыйНеобходимыйНенужный
ПолугруппаНеобходимыйНеобходимыйНенужныйНенужныйНенужный
Обратная полугруппаНеобходимыйНеобходимыйНенужныйНеобходимыйНенужный
МоноидНеобходимыйНеобходимыйНеобходимыйНенужныйНенужный
Коммутативный моноидНеобходимыйНеобходимыйНеобходимыйНенужныйНеобходимый
ГруппаНеобходимыйНеобходимыйНеобходимыйНеобходимыйНенужный
Абелева группаНеобходимыйНеобходимыйНеобходимыйНеобходимыйНеобходимый
^ α Закрытие, который используется во многих источниках, является аксиомой, эквивалентной совокупности, хотя и по-другому.

Обратный элемент Икс обратной полугруппы S обычно пишется Икс−1. Обратные в обратной полугруппе обладают многими из тех же свойств, что и обратные в полугруппе. группа, Например, (ab)−1 = б−1а−1. В обратном моноид, хх−1 и Икс−1Икс не обязательно равны идентичности, но они оба идемпотент.[9] Обратный моноид S в котором хх−1 = 1 = Икс−1Икс, для всех Икс в Sвсесильный обратный моноид), конечно группа.

Существует ряд эквивалентных характеристик обратной полугруппы S:[10]

В идемпотент в -класс s является s−1s, в то время как идемпотент в -класс s является SS−1. Следовательно, существует простая характеристика Отношения Грина в инверсной полугруппе:[11]

Если не указано иное, E (S) будет обозначать полурешетку идемпотентов обратной полугруппы S.

Примеры инверсных полугрупп

Пример таблицы умножения. Он ассоциативен, и каждый элемент имеет свой собственный обратный в соответствии с aba = a, bab = b. Он не имеет идентичности и не коммутативен.

Обратная полугруппа
&абcdе
аааааа
бабcаа
cааабc
dаdеаа
еаааdе

Естественный частичный порядок

Обратная полугруппа S обладает естественный частичный заказ отношение ≤ (иногда обозначается ω), которое определяется следующим образом:[12]

для некоторых идемпотент е в S. Эквивалентно,

для некоторых (в общем, разных) идемпотент ж в S. Фактически, е можно принять за аа−1 и ж быть а−1а.[13]

Естественный частичный заказ совместим как с умножением, так и с инверсией, то есть[14]

и

В группа, это частичный заказ просто сводится к равенству, так как тождество является единственным идемпотент. В симметричной обратной полугруппе частичный заказ сводится к ограничению отображений, то есть α ≤ β тогда и только тогда, когда область определения α содержится в области определения β и Иксα = Иксβ, для всех Икс в области α.[15]

Естественный частичный порядок на обратной полугруппе взаимодействует с Отношения Грина следующим образом: если sт и sт, тогда s = т. Аналогично, если sт.[16]

На E (S), естественный частичный заказ становится:

Итак, поскольку идемпотенты образуют полурешетку под действием изделия, изделия на E (S) дают точные оценки сверху по ≤.

Если E (S) конечна и образует цепь (т.е. E (S) является полностью заказанный на ≤), то S это союз из группы.[17] Если E (S) бесконечный цепь аналогичный результат можно получить при дополнительных гипотезах о S и E (S).[18]

Гомоморфизмы и представления обратных полугрупп

А гомоморфизм (или же морфизм) инверсных полугрупп определяется точно так же, как и для любой другой полугруппы: для инверсных полугрупп S и Т, а функция θ из S к Т является морфизмом, если ()() = (ул)θ, для всех s,т в S. Определение морфизма инверсных полугрупп можно дополнить включением условия ()−1 = s−1θоднако в этом нет необходимости, поскольку это свойство следует из приведенного выше определения с помощью следующей теоремы:

Теорема. Гомоморфный изображение инверсной полугруппы - инверсная полугруппа; обратный элемент всегда отображается на обратный элемент изображение этого элемента.[19]

Одним из первых доказанных результатов об инверсных полугруппах было исследование Теорема Вагнера – Престона., который является аналогом Теорема Кэли за группы:

Теорема Вагнера – Престона. Если S инверсная полугруппа, то функция φ из S к , данный

дом (аφ) = Сб−1 и Икс(аφ) = ха

это верный представление из S.[20]

Таким образом, любая инверсная полугруппа может быть вложена в симметричную инверсную полугруппу и с замкнутым образом относительно обратной операции над частичными биекциями. Наоборот, любая подполугруппа симметрической обратной полугруппы, замкнутая относительно обратной операции, является обратной полугруппой. Следовательно, полугруппа S изоморфна подполугруппе симметрической обратной полугруппы, замкнутой относительно обратных, тогда и только тогда, когда S обратная полугруппа.

Конгруэнции на инверсных полугруппах

Сравнения определены на инверсных полугруппах точно так же, как и для любой другой полугруппы: a соответствие ρ является отношение эквивалентности что совместимо с полугрупповым умножением, т. е.

[21]

Особый интерес представляет соотношение , определенная на обратной полугруппе S к

существует с [22]

Можно показать, что σ является конгруэнцией и, по сути, это групповая конгруэнтность, что означает, что фактор-полугруппа S/σ это группа. На множестве всех групповых конгруэнций на полугруппе Sминимальный элемент (для частичного порядка, определяемого включением множеств) не обязательно должен быть наименьшим элементом. В конкретном случае, когда S инверсная полугруппа σ это самый маленький соответствие на S такой, что S/σ группа, т. е. если τ есть ли какое-либо другое совпадение с S с S/τ группа, тогда σ содержится в τ. Соответствие σ называется минимальная групповая конгруэнтность на S.[23] Минимальная групповая конгруэнтность может быть использована для характеристики E-унитарные инверсные полугруппы (см. ниже).

Конгруэнтность ρ на обратной полугруппе S называется идемпотентный чистый если

[24]

E-унитарные инверсные полугруппы

Один из классов инверсных полугрупп, который широко изучался на протяжении многих лет, - это класс инверсных полугрупп. E-унитарные инверсные полугруппы: инверсная полугруппа Sполурешетка E из идемпотенты ) является E-унитарный если для всех е в E и все s в S,

Эквивалентно,

[25]

Еще одна характеристика E-унитарная инверсная полугруппа S следующее: если е в E и еs, для некоторых s в S, тогда s в E.[26]

Теорема. Позволять S - инверсная полугруппа с полурешетка E идемпотентов и минимальная групповая конгруэнтность σ. Тогда следующие эквиваленты:[27]

  • S является E-уникальный;
  • σ идемпотентно чистое;
  • = σ,

куда это отношение совместимости на S, определяется

идемпотентны.

Теорема Макалистера о покрытии. Каждая обратная полугруппа S имеет E-унитарное покрытие; то есть существует идемпотент, отделяющий сюръективный гомоморфизм от некоторой E-унитарной полугруппы T на S.[28]

Центральное место в изучении E-унитарные инверсные полугруппы - это следующая конструкция.[29] Позволять быть частично заказанный набор, с порядком ≤, и пусть быть подмножество из со свойствами, которые

  • это нижняя полурешетка, то есть каждая пара элементов А, B в имеет наибольшая нижняя граница А B в (относительно ≤);
  • является заказать идеальный из , то есть для А, B в , если А в и BА, тогда B в .

Теперь позвольте грамм быть группа который действует на (слева) такая, что

  • для всех грамм в грамм и все А, B в , gA = ГБ если и только если, А = B;
  • для каждого грамм в грамм и каждый B в , существует А в такой, что gA = B;
  • для всех А, B в , АB если и только если, gAГБ;
  • для всех грамм, час в грамм и все А в , грамм(га) = (gh)А.

Тройка также предполагается, что он обладает следующими свойствами:

  • для каждого Икс в , существует грамм в грамм и А в такой, что gA = Икс;
  • для всех грамм в грамм, грамм и имеют непустое пересечение.

Такая тройка называется Макалистер тройной. Тройка Макалистера используется для определения следующего:

вместе с умножением

.

потом является обратной полугруппой относительно этого умножения, причем (А,грамм)−1 = (грамм−1А, грамм−1). Один из основных результатов исследования E-унитарные инверсные полугруппы P-теорема Макалистера:

P-теорема Макалистера. Позволять быть тройкой Макалистера. потом является E-унитарная инверсная полугруппа. И наоборот, каждые E-унитарная обратная полугруппа изоморфный к одному из этого типа.[30]

F-инверсные полугруппы

Обратной полугруппой называется F-инверсия, если каждый элемент имеет уникальный максимальный элемент над ним в естественном частичном порядке, т.е. каждый σ-класс имеет максимальный элемент. Каждый F-обратная полугруппа - это E-унитарный моноид. Теорема Макалистера о покрытии была уточнена М.В. Лоусон к:

Теорема. Каждая инверсная полугруппа имеет F-обратная крышка.[31]

Макалистера п-теорема была использована для характеристики F-инверсные полугруппы. Тройной McAlister является F-обратная полугруппа тогда и только тогда, когда главный идеал и является полурешеткой.

Свободные инверсные полугруппы

Конструкция, похожая на свободная группа возможно для инверсных полугрупп. А презентация свободной обратной полугруппы на множестве Икс можно получить, рассмотрев свободная полугруппа с инволюцией, где инволюция - это взятие обратного, и тогда брать частное посредством Сравнение Вагнера

В проблема со словом для свободных инверсных полугрупп гораздо сложнее, чем для свободных групп. Знаменитый результат в этой области благодаря В. Д. Манн который показал, что элементы свободной обратной полугруппы можно естественно рассматривать как деревья, известные как деревья Манна. Умножение в свободной обратной полугруппе имеет корреспондента на Деревья Манна, который по сути состоит из перекрывающихся общих частей деревьев. (подробнее см. Lawson 1998)

Любая свободная обратная полугруппа F-инверсия.[31]

Связь с теорией категорий

Приведенная выше композиция частичных преобразований множества порождает симметричную обратную полугруппу. Существует еще один способ составления частичных преобразований, более ограничительный, чем использованный выше: два частичных преобразования α и β составлены тогда и только тогда, когда образ α равен области определения β; в противном случае состав αβ не определен. При этой альтернативной композиции совокупность всех частичных однозначных преобразований множества образует не инверсную полугруппу, а индуктивный группоид, в смысле теория категорий. Эта тесная связь между инверсными полугруппами и индуктивными группоидами воплощена в Теорема Эресмана – Шейна – Намбоорипада., который утверждает, что индуктивный группоид всегда можно построить из обратной полугруппы, и наоборот.[32] Более точно, инверсная полугруппа - это в точности группоид в категории множеств, этальный группоид относительно его (двойственного) Топология Александрова и чей набор объектов является встречной полурешеткой.

Обобщения инверсных полугрупп

Как отмечалось выше, обратная полугруппа S можно определить условиями (1) S это регулярная полугруппа, и (2) идемпотенты в S ездить; это привело к двум различным классам обобщений обратной полугруппы: полугруппы, в которых (1) выполняется, а (2) - нет, и наоборот.

Примеры регулярных обобщений обратной полугруппы:[33]

В учебный класс обобщенных обратных полугрупп - это пересечение класса локально инверсных полугрупп и класса ортодоксальных полугрупп.[34]

Среди нерегулярных обобщений обратной полугруппы:[35]

  • (Левая, правая, двусторонняя) адекватные полугруппы.
  • (Левая, правая, двусторонняя) обильные полугруппы.
  • (Левая, правая, двусторонняя) полуадекватные полугруппы.
  • Слабо (левая, правая, двусторонняя) обильные полугруппы.

Обратная категория

Это понятие инверсии также легко обобщается на категории. An обратная категория просто категория, в которой каждый морфизм ж : ИксY имеет обобщенно обратный грамм : YИкс такой, что fgf = ж и gfg = грамм. Обратная категория - это самодвойственный. Категория наборов и частичные отклонения является ярким примером.[36]

Обратные категории нашли различное применение в теоретическая информатика.[37]

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

Примечания

  1. ^ Вайсштейн, Эрик В. (2002). CRC Краткая энциклопедия математики (2-е изд.). CRC Press. п. 1528. ISBN  978-1-4200-3522-3.
  2. ^ Лоусон 1998
  3. ^ Поскольку его отец был немцем, Вагнер предпочел немецкую транслитерацию своего имени (с буквой «W», а не с «V») с кириллицы - см. Schein 1981.
  4. ^ Сначала короткое объявление в Вагнер 1952, затем более подробное изложение в Вагнер 1953.
  5. ^ Престон 1954a,до н.э.
  6. ^ См., Например, Голаб 1939.
  7. ^ Schein 2002, п. 152
  8. ^ Хауи 1995, п. 149
  9. ^ Хауи 1995, Предложение 5.1.2 (1)
  10. ^ Хауи 1995, Теорема 5.1.1
  11. ^ Хауи 1995, Предложение 5.1.2 (1)
  12. ^ Вагнер 1952
  13. ^ Хауи 1995, Предложение 5.2.1
  14. ^ Хауи 1995, стр. 152–3
  15. ^ Хауи 1995, п. 153
  16. ^ Лоусон 1998, Предложение 3.2.3
  17. ^ Клиффорд и Престон 1967, Теорема 7.5
  18. ^ Gonçalves, D; Соботтка, М; Старлинг, К. (2017). «Обратные полугрупповые сдвиги по счетным алфавитам». Полугруппа Форум. 96 (2): 203–240. arXiv:1510.04117. Дои:10.1007 / s00233-017-9858-5 Следствие 4.9.
  19. ^ Клиффорд и Престон 1967, Теорема 7.36
  20. ^ Хауи 1995, Теорема 5.1.7 Первоначально Вагнер 1952 и, независимо, Престон 1954c.
  21. ^ Хауи 1995, п. 22
  22. ^ Лоусон 1998, п. 62
  23. ^ Лоусон 1998, Теорема 2.4.1
  24. ^ Лоусон 1998, п. 65
  25. ^ Хауи 1995, п. 192
  26. ^ Лоусон 1998, Предложение 2.4.3
  27. ^ Лоусон 1998, Теорема 2.4.6
  28. ^ Грийе, П. А. (1995). Полугруппы: введение в теорию структуры. CRC Press. п. 248. ISBN  978-0-8247-9662-4.
  29. ^ Хауи 1995, стр. 193–4
  30. ^ Хауи 1995, Теорема 5.9.2. Первоначально Макалистер 1974a, б.
  31. ^ а б Лоусон 1998, п. 230
  32. ^ Лоусон 1998, 4.1.8
  33. ^ Хауи 1995, Раздел 2.4 и Глава 6
  34. ^ Хауи 1995, п. 222
  35. ^ Фонтан 1979 г., Гулд
  36. ^ Грандис, Марко (2012). Гомологическая алгебра: взаимодействие гомологий с дистрибутивными решетками и ортодоксальными полугруппами. World Scientific. п. 55. ISBN  978-981-4407-06-9.
  37. ^ Хайнс, Питер; Браунштейн, Сэмюэл Л. (2010). «Структура частичных изометрий». В Гей и Саймон; Маки, Ян (ред.). Семантические методы в квантовых вычислениях. Издательство Кембриджского университета. п. 369. ISBN  978-0-521-51374-6.

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

дальнейшее чтение