Полугруппа с инволюцией

редактировать

В математике, особенно в абстрактной алгебре, полугруппа с инволюция или * -полугруппа - это полугруппа, оснащенная инволютивным антиавтоморфизмом, который, грубо говоря, приносит она ближе к группе , потому что эта инволюция, рассматриваемая как унарный оператор, демонстрирует определенные фундаментальные свойства операции взятия обратного в группе: уникальность, двойное применение, "отменяющее себя", и тот же закон взаимодействия с бинарной операцией, что и в случае групповой обратной. Поэтому неудивительно, что любая группа является полугруппой с инволюцией. Однако есть важные естественные примеры полугрупп с инволюцией, не являющихся группами.

Пример из линейной алгебры - это мультипликативный моноид вещественных квадратных матриц порядок n (называемый полным линейным моноидом ). Карта map, которая отправляет матрицу в ее transpose, является инволюцией, потому что транспонирование хорошо определено для любой матрицы и подчиняется закону (AB) = BA, который имеет ту же форму взаимодействия с умножением, как взятие обратного, имеет в общую линейную группу (которая является подгруппой полного линейного моноида). Однако для произвольной матрицы AA не равно единичному элементу (а именно диагональной матрице ). Другой пример, взятый из теории формального языка, - это свободная полугруппа, сгенерированная непустым множеством (алфавитом ) со строкой конкатенация в качестве бинарной операции, а инволюция представляет собой карту, которая меняет линейный порядок букв в строке. Третий пример из базовой теории множеств - это набор всех бинарных отношений между набором и им самим, при этом инволюция является обратным отношением, а умножение, задаваемое обычной композицией отношений.

Полугруппы с инволюцией были явно названы в статье Виктора Вагнера 1953 года в результате его попытки связать теорию полугрупп с этой of полукучей.

Содержание

  • 1 Формальное определение
  • 2 Примеры
  • 3 Основные понятия и свойства
    • 3.1 Примеры
  • 4 Понятия регулярности
    • 4.1 Регулярные * -полугруппы (Нордаля Scheiblich)
      • 4.1.1 П-системы
    • 4.2 * -регулярные полугруппы (Дразин)
  • 5 Свободная полугруппа с инволюцией
  • 6 Бэра * -полугруппы
    • 6.1 Примеры и приложения
  • 7 См. Также
  • 8 Примечания
  • 9 Ссылки

Формальное определение

Пусть S будет полугруппой с ее двоичной операцией, записанной мультипликативно. Инволюция в S - это унарная операция * на S (или преобразование *: S → S, x ↦ x *), удовлетворяющая следующим условиям:

  1. Для всех x в S, (x *) * = x.
  2. Для всех x, y в S имеем (xy) * = y * x *.

Полугруппа S с инволюцией * называется полугруппой с инволюцией.

Полугруппы, удовлетворяющие только первой из этих аксиом, принадлежат к более широкому классу U-полугрупп.

В некоторых приложениях вторая из этих аксиом была названа антидистрибутивной. Что касается натурфилософии этой аксиомы, Х.С.М. Коксетер заметил, что «становится ясно, когда мы думаем о [x] и [y] как об операциях надевания наших носков и обуви, соответственно».

Примеры

  1. Если S - это коммутативной полугруппой, то тождественное отображение группы S является инволюцией.
  2. Если S является группой, то отображение инверсии *: S → S определено по x * = x - инволюция. Кроме того, на абелевой группе и это отображение, и отображение из предыдущего примера являются инволюциями, удовлетворяющими аксиомам полугруппы с инволюцией.
  3. Если S является обратной полугруппой тогда карта инверсии - это инволюция, которая оставляет идемпотенты инвариантными. Как отмечалось в предыдущем примере, инверсионная карта не обязательно является единственной картой с этим свойством в инверсной полугруппе. Вполне могут быть другие инволюции, которые оставляют все идемпотенты инвариантными; например, тождественное отображение на коммутативной регулярной, а следовательно, обратной полугруппе, в частности, на абелевой группе. регулярная полугруппа является инверсной полугруппой тогда и только тогда, когда она допускает инволюцию, при которой каждый идемпотент является инвариантом.
  4. , лежащая в основе каждой C * -алгебры - это * -полугруппа. Важным экземпляром является алгебра M n(C) матриц размером n на n на C с сопряженным транспонированием в качестве инволюции.
  5. Если X является набором, набор всех бинарных отношений на X является * -полугруппой с *, заданным обратным отношением , и умножением, заданным обычная композиция отношений. Это пример * -полугруппы, которая не является регулярной полугруппой.
  6. Если X является набором, то набор всех конечных последовательностей (или строк ) членов X образует свободный моноид при операции конкатенации последовательностей с обращением последовательности в качестве инволюции.
  7. A прямоугольная лента на декартовом произведении множества A на себя, то есть с элементами из A × A, с продуктом полугруппы, определенным как (a, b) (c, d) = (a, d), причем инволюция является изменением порядка элементов пары (a, b) * = (b, a). Эта полугруппа также является регулярной полугруппой, как и все бэнды.

