Моноид

редактировать
О моноидных объектах в теории категорий см. Моноид (теория категорий). Не путать с Монадой.
Алгебраические структуры между магмами и группами. Например, моноиды - это полугруппы с идентичностью.

В абстрактной алгебре, разделе математики, моноид - это набор, снабженный ассоциативной бинарной операцией и элементом идентичности.

Моноиды - это полугруппы с единицей. Такие алгебраические структуры встречаются в нескольких разделах математики.

Например, функции из набора в себя образуют моноид по отношению к композиции функций. В более общем плане в теории категорий морфизмы объекта к самому себе образуют моноид, и, наоборот, моноид можно рассматривать как категорию с одним объектом.

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

В теоретической информатике изучение моноидов является фундаментальным для теории автоматов ( теория Крона – Родса ) и теории формального языка ( проблема высоты звезды ).

Историю предмета и некоторые другие общие свойства моноидов см. В разделе « Полугруппа».

СОДЕРЖАНИЕ
  • 1 Определение
  • 2 Моноидные структуры
    • 2.1 Субмоноиды
    • 2.2 Генераторы
    • 2.3 Коммутативный моноид
    • 2.4 Частично коммутативный моноид
  • 3 Примеры
  • 4 свойства
    • 4.1 Продукты и возможности
    • 4.2 Обратимые элементы
    • 4.3 группа Гротендика
    • 4.4 Типы моноидов
  • 5 Акты и операторные моноиды
  • 6 Гомоморфизмы моноидов
  • 7 Эквивалентное представление
  • 8 Отношение к теории категорий
  • 9 моноидов в информатике
  • 10 MapReduce
  • 11 Полные моноиды
  • 12 См. Также
  • 13 Примечания
  • 14 Ссылки
  • 15 Внешние ссылки
Определение

Набор S оснащен бинарной операцией S × S → S, который мы будем обозначать • является моноид, если она удовлетворяет следующим двум аксиомам:

Ассоциативность
Для всех a, b и c в S выполняется равенство ( a • b) • c = a • ( b • c).
Элемент идентичности
Там существует элемент е в S такое, что для любого элемента а в S уравнения е • с = и • е = в трюме.

Другими словами, моноид - это полугруппа с единичным элементом. Его также можно рассматривать как магму с ассоциативностью и идентичностью. Единичный элемент моноида уникален. По этой причине идентичность рассматривается как постоянная, то есть 0-арная (или нулевая) операция. Таким образом, моноид характеризуется заданием тройки ( S, •, e).

В зависимости от контекста, символ двоичной операции может быть опущен, так что операция обозначается сопоставлением; например, аксиомы моноида могут быть записаны как ( ab) c = a ( bc) и ea = ae = a. Это обозначение не означает, что это умножаемые числа.

Моноид, в котором каждый элемент имеет обратный, является группой.

Моноидные структуры

Субмоноиды

Подмоноид моноида ( М, •) является подмножеством N из M, замкнутая относительно операций моноидных и содержит единичный элемент е из М. Символично, Н является подмоноид M, если N ⊆ М, х • у ∈ N всякий раз, когда х, у ∈ N, и е ∈ N. В этом случае N является моноидом под бинарной операцией, унаследованной от М.

С другой стороны, если N - подмножество моноида, которое закрывается при операции моноида, и является моноидом для этой унаследованной операции, то N не всегда является подмоноидом, поскольку элементы идентичности могут различаться. Например, одноэлементный набор {0} замкнут относительно умножения и не является подмоноидом (мультипликативного) моноида неотрицательных целых чисел.

Генераторы

Подмножество S из М называется генерации М, если наименьшая подмоноид М, содержащий S является М. Если существует конечное множество, порождающее M, то M называется конечно порожденным моноидом.

Коммутативный моноид

Моноид, операция которого коммутативна, называется коммутативным моноидом (или, реже, абелевым моноидом). Коммутативные моноиды часто пишутся аддитивно. Любой коммутативный моноид наделен своим алгебраическим предпорядком ≤, определяемым как x ≤ y, если существует z такое, что x + z = y. Порядковая единица коммутативного моноида M - это такой элемент u из M, что для любого элемента x из M существует v в множестве, порожденном u, такое, что x ≤ v. Это часто используется в случае, если М представляет собой положительный конус из частично упорядоченной абелевой группы G, и в этом случае мы говорим, что у есть порядок-единица G.

Частично коммутативный моноид

Моноид, для которого операция коммутативна для некоторых, но не для всех элементов, является моноидом следа ; Моноиды трассировки обычно встречаются в теории параллельных вычислений.

Примеры
  • Из 16 возможных двоичных булевых операторов каждый из четырех, имеющих двустороннюю идентичность, также коммутативен и ассоциативен и, таким образом, делает набор {False, True} коммутативным моноидом. Согласно стандартным определениям, AND и XNOR имеют идентификатор True, а XOR и OR имеют идентификатор False. Моноиды из AND и OR также являются идемпотентными, в то время как моноиды из XOR и XNOR - нет.
  • Множество натуральных чисел представляет собой коммутативный моноид при сложении (единичный элемент 0 ) или умножении (единичный элемент 1 ). Подмоноид N при сложении называется числовым моноидом. N знак равно { 0 , 1 , 2 , } {\ Displaystyle \ mathbb {N} = \ {0,1,2, \ ldots \}}
  • Множество натуральных чисел представляет собой коммутативный моноид относительно умножения (единичный элемент 1). N { 0 } {\ Displaystyle \ mathbb {N} \ setminus \ {0 \}}
  • Для множества A множество подмножеств A является коммутативным моноидом относительно пересечения (единичным элементом является сам A).
  • Для множества A множество подмножеств A является коммутативным моноидом относительно объединения (единичный элемент - это пустое множество ).
  • Обобщая предыдущий пример, любая ограниченная полурешетка является идемпотентным коммутативным моноидом.
  • Каждое одноэлементное множество { x }, замкнутое относительно бинарной операции •, образует тривиальный (одноэлементный) моноид, который также является тривиальной группой.
  • Каждая группа является моноидом, а каждая абелева группа - коммутативным моноидом.
  • Любая полугруппа S может быть превращена в моноиде просто присоединяя элемент е не в S и определения е • s = s = s • е для всех s ∈ S. Это преобразование любой полугруппы в моноид осуществляется свободным функтором между категорией полугрупп и категорией моноидов.
    • Таким образом, идемпотентный моноид (иногда называют находкой-первой) может быть образован присоединением единичного элемента е к влево нулевой полугруппе над множеством S. Напротив моноид (иногда называемый находкой-последняя) формируются из правой нулевой полугруппы над S.
      • Присоедините единицу e к полугруппе левых нулей с двумя элементами {lt, gt}. Затем полученный идемпотентный моноид {lt, e, gt} моделирует лексикографический порядок последовательности с учетом порядков ее элементов, где e представляет равенство.
  • Базовый набор любого кольца с операцией сложения или умножения. (По определению кольцо имеет мультипликативную единицу 1.)
  • Множество всех конечных строк над некоторым фиксированным алфавитом Σ образует моноид с конкатенацией строк в качестве операции. Пустая строка служит в качестве единичного элемента. Этот моноид обозначается Σ и называется свободным моноидом над Σ. Это не коммутативно.
  • При любом моноид М, то напротив моноид М оп имеет тот же набор носитель и единичный элемент, как М, и его работа определяется Купить • оп у = у • х. Любой коммутативный моноид - это моноид, противоположный самому себе.
  • Для двух множеств M и N, наделенных структурой моноидов (или, вообще говоря, любого конечного числа моноидов, M 1,..., M k), их декартово произведение M × N также является моноидом (соответственно M 1 × ⋯ × M л). Ассоциативная операция и элемент идентичности определяются попарно.
  • Фикс моноид M. Множество всех функций из данного набора в M также является моноидом. Элемент идентичности - это постоянная функция, отображающая любое значение в идентичность M ; ассоциативная операция определяется поточечно.
  • Исправление моноидных М с операцией • и единичный элементом е, и рассмотрят его набор мощности P ( M), состоящая из всех подмножеств из М. Бинарную операцию для таких подмножеств можно определить как S • T = { s • t  : s ∈ S, t ∈ T }. Это превращает P ( M) в моноид с единицей { e }. Точно так же набор мощности группы G является моноидом относительно произведения подмножеств группы.
  • Пусть S - множество. Множество всех функций S → S образует моноид относительно композиции функций. Идентичность - это просто функция идентичности. Он также называется полным преобразованием Моноид из S. Если S конечно с n элементами, моноид функций на S конечен с n n элементами.
  • Обобщая предыдущий пример, пусть С быть категория и Х объект C. Множество всех эндоморфизмов из X, обозначается конец С ( Х), образует моноид по составу морфизмов. Подробнее о взаимосвязи между теорией категорий и моноидами см. Ниже.
  • Множество гомеоморфизма классов на компактные поверхности с связной суммой. Единичный элемент - это класс обычной 2-сферы. Кроме того, если a обозначает класс тора, а b обозначает класс проективной плоскости, то каждый элемент c моноида имеет уникальное выражение вида c = na + mb, где n - натуральное число и m = 0, 1 или 2. Имеем 3 b = a + b.
  • Пусть - циклический моноид порядка n, т. Е.. Тогда для некоторых. Фактически, каждый такой k дает отдельный моноид порядка n, и каждый циклический моноид изоморфен одному из них. Более того, f можно рассматривать как функцию в точках, заданных формулой ж {\ displaystyle \ langle f \ rangle} ж знак равно { ж 0 , ж 1 , , ж п - 1 } {\ displaystyle \ langle f \ rangle = \ left \ {f ^ {0}, f ^ {1}, \ dots, f ^ {n-1} \ right \}} ж п знак равно ж k {\ Displaystyle е ^ {п} = е ^ {к}} 0 k lt; п {\ Displaystyle 0 \ Leq к lt;п} { 0 , 1 , 2 , , п - 1 } {\ Displaystyle \ {0,1,2, \ точки, п-1 \}}
[ 0 1 2 п - 2 п - 1 1 2 3 п - 1 k ] {\ displaystyle {\ begin {bmatrix} 0 amp; 1 amp; 2 amp; \ cdots amp; n-2 amp; n-1 \\ 1 amp; 2 amp; 3 amp; \ cdots amp; n-1 amp; k \ end {bmatrix}}}
или, что то же самое
ж ( я ) знак равно { я + 1 , если  0 я lt; п - 1 k , если  я знак равно п - 1. {\ displaystyle f (i): = {\ begin {case} i + 1, amp; {\ text {if}} 0 \ leq i lt;n-1 \\ k, amp; {\ text {if}} i = n -1. \ End {case}}}
Затем умножение элементов в задается композицией функций. ж {\ displaystyle \ langle f \ rangle}
Когда тогда функция f является перестановкой и дает единственную циклическую группу порядка n. k знак равно 0 {\ displaystyle k = 0} { 0 , 1 , 2 , , п - 1 } , {\ Displaystyle \ {0,1,2, \ точки, п-1 \},}
Характеристики

Из аксиом моноида следует, что единичный элемент e уникален: если e и f - единичные элементы моноида, то e = ef = f.

Продукты и возможности

Для каждого неотрицательного целого числа n можно определить произведение любой последовательности из n элементов моноида рекурсивно: пусть p 0 = e и пусть p m = p m −1 • a m для 1 ≤ m ≤ n. п п знак равно я знак равно 1 п а я {\ displaystyle p_ {n} = \ textstyle \ prod _ {i = 1} ^ {n} a_ {i}} ( а 1 , , а п ) {\ Displaystyle (а_ {1}, \ ldots, а_ {п})}

В качестве частного случая можно определить целые неотрицательные степени элемента x моноида: x 0 = 1 и x n = x n −1 • x для n ≥ 1. Тогда x m + n = x m • x n для всех m, n ≥ 0.

Обратимые элементы

Элемент x называется обратимым, если существует такой элемент y, что x • y = e и y • x = e. Элемент y называется обратным к x. Обратные, если они существуют, уникальны: если y и z являются обратными x, то по ассоциативности y = ey = ( zx) y = z ( xy) = ze = z.

Если x обратим, скажем, с обратным y, то можно определить отрицательные степени x, положив x - n = y n для каждого n ≥ 1 ; это делает уравнение х т + п = х м • х п выполняться для всех т, п ∈ Z.

Множество всех обратимых элементов в моноиде вместе с операцией • образует группу.

Группа Гротендика

Основная статья: группа Гротендика

Не каждый моноид находится внутри группы. Например, вполне возможно иметь моноид, в котором существуют два элемента a и b, такие, что выполняется a • b = a, даже если b не является тождественным элементом. Такой моноид не может быть вложен в группу, потому что в группе умножение обеих сторон на обратное к a приведет к тому, что b = e, что неверно.

Моноид ( M, •) обладает свойством сокращения (или является сокращающим), если для всех a, b и c в M равенство a • b = a • c влечет b = c, а равенство b • a = c • a влечет b = c.

Коммутативный моноид со свойством сокращения всегда может быть вложен в группу с помощью групповой конструкции Гротендика. Таким образом аддитивная группа целых чисел (группа с операцией +) строится из аддитивного моноида натуральных чисел (коммутативный моноид с операцией + и свойством сокращения). Однако некоммутативный сократительный моноид не обязательно должен быть вложен в группу.

Если моноид обладает свойством сокращения и конечен, то это фактически группа.

Правый и левый сократительные элементы моноида, каждый, в свою очередь, образуют подмоноид (т. Е. Замкнуты относительно операции и, очевидно, включают тождество). Это означает, что сокращающие элементы любого коммутативного моноида могут быть расширены до группы.

Свойство сокращения в моноиде не обязательно для выполнения конструкции Гротендика - достаточно коммутативности. Однако, если коммутативный моноид не обладает свойством сокращения, гомоморфизм моноида в его группу Гротендика не инъективен. Точнее, если a • b = a • c, то b и c имеют один и тот же образ в группе Гротендика, даже если b ≠ c. В частности, если моноид имеет поглощающий элемент, то его группа Гротендика является тривиальной группой.

Типы моноидов

Обратный моноид это моноид, где для каждого а в М, существует единственное A -1 в М таким образом, что = • -1 • и -1 = -1 • • -1. Если обратный моноид сокращается, то это группа.

В противоположном направлении, моноид без нуля представляет собой аддитивно записанный моноид, в котором a + b = 0 означает, что a = 0 и b = 0: эквивалентно, что никакой элемент, отличный от нуля, не имеет аддитивного обратного.

Акты и операторные моноиды
Основная статья: моноидный акт

Пусть M - моноид, бинарная операция которого обозначается символом •, а единичный элемент - буквой e. Тогда (левый) M -акт (или левый полигон над M) - это множество X вместе с операцией ⋅: M × X → X, которая совместима со структурой моноида следующим образом:

  • для всех x в X: e ⋅ x = x ;
  • для всех a, b в M и x в X: a ⋅ ( b ⋅ x) = ( a • b) ⋅ x.

Это аналог действия (левой) группы в теории моноидов. Аналогично определяются правые M -акты. Моноид с актом также известен как операторный моноид. Важные примеры включают переходные системы из semiautomata. Преобразование полугруппа может быть превращена в операторе моноид присоединения тождественного преобразования.

Гомоморфизмы моноидов
Пример гомоморфизма моноида x ↦ 2 x из ( N, +, 0) в ( N, ×, 1). Это инъективно, но не сюръективно.

Гомоморфизм между двумя моноидами ( М, *) и ( N, •) является функцией F  : M → N такое, что

  • f ( x ∗ y) = f ( x) • f ( y) для всех x, y в M
  • f ( e M) = e N,

где e M и e N - тождества на M и N соответственно. Гомоморфизмы моноидов иногда называют просто морфизмами моноидов.

Не каждый гомоморфизм полугрупп между моноидами является гомоморфизмом моноидов, так как он может не отображать идентичность в идентичность целевого моноида, даже если идентичность является идентичностью образа гомоморфизма. Например, рассмотрим набор классов вычетов по модулю, снабженный умножением. В частности, классом является тождество. Функция, заданная в, является гомоморфизмом полугрупп, как в. Однако, таким образом, гомоморфизм моноидов - это гомоморфизм полугрупп между моноидами, который отображает идентичность первого моноида в идентичность второго моноида, и последнее условие не может быть опущено. M п {\ displaystyle M_ {n}} п {\ displaystyle n} 1 {\ displaystyle 1} ж : M 3 M 6 {\ displaystyle f \ двоеточие M_ {3} \ to M_ {6}} ж ( k ) знак равно 3 k {\ Displaystyle f (k) = 3k} 3 k 3 л знак равно 9 k л знак равно 3 k л {\ Displaystyle 3k \ cdot 3l = 9kl = 3kl} M 6 {\ displaystyle M_ {6}} ж ( 1 ) знак равно 3 1 {\ Displaystyle f (1) = 3 \ neq 1}

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

Биективен Моноид гомоморфизм называется моноидом изоморфизмом. Два моноида называются изоморфными, если между ними существует изоморфизм моноидов.

Эквациональное представление
Основная статья: Представление моноида

Моноидам можно дать представление, почти так же, как группы могут быть определены посредством группового представления. Это достигается путем задания набора образующих Σ и набора отношений на свободном моноиде Σ . Это можно сделать, расширив (конечные) бинарные отношения на Σ до моноидных конгруэнций, а затем построив фактор-моноид, как указано выше.

Для бинарного отношения R ⊂ Σ × Σ его симметричное замыкание определяется как R ∪ R −1. Это может быть расширено до симметричного отношения E ⊂ Σ × Σ , определяя x ∼ E y тогда и только тогда, когда x = sut и y = svt для некоторых строк u, v, s, t ∈ Σ с ( u, v) ∈ R ∪ R −1. Наконец, берется рефлексивное и транзитивное замыкание E, которое тогда является моноидной конгруэнцией.

В типичной ситуации отношение R просто задается в виде набора уравнений, так что. Так, например, р знак равно { ты 1 знак равно v 1 , , ты п знак равно v п } {\ Displaystyle R = \ {u_ {1} = v_ {1}, \ cdots, u_ {n} = v_ {n} \}}

п , q | п q знак равно 1 {\ displaystyle \ langle p, q \, \ vert \; pq = 1 \ rangle}

является эквациональным представлением бициклического моноида, а

а , б | а б а знак равно б а а , б б а знак равно б а б {\ Displaystyle \ langle a, b \, \ vert \; aba = baa, bba = bab \ rangle}

- пластический моноид степени 2 (бесконечный порядок). Элементы этого пластического моноида могут быть записаны как целые числа i, j, k, поскольку соотношения показывают, что ba коммутирует как с a, так и с b. а я б j ( б а ) k {\ displaystyle a ^ {i} b ^ {j} (ba) ^ {k}}

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

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

По сути, моноид - это то же самое, что и категория с одним объектом.

Точнее, учитывая моноидом ( М, •), можно построить небольшую категорию только с одним объектом и морфизмами являются элементами M. Композиция морфизмов задается операцией моноида •.

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

В этом смысле теорию категорий можно рассматривать как расширение концепции моноида. Многие определения и теоремы о моноидах можно обобщить на небольшие категории с более чем одним объектом. Например, частное категории с одним объектом - это просто частный моноид.

Моноиды, как и другие алгебраические структуры, также образуют свою собственную категорию Mon, объекты которой являются моноидами, а морфизмы - гомоморфизмами моноидов.

Существует также понятие моноидного объекта, которое является абстрактным определением того, что является моноидом в категории. Моноидный объект в Set - это просто моноид.

Моноиды в информатике

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

Для данной последовательности значений типа M с элементом идентичности и ассоциативной операцией операция сворачивания определяется следующим образом: ε {\ displaystyle \ varepsilon} {\ displaystyle \ bullet}

ж о л d : M * M знак равно { ε если  знак равно п я л м ж о л d если  знак равно c о п s м {\ displaystyle \ mathrm {fold}: M ^ {*} \ rightarrow M = \ ell \ mapsto {\ begin {cases} \ varepsilon amp; {\ t_dv {if}} \ ell = \ mathrm {nil} \\ m \ пуля \ mathrm {fold} \, \ ell 'amp; {\ t_dv {if}} \ ell = \ mathrm {cons} \, m \, \ ell' \ end {case}}}

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

Уменьшение карты

Применение моноидов в информатике - это так называемая модель программирования MapReduce (см. Кодирование Map-Reduce как моноида с левым складыванием ). В вычислениях MapReduce состоит из двух или трех операций. Для данного набора данных «Карта» состоит из сопоставления произвольных данных с элементами определенного моноида. "Reduce" состоит из сворачивания этих элементов, так что в итоге мы получаем только один элемент.

Например, если у нас есть мультимножество, в программе оно представлено в виде карты от элементов к их номерам. Элементы в этом случае называются ключами. Количество отдельных ключей может быть слишком большим, и в этом случае мультимножество сегментируется. Чтобы правильно завершить редукцию, на этапе «Перемешивание» данные перегруппировываются между узлами. Если этот шаг нам не нужен, вся Map / Reduce состоит из сопоставления и сокращения; обе операции являются параллелизируемыми, первая из-за ее поэлементного характера, вторая из-за ассоциативности моноида.

Полные моноиды

Полная моноид является коммутативным моноид оснащен инфинитарной операцией суммы для любого индекса установлен я так, что: Σ я {\ displaystyle \ Sigma _ {I}}

я м я знак равно 0 ; я { j } м я знак равно м j ; я { j , k } м я знак равно м j + м k  для  j k {\ displaystyle \ sum _ {i \ in \ emptyset} {m_ {i}} = 0; \ quad \ sum _ {i \ in \ {j \}} {m_ {i}} = m_ {j}; \ quad \ sum _ {i \ in \ {j, k \}} {m_ {i}} = m_ {j} + m_ {k} \ quad {\ text {for}} j \ neq k}

а также

j J я я j м я знак равно я я ( м я )  если  j J я j знак равно я  а также  я j я j знак равно  для  j j {\ displaystyle \ sum _ {j \ in J} {\ sum _ {i \ in I_ {j}} {m_ {i}}} = \ sum _ {i \ in I} (m_ {i}) \ quad {\ text {if}} \ bigcup _ {j \ in J} I_ {j} = I {\ text {and}} I_ {j} \ cap I_ {j '} = \ emptyset \ quad {\ text {для }} j \ neq j '}

Непрерывный моноид является упорядоченным коммутативным моноидом, в котором каждое направленном множество имеет минимум верхней границы совместим с операцией моноидной:

а + Как дела S знак равно Как дела ( а + S )   . {\ Displaystyle а + \ sup S = \ sup (а + S) \.}

Эти два понятия тесно связаны: непрерывный моноид - это полный моноид, в котором бесконечная сумма может быть определена как

я а я знак равно Как дела E а я {\ displaystyle \ sum _ {I} a_ {i} = \ sup \ sum _ {E} a_ {i}}

где супремум справа пробегает все конечные подмножества E в I, а каждая сумма справа является конечной суммой в моноиде.

Смотрите также
Примечания
использованная литература
  • Хауи, Джон М. (1995), Основы теории полугрупп, Монографии Лондонского математического общества. Новая серия, 12, Оксфорд: Clarendon Press, ISBN   0-19-851194-9, Zbl   0835,20077
  • Джейкобсон, Натан (1951), Лекции по абстрактной алгебре, I, D. Van Nostrand Company, ISBN   0-387-90122-1
  • Джейкобсон, Натан (2009), Основная алгебра, 1 (2-е изд.), Довер, ISBN   978-0-486-47189-1
  • Килп, Мати; Кнауэр, Ульрих; Михалев, Александр В. (2000), Моноиды, действия и категории. С приложениями к сплетениям и графикам. Справочник для студентов и исследователей, Выставки de Gruyter по математике, 29, Берлин: Walter de Gruyter, ISBN   3-11-015248-7, Zbl   0945,20036
  • Lothaire, M. (1997), Комбинаторика слов, Энциклопедия математики и ее приложений, 17, Perrin, D.; Reutenauer, C.; Berstel, J.; Пин, JE; Pirillo, G.; Foata, D.; Сакарович, Дж.; Саймон, I.; Шютценбергер, депутат; Choffrut, C.; Cori, R.; Линдон, Роджер; Рота, Джан-Карло. Предисловие Роджера Линдона (2-е изд.), Cambridge University Press, doi : 10.1017 / CBO9780511566097, ISBN   0-521-59924-5, MR   1475463, Zbl   0874.20040
внешние ссылки
Последняя правка сделана 2023-03-21 08:52:50
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте