Группа Schutzenberger - Schutzenberger group

В абстрактная алгебра, в теория полугрупп, а Группа Schutzenberger это определенный группа связанный с Зеленый ЧАС-класс полугруппа[1]. Группы Шутценбергера, связанные с разными ЧАС-классы разные. Однако группы, связанные с двумя разными ЧАС-классы, содержащиеся в одном D-классом полугруппы являются изоморфный. Более того, если ЧАС-класс сам был группа, группа Шутценбергера ЧАС-класс был бы изоморфен классу ЧАС-учебный класс. Фактически, есть две группы Шутценбергера, связанные с данным ЧАС-класс и каждый антиизоморфный к другому.

Группа Шутценбергера была открыта Марсель-Пауль Шютценбергер в 1957 г.[2][3] и терминология была придумана А. Х. Клиффорд.[4]

Группа Шутценбергера

Позволять S - полугруппа и пусть S1 - полугруппа, полученная присоединением единичного элемента 1 к S (если S уже есть элемент идентичности, тогда S1 = S). Зелень ЧАС-отношение в S определяется следующим образом: Если а и б находятся в S тогда

а ЧАС б ⇔ есть ты, v, Икс, у в S1 такой, что ua = топор = б и vb = к = а.

За а в S, набор всех б в S такой, что а ЧАС б это зеленый ЧАС-класс S содержащий а, обозначаемый ЧАСа.

Позволять ЧАС быть ЧАС-класс полугруппы S. Позволять Т(ЧАС) - множество всех элементов т в S1 такой, что Ht это подмножество ЧАС сам. Каждый т в Т(ЧАС) определяет преобразование, обозначаемое γт, из ЧАС путем сопоставления час в ЧАС к ht в ЧАС. Множество всех этих преобразований ЧАС, обозначаемый Γ (ЧАС), является группой под сочинение отображений (принимая функции как правые операторы). Группа Γ (ЧАС) - группа Шутценбергера, ассоциированная с ЧАС-учебный класс ЧАС.

Примеры

Если ЧАС является максимальной подгруппой в моноид M (полугруппа с единицей), то ЧАС является H-классом и естественно изоморфен своей группе Шутценбергера.

В общем, есть что мощность из ЧАС и его группа Шутценбергера совпадают для любого H-класса ЧАС.

Приложения

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

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

  1. ^ «Группа Шютценбергера H-класса в полугруппе бинарных отношений Роберта Л. Брэндона, Дарела В. Харди, Джорджа Марковского, Университет науки и технологий Миссури, 1972-12-01».
  2. ^ Марсель-Пауль Шютценбергер (1957). "D-представление полу-групп". C. R. Acad. Sci. Париж. 244: 1994–1996. (MR 19, 249)
  3. ^ Клиффорд, Альфред Хоблитцель; Престон, Гордон Бэмфорд (1961). Алгебраическая теория полугрупп. Vol. я. Математические обзоры, № 7. Провиденс, Р.И .: Американское математическое общество. ISBN  978-0-8218-0272-4. МИСТЕР  0132791. (стр. 63–66)
  4. ^ Уилф, Герберт; и другие. (29 августа 1996 г.). "Марсель-Пауль Шютценбергер (1920–1996)". Электронный журнал комбинаторики. Получено 2015-12-30.