Основные понятия и свойства

Элемент x полугруппы с инволюцией иногда называют эрмитовым (по аналогии с Эрмитова матрица ), когда она остается инвариантной инволюцией, то есть x * = x. Элементы формы xx * или x * x всегда эрмитовы, как и все степени эрмитовского элемента. Как отмечалось в разделе примеров, полугруппа S является обратной полугруппой тогда и только тогда, когда S является регулярной полугруппой и допускает инволюцию, такую ​​что каждый идемпотент эрмитов.

Некоторые базовые концепции могут быть определены на * -полугруппах способом, который аналогичен понятиям, происходящим от регулярного элемента в полугруппе. Частичная изометрия - это такой элемент s, что ss * s = s; множество частичных изометрий полугруппы S обычно обозначается сокращенно PI (S). Проекция - это идемпотентный элемент e, который также эрмитов, что означает, что ee = e и e * = e. Каждая проекция является частичной изометрией, а для каждой частичной изометрии s, s * s и ss * являются проекциями. Если e и f являются проекциями, то e = ef тогда и только тогда, когда e = fe.

Частичные изометрии могут быть частично упорядочены по s ≤ t, определяемым как удержание всякий раз, когда s = ss * t и ss * = ss * tt *. Эквивалентно s ≤ t тогда и только тогда, когда s = et и e = ett * для некоторой проекции e. В * -полугруппе PI (S) является элементом с частичным продуктом, заданным s byt = st, если s * s = tt *.

Примеры

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

частичными изометриями в C * -алгебре в точности те, которые определены в этом разделе. В случае M n(C) можно сказать больше. Если E и F - проекции, то E ≤ F тогда и только тогда, когда im E ⊆ imF. Для любых двух проекций, если E ∩ F = V, то единственная проекция J с изображением V и ядром ортогональным дополнением к V является пересечением E и F. Поскольку проекции образуют пересечение- полурешетка, частичные изометрии на M n(C) образуют обратную полугруппу с произведением A (A ∗ A ∧ BB ∗) B {\ displaystyle A (A ^ {*} A \ wedge BB ^ { *}) B}A (A ^ {*} A \ wedge BB ^ {*}) B .

Другой простой пример этих понятий представлен в следующем разделе.

Понятия регулярности

Есть два связанных, но не идентичных понятия регулярности в * -полугруппах. Они были введены почти одновременно Nordahl Scheiblich (1978) и, соответственно, Drazin (1979).

Обычные * -полугруппы (Nordahl Scheiblich)

Как упоминалось в предыдущих примерах, инверсные полугруппы являются подклассом * -полугрупп. Также из учебника известно, что инверсную полугруппу можно охарактеризовать как регулярную полугруппу, в которой любые два идемпотента коммутируют. В 1963 г. Борис М. Шейн показал, что следующие две аксиомы обеспечивают аналогичную характеристику инверсных полугрупп как подмногообразия * -полугрупп:

  • x = xx * x
  • (xx *) (x * x) = (x * x) (xx *)

Первый из них выглядит как определение обычного элемента, но на самом деле в терминах инволюции. Точно так же вторая аксиома, похоже, описывает коммутацию двух идемпотентов. Однако известно, что регулярные полугруппы не образуют разнообразия, потому что их класс не содержит свободных объектов (результат установлен в 1968 г.). Эта линия рассуждений побудила Нордаля и Шейблиха начать в 1977 г. изучение (разнообразия) * -полугрупп, удовлетворяющих только первым из этих двух аксиом; из-за сходства по форме со свойством, определяющим регулярные полугруппы, они назвали это разнообразие регулярными * -полугруппами.

Это простое вычисление, чтобы установить, что регулярная * -полугруппа также является регулярной полугруппой, потому что x * оказывается инверсией x. Прямоугольная лента из примера 7 является регулярной * -полугруппой, которая не является инверсной полугруппой. Также легко проверить, что в регулярной * -полугруппе произведение любых двух проекций является идемпотентом. В вышеупомянутом примере прямоугольной ленты проекции являются элементами формы (x, x) и [как и все элементы ленты] идемпотентны. Однако две разные проекции в этой полосе не обязательно коммутируют, и их произведение не обязательно является проекцией, поскольку (a, a) (b, b) = (a, b).

Полугруппы, удовлетворяющие только x ** = x = xx * x (но не обязательно антидистрибутивности * по умножению), также изучались под названием I-полугруппы.

P-системы

Проблема определения того, когда регулярная полугруппа является регулярной * -полугруппой (в смысле Нордала и Шейблиха), была рассмотрена М. Ямада (1982). Он определил P-систему F (S) как подмножество идемпотентов S, обычно обозначаемых E (S). Используя обычное обозначение V (a) для обратных к a, F (S) должно удовлетворять следующим аксиомам:

  1. Для любого a в S существует единственный a ° в V (a) такой, что aa ° и a ° a находится в F (S)
  2. Для любого a в S и b в F (S), a ° ba находится в F (S), где ° - четко определенная операция из предыдущего аксиома
  3. Для любых a, b в F (S), ab находится в E (S); примечание: не обязательно в F (S)

Регулярная полугруппа S является * -регулярной полугруппой, как определено Нордалом и Шейблихом, тогда и только тогда, когда она имеет p-систему F (S). В этом случае F (S) - множество проекций S относительно операции °, определенной F (S). В обратной полугруппе вся полурешетка идемпотентов является p-системой. Кроме того, если регулярная полугруппа S имеет мультипликативно замкнутую p-систему (то есть подполугруппу), то S является обратной полугруппой. Таким образом, p-систему можно рассматривать как обобщение полурешетки идемпотентов обратной полугруппы.

* -регулярные полугруппы (Дразин)

Полугруппа S с инволюцией * называется * -регулярной полугруппой (в смысле Дразина), если для каждого x в S x * H-эквивалентен некоторому обратному к x, где H - отношение Грина H. Это определяющее свойство можно сформулировать несколькими эквивалентными способами. Другой - сказать, что каждый L-класс содержит проекцию. Аксиоматическое определение - это условие, что для каждого x в S существует элемент x ′ такой, что x′xx ′ = x ′, xx′x = x, (xx ′) * = xx ′, (x′x) * = х'х. Майкл П. Дразин первым доказал, что при заданном x элемент x ′, удовлетворяющий этим аксиомам, уникален. Он называется инверсией Мура – ​​Пенроуза к x. Это согласуется с классическим определением обратного преобразования Мура – ​​Пенроуза квадратной матрицы.

Одним из мотивов изучения этих полугрупп является то, что они позволяют обобщить свойства обратного преобразования Мура – ​​Пенроуза из R {\ displaystyle \ mathbb {R}}{\ displaystyle \ mathbb {R}} и C {\ displaystyle \ mathbb {C}}{\ displaystyle \ mathbb {C}} в более общие наборы.

В мультипликативной полугруппе M n (C) квадратных матриц порядка n карта, которая присваивает матрице A ее эрмитово сопряженное A * - инволюция. Полугруппа M n (C) является * -регулярной полугруппой с этой инволюцией. Обращение Мура – ​​Пенроуза к A в этой * -регулярной полугруппе является классическим обратным Мура – ​​Пенроуза к A.

Свободная полугруппа с инволюцией

Как и все многообразия, категория полугрупп с инволюцией допускает свободных объектов. Построение свободной полугруппы (или моноида) с инволюцией основано на построении свободной полугруппы (и, соответственно, свободного моноида). Более того, конструкция свободной группы может быть легко получена путем уточнения конструкции свободного моноида с инволюцией.

образующие свободной полугруппы с инволюцией являются элементы объединения двух (равномного ) непересекающихся множеств в биективном соответствии : Y = X ⊔ X † {\ displaystyle Y = X \ sqcup X ^ {\ dagger}}Y = X \ sqcup X ^ {\ dagger} . (Здесь обозначение ⊔ {\ displaystyle \ sqcup \,}\ sqcup \, подчеркивает, что объединение на самом деле является непересекающимся объединением.) В случае, когда два набора конечны, их объединение Y иногда называют алфавитом с инволюцией или симметричным алфавитом. Пусть θ: X → X † {\ displaystyle \ theta: X \ rightarrow X ^ {\ dagger}}\ theta: X \ rightarr ow X ^ {\ dagger} будет биекцией; θ {\ displaystyle \ theta}\ theta естественно расширяется до взаимно однозначного соответствия †: Y → Y {\ displaystyle {} \ dagger: Y \ to Y}{} \ dagger: Y \ to Y по существу, взяв непересекающееся объединение θ {\ displaystyle \ theta}\ theta (как набор) с его обратным, или в кусочно обозначение:

y † = {θ (y), если y ∈ X θ - 1 (y), если y ∈ X † {\ displaystyle y ^ {\ dagger} = {\ begin {cases} \ theta (y) {\ text {if}} y \ in X \\\ theta ^ {- 1} (y) {\ text {if}} y \ in X ^ {\ dagger} \ end {cases}}}y ^ {\ dagger} = {\ begin {cases} \ theta (y) {\ text {если }} y \ in X \\\ theta ^ {{- 1}} (y) {\ text {if}} y \ in X ^ {\ dagger} \ end {cases}}

Теперь создайте Y + {\ displaystyle Y ^ {+} \,}Y ^ {+} \, как свободную полугруппу на Y {\ displaystyle Y \,}Y\,обычным способом с бинарной (полугрупповой) операцией над Y + {\ displaystyle Y ^ {+} \,}Y ^ {+} \, , являющимся конкатенацией :

w = w 1 w 2 ⋯ wk ∈ Y + {\ displaystyle w = w_ {1} w_ {2} \ cdots w_ {k} \ in Y ^ {+}}w = w_ {1} w_ {2} \ cdots w_ {k} \ in Y ^ {+ } для некоторых букв wi ∈ Y. {\ displaystyle w_ {i} \ in Y.}w_ {i} \ in Y.

Биекция † {\ displaystyle \ dagger}\ dagger на Y {\ displaystyle Y}Y затем расширяется как биекция †: Y + → Y + {\ displaystyle {} ^ {\ dagger}: Y ^ {+} \ rightarrow Y ^ {+}}{ } ^ {\ dagger}: Y ^ {+} \ rightarrow Y ^ {+} , определяемая как обращение строки элементов Y + {\ displaystyle Y ^ {+} \,}Y ^ {+} \, , состоящих из более чем одной буквы:

w † = wk † wk - 1 † ⋯ w 2 † w 1 †. {\ displaystyle w ^ {\ dagger} = w_ {k} ^ {\ dagger} w_ {k-1} ^ {\ dagger} \ cdots w_ {2} ^ {\ dagger} w_ {1} ^ {\ dagger}.}w ^ {\ dagger} = w_ {k} ^ {\ dagger} w _ {{k-1}} ^ {\ dagger} \ cdots w_ { {2}} ^ {\ dagger} w _ {{1}} ^ {\ dagger}.

Эта карта является инволюцией в полугруппе Y + {\ displaystyle Y ^ {+} \,}Y ^ {+} \, . Таким образом, полугруппа (X ⊔ X †) + {\ displaystyle (X \ sqcup X ^ {\ dagger}) ^ {+}}(X \ sqcup X ^ {\ dagger}) ^ {+} с картой † {\ displaystyle { } ^ {\ dagger} \,}{} ^ {\ dagger} \, - полугруппа с инволюцией, называемая свободной полугруппой с инволюцией на X. (Нерелевантность конкретного тождества X † { \ displaystyle X ^ {\ dagger}}X ^ {\ dagger} и взаимного однозначности θ {\ displaystyle \ theta}\ theta в этом выборе терминологии объясняется ниже в терминах универсального свойства Обратите внимание, что в отличие от примера 6, инволюция каждой буквы является отдельным элементом в алфавите с инволюцией, и, следовательно, то же самое наблюдение распространяется на свободную полугруппу с инволюцией.

Если в приведенной выше конструкции вместо Y + {\ displaystyle Y ^ {+} \,}Y ^ {+} \, мы используем свободный моноид Y ∗ = Y + ∪ {ε} {\ displaystyle Y ^ {*} = Y ^ {+} \ cup \ {\ varepsilon \}}Y ^ {*} = Y ^ {+} \ cup \ {\ varepsilon \} , которая представляет собой свободную полугруппу, расширенную с помощью пустое слово ε {\ displaystyle \ varepsilon \,}\ varepsilon \, (которое является элементом идентичности моноида Y ∗ { \ displaystyle Y ^ {*} \,}Y ^ {*} \, ) и соответствующим образом расширить инволюцию с помощью ε † = ε {\ displaystyle \ varepsilon ^ {\ dagger} = \ varepsilon}\ varepsilon ^ {\ dagger} = \ varepsilon , мы получаем свободный моноид с инволюцией .

Вышеупомянутая конструкция фактически является единственным способом расширить данную карту θ {\ displaystyle \ theta \,}\ theta \, из От X {\ displaystyle X \,}X \, до X † {\ displaystyle X ^ {\ dagger} \,}X ^ {\ dagger} \, до инволюции на Y + {\ displaystyle Y ^ {+} \,}Y ^ {+} \, (и аналогично Y ∗ {\ displaystyle Y ^ {*} \,}Y ^ {*} \, ). Квалификатор «бесплатно» для этих конструкций оправдан в обычном смысле, что они являются универсальными конструкциями. В случае свободной полугруппы с инволюцией, для произвольной полугруппы с инволюцией S {\ displaystyle S \,}S \, и карты Φ: X → S {\ displaystyle \ Phi: X \ rightarrow S}\ Phi: X \ rightarrow S , тогда гомоморфизм полугрупп Φ ¯: (X ⊔ X †) + → S {\ displaystyle {\ overline {\ Phi}} :( X \ sqcup X ^ {\ dagger}) ^ {+} \ rightarrow S}\ overline \ Phi: (X \ sqcup X ^ {\ dagger}) ^ {+} \ rightarrow S существует такое, что Φ = ι ∘ Φ ¯ {\ displaystyle \ Phi = \ iota \ circ {\ overline { \ Phi}}}\ Phi = \ iota \ circ \ overline \ Phi , где ι: X → (X ⊔ X †) + {\ displaystyle \ iota: X \ rightarrow (X \ sqcup X ^ {\ dagger}) ^ {+ }}\ iota: X \ rightarrow (X \ sqcup X ^ {\ dagger}) ^ {+} - это карта включения, а композиция функций берется в порядке диаграммы. Конструкция (X ⊔ X †) + {\ displaystyle (X \ sqcup X ^ {\ dagger}) ^ {+}}(X \ sqcup X ^ {\ dagger}) ^ {+} как полугруппы с инволюцией уникальна с точностью до изоморфизм. Аналогичное рассуждение справедливо для свободного моноида с инволюцией в терминах гомоморфизмов моноидов и единственности с точностью до изоморфизма конструкции (X ⊔ X †) ∗ {\ displaystyle (X \ sqcup X ^ {\ dagger}) ^ {*}}(X \ sqcup X ^ { \ dagger}) ^ {*} как моноид с инволюцией.

Построение свободной группы не очень далеко от конструкции свободного моноида с инволюцией. Дополнительный ингредиент, необходимый для определения понятия сокращенного слова и правила перезаписи для создания таких слов простым удалением любых смежных пар букв формы xx † {\ displaystyle xx ^ {\ dagger}}xx ^ {\ dagger} или x † x {\ displaystyle x ^ {\ dagger} x}x ^ {\ dagger} x . Можно показать, что порядок перезаписи (удаления) таких пар не имеет значения, т.е. любой порядок удаления дает тот же результат. (Иначе говоря, эти правила определяют конфлюэнтную переписывающую систему.) Эквивалентно свободная группа строится из свободного моноида с инволюцией, беря частное последнего на сравнение {(yy †, ε): y ∈ Y} {\ displaystyle \ {(yy ^ {\ dagger}, \ varepsilon): y \ in Y \}}\ {(yy ^ {\ dagger}, \ varepsilon): y \ in Y \} , которую иногда называют конгруэнцией Дика - в определенном смысле она обобщает язык Дика на несколько видов «скобок». Однако упрощение в конгруэнции Дика имеет место независимо от порядка. Например, если ")" является обратным к "(", то () =) (= ε {\ displaystyle () =) (= \ varepsilon}() =) (= \ varepsilon ; одностороннее сравнение который появляется в собственно языке Дейка {(xx †, ε): x ∈ X} {\ displaystyle \ {(xx ^ {\ dagger}, \ varepsilon): x \ in X \}}\ {(xx ^ {\ dagger}, \ varepsilon): x \ in X \} , который соответствует только () = ε {\ displaystyle () = \ varepsilon}() = \ varepsilon , (возможно, сбивает с толку) называется конгруэнцией Шамира . Частное от свободного моноид с инволюцией по конгруэнции Шамира является не группой, а моноидом; тем не менее, его первый первооткрыватель - Эли Шамир - назвал его свободной полугруппой, хотя в последнее время был назван инволютивным моноидом, порожденным X. (Этот последний выбор терминологии противоречит, однако, использованию «инволютивного» для обозначения любой полугруппы с инволюцией - практика, также встречающаяся в литературе). 121>Бэра * -полугруппы

Бэра * -полугруппа - это * -полугруппа с (двусторонним) нулем, в которой правая t аннулятор каждого элемента совпадает с правым идеалом некоторой проекции; это свойство формально выражается как: для всех x ∈ S существует проекция e такая, что

{y ∈ S | xy = 0} = eS.

Проекция e на самом деле однозначно определяется x.

В последнее время Бэра * -полугруппы также назывались полугруппами Фулиса после Дэвид Джеймс Фоулис, который изучил их подробно.

Примеры и приложения

Набор всех бинарных отношений в наборе (из примера 5) является Бэра * -полугруппа.

Бэра * -полугруппы также встречаются в квантовой механике, в частности, как мультипликативные полугруппы Бэровских * -колец.

Если H является Гильбертово пространство, то мультипликативная полугруппа всех ограниченных операторов на H является бэровской * -полугруппой. Инволюция в этом случае отображает оператор в его сопряженную.

-полугруппу Бэра *, допускающую из ортомодулярных решеток.

См. Также

Примечания

Ссылки

  • Марк В. Лоусон (1998). «Обратные полугруппы: теория частичных симметрий». World Scientific ISBN 981-02-3316-7
  • Д. Дж. Фулис (1958). Инволюционные полугруппы, докторская диссертация, Тулейнский университет, Новый Орлеан, Луизиана. Публикации Д.Дж. Foulis (доступ 5 мая 2009 г.)
  • W.D. Манн, Особые инволюции, в A.H. Clifford, K.H. Хофманн, М.В. Мислав, Теория полугрупп и ее приложения: материалы конференции 1994 года, посвященной работе Альфреда Х. Клиффорда, Cambridge University Press, 1996, ISBN 0521576695. Это недавняя обзорная статья о полугруппе с (специальной) инволюцией
  • Дразин М.П. Регулярные полугруппы с инволюцией, Proc. Symp. о регулярных полугруппах (DeKalb, 1979), 29–46
  • Nordahl, T.E., and H.E. Шейблих, Регулярные * полугруппы, Форум полугрупп, 16 (1978), 369–377.
  • Миюки Ямада, P-системы в регулярных полугруппах, Форум полугрупп, 24 (1), декабрь 1982 г., стр. 173–187
  • S. Црвенкович и Игорь Долинка, "Многообразия инволюционных полугрупп и инволюционных полуколец: обзор ", Бюллетень Общества математиков Баня-Луки, т. 9 (2002), 7–47.
  • В эту статью включены материалы из Free полугруппы с инволюцией на PlanetMath, которая находится под лицензией Creative Commons Attribution / Share-Alike License.

Последняя правка сделана 2021-06-07 09:45:53
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте