В математике полугруппа - это алгебраическая структура, состоящая из множества вместе с ассоциативной бинарной операцией .
Бинарная операция полугруппы чаще всего обозначается мультипликативно : x · y , или просто xy , обозначает результат применения полугрупповой операции к упорядоченной паре ( x , y ) . Ассоциативность формально выражается следующим образом: ( x · y ) · z = x · ( y · z ) для всех x , y и z в полугруппе.
Полугруппы можно рассматривать как частный случай магм , где операция является ассоциативной, или как обобщение групп , не требуя наличия элемента идентичности или инверсий. [примечание 1] Как и в случае групп или магм, полугрупповая операция не обязательно должна быть коммутативной , поэтому x · y не обязательно равно y · x ; Хорошо известным примером ассоциативной, но некоммутативной операции является умножение матриц . Если полугрупповая операция коммутативна, то полугруппа называется коммутативной полугруппой или (реже, чем в аналогичном случае групп ) ее можно назвать абелевой полугруппой .
Моноид представляет собой алгебраическую структуру промежуточного между группами и полугруппами, и является полугруппа , имеющей единичный элемент , таким образом , подчиняться все , кроме одной из аксиом группы; наличие обратных не требуется от моноида. Естественным примером являются строки с конкатенацией в качестве двоичной операции и пустой строкой в качестве элемента идентичности. Ограничение непустыми строками дает пример полугруппы, которая не является моноидом. Положительные целые числа с добавлением образуют коммутативную полугруппу, которая не является моноидом, тогда как неотрицательные целые числа действительно образуют моноид. Полугруппу без элемента идентичности можно легко превратить в моноид, просто добавив элемент идентичности. Следовательно, моноиды изучаются в теории полугрупп, а не в теории групп. Полугруппы не следует путать с квазигруппами , которые являются обобщением групп в другом направлении; операция в квазигруппе не обязательно должна быть ассоциативной, но квазигруппы сохраняют от групп понятие деления . Деление на полугруппы (или на моноиды) вообще невозможно.
Формальное изучение полугрупп началось в начале 20 века. Ранние результаты включают теорему Кэли для полугрупп, реализующих любую полугруппу как полугруппу преобразований , в которой произвольные функции заменяют роль биекций из теории групп. Глубоким результатом в классификации конечных полугрупп является теория Крона – Родса , аналогичная разложению Жордана – Гёльдера для конечных групп. Некоторые другие методы изучения полугрупп, например отношения Грина , ни на что не похожи в теории групп.
Теория конечных полугрупп имеет особое значение в теоретической информатике с 1950-х годов из-за естественной связи между конечными полугруппами и конечными автоматами через синтаксический моноид . В теории вероятностей полугруппы связаны с марковскими процессами . [1] В других областях прикладной математики полугруппы являются фундаментальными моделями линейных систем, не зависящих от времени . В уравнениях с частными производными полугруппа связана с любым уравнением, пространственная эволюция которого не зависит от времени.
Существует множество специальных классов полугрупп , полугрупп с дополнительными свойствами, которые появляются в конкретных приложениях. Некоторые из этих классов даже ближе к группам, поскольку демонстрируют некоторые дополнительные, но не все свойства группы. Из них отметим: регулярные полугруппы , ортодоксальные полугруппы , полугруппы с инволюцией , инверсные полугруппы и полугруппы с сокращением . Есть также интересные классы полугрупп, не содержащие никаких групп, кроме тривиальной ; примерами последнего типа являются связки и их коммутативный подкласс - полурешетки , которые также являются упорядоченными алгебраическими структурами .
Определение
Полугруппа - это множество вместе с бинарной операцией ""(то есть функция ), который удовлетворяет ассоциативному свойству :
- Для всех , уравнение держит.
Если говорить более кратко, полугруппа - это ассоциативная магма .
Примеры полугрупп
- Пустая полугруппа : пустое множество образует полугруппу с пустой функцией в качестве бинарной операции.
- Полугруппа с одним элементом : по существу существует только одна (точнее, только одна с точностью до изоморфизма ) синглтон { a } с операцией a · a = a .
- Полугруппа с двумя элементами : есть пять, которые принципиально разные.
- Моноид «триггер»: полугруппа с тремя элементами, представляющими три операции на переключателе - установка, сброс и ничего не делать.
- Множество натуральных чисел с добавлением. (С включенным 0 это становится моноидом .)
- Набор целых чисел с минимумом или максимумом. (С учетом положительной / отрицательной бесконечности это становится моноидом.)
- Квадратные неотрицательные матрицы заданного размера с матричным умножением.
- Любой идеал из кольца с умножением кольца.
- Множество всех конечных строк над фиксированным алфавитом Σ с конкатенацией строк как полугрупповой операцией - так называемая « свободная полугруппа над Σ». С включенной пустой строкой эта полугруппа становится свободным моноидом над Σ.
- Распределение вероятностей Р вместе со всеми сверточными степенями Р, с сверткой в качестве операции. Это называется сверточной полугруппой.
- Полугруппы преобразований и моноиды .
- Множество непрерывных функций от топологического пространства к себе с композицией функций образует моноид с тождественной функцией, действующей как тождество. В более общем смысле, эндоморфизмы любого объекта категории образуют моноид по композиции.
- Произведение Титса граней расположения гиперплоскостей .
Основные понятия
Идентичность и ноль
Левой единицей полугруппы(или, в более общем смысле, магма ) - это элемент такое, что для всех в , . Точно так же правильная идентичность - это элемент такое, что для всех в , . Левая и правая идентичности называются односторонними идентичностями . Полугруппа может иметь одну или несколько левых идентичностей, но не иметь правую идентичность, и наоборот.
Двусторонняя идентичность (или просто идентичность ) является элементом , который является одновременно левым и правым идентичность. Полугруппы с двусторонней идентичностью называются моноидами . Полугруппа может иметь не более одной двусторонней идентичности. Если полугруппа имеет двустороннюю идентичность, то двусторонняя идентичность является единственной односторонней идентичностью в полугруппе. Если полугруппа имеет как левую, так и правую идентичность, то она имеет двустороннюю идентичность (которая, следовательно, является уникальной односторонней идентичностью).
Полугруппа без идентичности может быть встроен в моноид, образованный присоединением элемента к и определение для всех . [2] [3] Обозначения обозначает моноид, полученный из путем присоединения тождества при необходимости (для моноида). [3]
Точно так же каждая магма имеет не более одного поглощающего элемента , который в теории полугрупп называется нулем . Аналогично предыдущей конструкции для любой полугруппы, можно определить , полугруппа с 0, вкладывающая .
Подполугруппы и идеалы
Полугрупповая операция индуцирует операцию над набором ее подмножеств: для данных подмножеств A и B полугруппы S их произведение A · B , обычно обозначаемое AB , является множеством { ab | a в A и b в B }. (Это понятие определяется так же, как и для групп .) В терминах этой операции подмножество A называется
- подполугруппой , если АА является подмножеством А ,
- правый идеал , если AS является подмножеством А , и
- левый идеал , если SA является подмножеством A .
Если A является одновременно левым и правым идеалом, то он называется идеалом (или двусторонним идеалом ).
Если S является полугруппой, то пересечение любого набора подполугрупп S также подполугруппа S . Таким образом, подполугруппы группы S образуют полную решетку .
Примером полугруппы без минимального идеала является сложение натуральных чисел. Минимальный идеал коммутативной полугруппы, если он существует, - это группа.
Отношения Грина , набор из пяти отношений эквивалентности, которые характеризуют элементы с точки зрения основных идеалов, которые они порождают, являются важными инструментами для анализа идеалов полугруппы и связанных с ними понятий структуры.
Подмножество, обладающее тем свойством, что каждый элемент коммутирует с любым другим элементом полугруппы, называется центром полугруппы. [4] Центр полугруппы на самом деле является подполугруппой. [5]
Гомоморфизмы и сравнения
A полугруппового гомоморфизм является функцией , которая сохраняет Полугрупповые структуры. Функция f : S → T между двумя полугруппами является гомоморфизмом, если уравнение
- f ( ab ) = f ( a ) f ( b ) .
выполняется для всех элементов a , b в S , т. е. результат будет тем же самым при выполнении операции полугруппы после или до применения отображения f .
Гомоморфизм полугрупп между моноидами сохраняет идентичность, если он является гомоморфизмом моноидов . Но есть гомоморфизмы полугрупп, которые не являются гомоморфизмами моноидов, например каноническое вложение полугруппы без идентичности в . Условия, характеризующие гомоморфизмы моноидов, обсуждаются далее. Позволять- гомоморфизм полугрупп. Образтакже является полугруппой. Если моноид с единичным элементом , тогда является элементом идентичности в образе . Если также является моноидом с единичным элементом а также принадлежит образу , тогда , т.е. является гомоморфизмом моноида. В частности, еслиявляется сюръективным , то это Моноид гомоморфизм.
Две полугруппы S и Т называются изоморфными , если существует взаимно однозначное соответствие F : S ↔ Т со свойством , что для любых элементов , б в S , F ( AB ) = F ( ) е ( б ) . Такое же строение имеют изоморфные полугруппы.
A полугрупповое конгруэнтность является отношением эквивалентности , совместимым с полугрупповой операцией. То есть подмножество это отношение эквивалентности и а также подразумевает для каждого в S . Как и любое отношение эквивалентности, полугрупповая конгруэнцияиндуцирует классы сравнения
а полугрупповая операция индуцирует бинарную операцию по классам конгруэнтности:
Так как является конгруэнцией, множество всех классов конгруэнции образует полугруппу с , называемая факторполугруппой или факторполугруппой , и обозначается. Отображениеявляется гомоморфизмом полугрупп, называемым фактор-отображением , канонической сюръекцией или проекцией ; если S - моноид, то факторполугруппа - это моноид с единицей. Наоборот, ядро любого гомоморфизма полугрупп является конгруэнцией полугрупп. Эти результаты являются не чем иным, как конкретизацией первой теоремы об изоморфизме универсальной алгебры . Классы конгруэнтности и факторные моноиды являются объектами изучения в системах переписывания строк .
Ядерная конгруэнция на S является один , который является ядром эндоморфизма S . [6]
Полугруппа S удовлетворяет условию максимальности конгруэнций, если любое семейство конгруэнций на S , упорядоченное по включению, имеет максимальный элемент. По лемме Цорна это равносильно утверждению, что выполняется условие возрастающей цепи : на S не существует бесконечной строго возрастающей цепочки сравнений . [7]
Каждый идеал я полугруппа индуцирует фактор полугруппу, то фактор полугруппу Rees , через конгруэнцию р , определяемый х ρ у , если либо х = у , или оба х и у находятся в I .
Коэффициенты и деления
Следующие понятия [8] вводят идею о том, что одна полугруппа содержится в другой.
Полугруппы Т является фактором полугруппы S , если есть сюръективен полугруппа морфизм из S в T . Например, является частным от , используя морфизм, состоящий в взятии остатка от целого числа по модулю 2 .
Полугруппа T делит полугруппу S , отмечалосьесли Т представляет собой частное от деления подполугруппой S . В частности, подполугруппы S делит T , в то время как это не всегда так , что есть фактор S .
Оба эти отношения транзитивны.
Структура полугрупп
Для любого подмножества A из S есть наименьшее подполугруппой Т из S , который содержит А , и мы говорим , что генерирует T . Один элемент x из S порождает подполугруппу { x n | n ∈ Z + }. Если это конечно, то говорят , что x имеет конечный порядок , в противном случае он имеет бесконечный порядок . Полугруппа называется периодической, если все ее элементы имеют конечный порядок. Полугруппа, порожденная одним элементом, называется моногенной (или циклической ). Если моногенная полугруппа бесконечна, то она изоморфна полугруппе натуральных чисел с операцией сложения. Если он конечный и непустой, то он должен содержать хотя бы один идемпотент . Отсюда следует, что каждая непустая периодическая полугруппа имеет хотя бы один идемпотент.
Подгруппа, которая также является группой, называется подгруппой . Между подгруппами полугруппы и ее идемпотентами существует тесная связь. Каждая подгруппа содержит ровно один идемпотент, а именно единичный элемент подгруппы. Для каждого идемпотента e полугруппы существует единственная максимальная подгруппа, содержащая e . Таким образом возникает каждая максимальная подгруппа, поэтому между идемпотентами и максимальными подгруппами существует взаимно однозначное соответствие. Здесь термин максимальная подгруппа отличается от его стандартного использования в теории групп.
Чаще можно сказать, когда порядок конечен. Например, каждая непустая конечная полугруппа периодична, имеет минимальный идеал и хотя бы один идемпотент. Количество конечных полугрупп данного размера (больше 1) (очевидно) больше, чем количество групп такого же размера. Например, из шестнадцати возможных «таблиц умножения» для набора из двух элементов {a, b} восемь образуют полугруппы [примечание 2], тогда как только четыре из них являются моноидами и только две образуют группы. Для получения дополнительной информации о структуре конечных полугрупп см. Теорию Крона – Родса .
Специальные классы полугрупп
- Моноид является полугруппа с единицей .
- Группа является полугруппой с единицей и обратным элементом .
- Подполугруппа - это подмножество полугруппы, замкнутое относительно операции полугруппы.
- Полугруппа одно , имеющее свойство отмены : [9] · Ь = · с означает Ь = с и аналогично для Ь · = C · .
- Группа является полугруппа, операция идемпотентная .
- Полурешетка является полугруппа, операция идемпотентная и коммутативное .
- 0-простые полугруппы.
- Полугруппы преобразований : любая конечная полугруппа S может быть представлена преобразованиями множества (состояния) Q не более чем | S | +1 состояния. Каждый элемент х из S , то отображает Q в сам х : Q → Q и последовательность х определяются д ( х ) = ( дй ) г для каждого ц в Q . Последовательность явно является ассоциативной операцией, здесь эквивалентной композиции функций . Это представление является базовым для любого автомата или конечного автомата (FSM).
- Бициклический полугруппа является фактически моноидом, который может быть описан как свободная полугруппа с двумя образующими р и д , в соответствии с соотношением рдом = 1 .
- C 0 -полугруппы .
- Регулярные полугруппы . Каждый элемент x имеет по крайней мере один обратный y, удовлетворяющий xyx = x и yxy = y ; элементы x и y иногда называют «взаимно обратными».
- Инверсные полугруппы - это регулярные полугруппы, в которых каждый элемент имеет ровно одну инверсную. С другой стороны, регулярная полугруппа обратна тогда и только тогда, когда любые два идемпотента коммутируют.
- Аффинная полугруппа: полугруппа, изоморфная конечно порожденной подполугруппе Z d . Эти полугруппы имеют приложения к коммутативной алгебре .
Структурная теорема для коммутативных полугрупп
Существует структурная теорема коммутативных полугрупп в терминах полурешеток . [10] Полурешетка (точнее, встречная полурешетка).является частично упорядоченным множеством, в котором каждая пара элементовимеет точную нижнюю грань , обозначаемую. Операция делает в полугруппу, удовлетворяющую дополнительному закону идемпотентности.
Учитывая гомоморфизм от произвольной полугруппы к полурешетке каждый прообраз является (возможно, пустой) полугруппой. Более того,становится градуированной по, в смысле
Если находится на, полурешетка изоморфна фактор в по отношению эквивалентности такой, что если и только если . Это отношение эквивалентности является полугрупповой конгруэнцией, как определено выше.
Всякий раз, когда мы берем фактор коммутативной полугруппы по конгруэнции, мы получаем другую коммутативную полугруппу. Структурная теорема утверждает, что для любой коммутативной полугруппы, есть прекрасное совпадение такое, что частное по этому отношению эквивалентности является полурешеткой. Обозначив эту полурешетку через, мы получаем гомоморфизм из на . Как уже упоминалось, становится градуированной этой полурешеткой.
Кроме того, компоненты все архимедовы полугруппы . Архимедова полугруппа - это полугруппа, в которой задана любая пара элементов, существует элемент а также такой, что .
Архимедово свойство непосредственно следует из упорядоченности в полурешетке , так как при таком порядке мы имеем если и только если для некоторых а также .
Группа фракций
Группа фракций или завершения группы полугруппы S является группа G = G ( S ) порождается элементами S , как генераторы и все уравнениями х = г , которые справедливы в S качестве отношений . [11] Существует очевидный гомоморфизм полугрупп j : S → G ( S ), который переводит каждый элемент S в соответствующий генератор. Это универсальное свойство для морфизмов из S в группу: [12] для любой группы H и любого гомоморфизма полугрупп k : S → H существует единственный гомоморфизм групп f : G → H с k = fj . Мы можем думать о G как «наиболее общей» группа , которая содержит гомоморфный образ S .
Важный вопрос - охарактеризовать те полугруппы, для которых это отображение является вложением. Это не всегда так: например, возьмем S в качестве полугруппы подмножеств некоторого множества X с теоретико-множественным пересечением в качестве бинарной операции (это пример полурешетки). Так как А . A = A выполняется для всех элементов S , это должно быть верно и для всех образующих G ( S ): следовательно, это тривиальная группа . Очевидно, что для встраиваемости необходимо, чтобы S обладал свойством отмены . Когда S коммутативна, этого условия также достаточно [13], и группа Гротендика полугруппы дает конструкцию группы дробей. Проблема некоммутативных полугрупп восходит к первой содержательной статье о полугруппах. [14] [15] Анатолий Мальцев дал необходимые и достаточные условия вложимости в 1937 году. [16]
Полугрупповые методы в уравнениях с частными производными
Теория полугрупп может быть использована для изучения некоторых проблем в области дифференциальных уравнений в частных производных . Грубо говоря, полугрупповой подход состоит в том, чтобы рассматривать зависящее от времени уравнение в частных производных как обыкновенное дифференциальное уравнение на функциональном пространстве. Например, рассмотрим следующую начальную / краевую задачу для уравнения теплопроводности на пространственном интервале (0, 1) ⊂ R и временах t ≥ 0 :
Пусть X = L 2 ((0, 1) R ) - пространство L p интегрируемых с квадратом вещественных функций с областью определения в интервале (0, 1), и пусть A - оператор второй производной с областью определения
где H 2 - пространство Соболева . Тогда указанная выше начальная / краевая задача может быть интерпретирована как начальная задача для обыкновенного дифференциального уравнения в пространстве X :
На эвристическом уровне решение этой проблемы «должно» быть u ( t ) = exp ( tA ) u 0 . Однако, для тщательного лечения, смысл должен быть дан экспонентом от TĀ . Как функция от t , exp ( tA ) представляет собой полугруппу операторов из X в себя, переводящую начальное состояние u 0 в момент времени t = 0 в состояние u ( t ) = exp ( tA ) u 0 в момент времени t . Оператор A называется инфинитезимальным генератором полугруппы.
История
Изучение полугрупп отставало от изучения других алгебраических структур с более сложными аксиомами, такими как группы или кольца . Ряд источников [17] [18] приписывают первое использование термина (на французском языке) Ж.-А. де Сегье в Élements de la Théorie des Groupes Abstraits (Элементы теории абстрактных групп) в 1904 году. Этот термин используется в английском языке в 1908 году в Теории групп конечного порядка Гарольда Хинтона .
Антон Сушкевич получил первые нетривиальные результаты о полугруппах. Его статья 1928 года «Über die endlichen Gruppen One das Gesetz der eindeutigen Umkehrbarkeit» («О конечных группах без правила единственной обратимости») определила структуру конечных простых полугрупп и показала, что минимальный идеал (или отношения Грина J-класс) конечная полугруппа проста. [18] С этого момента основы теории полугрупп были заложены Дэвидом Рисом , Джеймсом Александром Грином , Евгением Сергеевичем Ляпиным , Альфредом Х. Клиффордом и Гордоном Престоном . Последние два опубликовали двухтомную монографию по теории полугрупп в 1961 и 1967 годах соответственно. В 1970 году новое периодическое издание под названием Semigroup Forum (в настоящее время редактируется Springer Verlag ) стало одним из немногих математических журналов, полностью посвященных теории полугрупп.
Теория представлений полугрупп была разработана в 1963 году Борисом Шейном с использованием бинарных отношений на множестве A и композиции отношений для полугруппового произведения. [19] В алгебраической конференции в 1972 году Шайн обследовал литературу по B A , полугруппы отношений на A . [20] В 1997 году Шейн и Ральф Маккензи доказали, что каждая полугруппа изоморфна транзитивной полугруппе бинарных отношений. [21]
В последние годы исследователи в этой области стали более специализированными: появляются специализированные монографии по важным классам полугрупп, таких как инверсные полугруппы , а также монографии, посвященные приложениям в теории алгебраических автоматов , особенно для конечных автоматов, а также в функциональном анализе .
Обобщения
Групповые структуры | |||||
---|---|---|---|---|---|
Целостность α | Ассоциативность | Личность | Обратимость | Коммутативность | |
Полугрупоидный | Ненужный | Обязательный | Ненужный | Ненужный | Ненужный |
Малая категория | Ненужный | Обязательный | Обязательный | Ненужный | Ненужный |
Группоид | Ненужный | Обязательный | Обязательный | Обязательный | Ненужный |
Магма | Обязательный | Ненужный | Ненужный | Ненужный | Ненужный |
Квазигруппа | Обязательный | Ненужный | Ненужный | Обязательный | Ненужный |
Единичная магма | Обязательный | Ненужный | Обязательный | Ненужный | Ненужный |
Петля | Обязательный | Ненужный | Обязательный | Обязательный | Ненужный |
Полугруппа | Обязательный | Обязательный | Ненужный | Ненужный | Ненужный |
Обратная полугруппа | Обязательный | Обязательный | Ненужный | Обязательный | Ненужный |
Моноид | Обязательный | Обязательный | Обязательный | Ненужный | Ненужный |
Коммутативный моноид | Обязательный | Обязательный | Обязательный | Ненужный | Обязательный |
Группа | Обязательный | Обязательный | Обязательный | Обязательный | Ненужный |
Абелева группа | Обязательный | Обязательный | Обязательный | Обязательный | Обязательный |
^ α Замыкание, которое используется во многих источниках, является аксиомой, эквивалентной тотальности, хотя и определяется по-другому. |
Если ассоциативность аксиома полугруппы отбрасывается, результат является магмой , которая не более чем множества М , снабженным бинарной операцией , которая закрыт M × M → M .
Обобщая в другом направлении, n -арная полугруппа (также n -полугруппа , полиадическая полугруппа или мультиарная полугруппа ) является обобщением полугруппы на множество G с n -арной операцией вместо бинарной. [22] Ассоциативный закон обобщается следующим образом: троичная ассоциативность ( abc ) de = a ( bcd ) e = ab ( cde ) , то есть строка abcde с любыми тремя соседними элементами в квадратных скобках. N -арная ассоциативность - это строка длины n + ( n - 1 ) с любыми n смежными элементами в квадратных скобках. 2-арная полугруппа - это просто полугруппа. Дальнейшие аксиомы приводят к n -арной группе .
Третье обобщение - это полугруппоид , в котором снимается требование, чтобы бинарное отношение было полным. Поскольку категории аналогичным образом обобщают моноиды, полугруппоид ведет себя во многом как категория, но не имеет идентичностей.
Бесконечные обобщения коммутативных полугрупп иногда рассматривались разными авторами. [заметка 3]
Смотрите также
- Поглощающий элемент
- Бордовый набор
- Пустая полугруппа
- Обобщенная обратная
- Элемент идентичности
- Тест ассоциативности света
- Квантовая динамическая полугруппа
- Кольцо полугруппы
- Слабая обратная
Заметки
- ^ Аксиома замыкания подразумевается определением бинарной операции над множеством. Таким образом, некоторые авторы опускают его и указывают три аксиомы для группы и только одну аксиому (ассоциативность) для полугруппы.
- ^ А именно: тривиальная полугруппа, в которой (для всех x и y ) xy = a, и ее аналог, в котором xy = b , полугруппы, основанные на умножении по модулю 2 (выбор a или b в качестве единичного элемента 1), группы, эквивалентные сложение по модулю 2 (выбор a или b как единичный элемент 0) и полугруппы, в которых элементы являются либо левыми, либо обоими правыми тождествами.
- ^ См. Ссылки в Удо Хебиш и Ханнс Иоахим Вайнерт, Полукольца и полутела , в частности, раздел 10, Полукольца с бесконечными суммами , в М. Хазевинкель, Справочник по алгебре, Vol. 1, Elsevier, 1996. Обратите внимание, что в этом контексте авторы используют термин полумодуль вместо полугруппы .
Цитаты
- ^ Феллер (1971)
- Перейти ↑ Jacobson (2009 , p. 30, ex. 5)
- ^ a b Лоусон (1998 , стр.20 )
- ^ Килп, Мати; Knauer, U .; Михалев, Александр В. (2000). Моноиды, действия и категории: с приложениями к венкам и графикам: пособие для студентов и исследователей . Вальтер де Грюйтер. п. 25. ISBN 978-3-11-015248-7. Zbl 0945.20036 .
- ^ Ляпин, Е.С. (1968). Полугруппы . American Mathematical Soc. п. 96. ISBN 978-0-8218-8641-0.
- ^ Lothaire (2011 , стр. 463)
- ^ Lothaire (2011 , стр. 465)
- ^ Пин, Жан-Эрик (30 ноября 2016 г.). Математические основы теории автоматов (PDF) . п. 19.
- ↑ Клиффорд и Престон (1967 , стр.3)
- ^ Грийе (2001)
- ^ Фарб Б. (2006). Проблемы с отображением групп классов и связанных тем . Амер. Математика. Soc. п. 357. ISBN. 978-0-8218-3838-9.
- ^ Auslander, M .; Бухсбаум, Д.А. (1974). Группы, кольца, модули . Харпер и Роу. п. 50. ISBN 978-0-06-040387-4.
- ↑ Клиффорд и Престон (1961 , стр. 34)
- ^ Suschkewitsch (1928)
- ^ Престон, Великобритания (1990). Личные воспоминания о ранней истории полугрупп . Архивировано из оригинала на 2009-01-09 . Проверено 12 мая 2009 .
- ^ Мальцев, А. (1937). О погружении алгебраического кольца в поле . Математика. Аннален . 113 . С. 686–691. DOI : 10.1007 / BF01571659 .CS1 maint: postscript ( ссылка )
- ^ Самые ранние известные варианты использования некоторых слов математики
- ^ a b Отчет о работе Сущкевича Кристофера Холлингса
- ^ BM Schein (1963) "Представления полугрупп с помощью бинарных отношений" (русский), Математический сборник 60: 292–303 MR.0153760
- ^ BM Schein (1972) Миниконференция по теории полугрупп , MR0401970
- ^ BM Schein & R. McKenzie (1997) "Каждая полугруппа изоморфна транзитивной полугруппе бинарных отношений", Труды Американского математического общества 349 (1): 271–85 MR1370647
- ^ Дудек, Вашингтон (2001). О некоторых старых проблемах в n -арных группах . Квазигруппы и родственные системы . 8 . С. 15–36. Архивировано из оригинала на 2009-07-14.
Рекомендации
Общие ссылки
- Хауи, Джон М. (1995). Основы теории полугрупп . Кларендон Пресс . ISBN 978-0-19-851194-6. Zbl 0835.20077 .
- Клиффорд, Альфред Хоблитцель ; Престон, Гордон Бэмфорд (1961). Алгебраическая теория полугрупп . 1 . Американское математическое общество. ISBN 978-0-8218-0271-7. Zbl 0111.03403 .
- Клиффорд, Альфред Хоблитцель ; Престон, Гордон Бэмфорд (2010) [1967]. Алгебраическая теория полугрупп . 2 . Американское математическое общество . ISBN 978-0-8218-0272-4.
- Грилье, Пьер Антуан (1995). Полугруппы: Введение в теорию структуры . Марсель Деккер. ISBN 978-0-8247-9662-4. Zbl 0830.20079 .
- Грилье, Пьер Антуан (2001). Коммутативные полугруппы . Springer Verlag. ISBN 978-0-7923-7067-3. Zbl 1040.20048 .
- Холлингс, Кристофер (2009). «Раннее развитие алгебраической теории полугрупп». Архив истории точных наук . 63 : 497–536. DOI : 10.1007 / s00407-009-0044-3 .
- Холлингс, Кристофер (2014). Математика за железным занавесом: история алгебраической теории полугрупп . Американское математическое общество. ISBN 978-1-4704-1493-1. Zbl 1317.20001 .
- Петрич, Марио (1973). Введение в полугруппы . Чарльз Э. Меррилл. ISBN 978-0-675-09062-9. Zbl 0321.20037 .
Конкретные ссылки
- Феллер, Уильям (1971). Введение в теорию вероятностей и ее приложения . II (2-е изд.). Вайли. Руководство по ремонту 0270403 .
- Хилле, Эйнар ; Филлипс, Ральф С. (1974). Функциональный анализ и полугруппы . Американское математическое общество . ISBN 978-0821874646. Руководство по ремонту 0423094 .
- Сущкевич, Антон (1928). Über die endlichen Gruppen ohne das Gesetz der eindeutigen Umkehrbarkeit . Mathematische Annalen . 99 . С. 30–50. DOI : 10.1007 / BF01459084 . hdl : 10338.dmlcz / 100078 . ISSN 0025-5831 . Руководство по ремонту 1512437 .
- Канторовиц, Шмуэль (2009). Темы в операторных полугруппах . Springer. ISBN 978-0-8176-4932-6. Zbl 1187.47003 .
- Джейкобсон, Натан (2009). Базовая алгебра . 1 (2-е изд.). Дувр. ISBN 978-0-486-47189-1.
- Лоусон, Марк В. (1998). Обратные полугруппы: теория частичных симметрий . World Scientific. ISBN 978-981-02-3316-7. Zbl 1079.20505 .
- Лотэр, М. (2011) [2002]. Алгебраическая комбинаторика слов . Энциклопедия математики и ее приложений. 90 . Издательство Кембриджского университета. ISBN 978-0-521-18071-9. Zbl 1221.68183 .