Алгебраическая структура - Algebraic structure

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

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

В контексте универсальная алгебра, набор А с этим структура называется алгебра,[1] в то время как в других контекстах это (несколько двусмысленно) называется алгебраическая структура, период, термин алгебра зарезервированы для конкретных алгебраических структур, которые векторные пространства через поле или же модули через коммутативное кольцо.

Свойства конкретных алгебраических структур изучаются в абстрактной алгебре. Общая теория алгебраических структур формализована в универсальной алгебре. Язык теория категорий используется для выражения и изучения взаимосвязей между различными классами алгебраических и неалгебраических объектов. Это связано с тем, что иногда можно найти сильные связи между некоторыми классами объектов, иногда разных типов. Например, Теория Галуа устанавливает связь между определенными полями и группами: двумя алгебраическими структурами разного типа.

Вступление

Сложение и умножение действительных чисел являются типичными примерами операций, которые объединяют два элемента набора для получения третьего элемента набора. Эти операции подчиняются нескольким алгебраическим законам. Например, а + (б + c) = (а + б) + c и а(до н.э) = (ab)c как ассоциативные законы. Также а + б = б + а и ab = ба как коммутативные законы. Многие системы, изучаемые математиками, имеют операции, которые подчиняются некоторым, но не обязательно всем законам обычной арифметики. Например, повороты объекта в трехмерном пространстве можно комбинировать, например, путем выполнения первого поворота объекта и последующего применения к нему второго поворота в его новой ориентации, сделанного предыдущим поворотом. Вращение как операция подчиняется ассоциативному закону, но может не удовлетворять коммутативному закону.

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

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

Примеры

Один комплект с операциями

Простые конструкции: нет бинарная операция:

  • Набор: вырожденная алгебраическая структура S без операций.
  • Остроконечный набор: S имеет один или несколько выделенных элементов, часто 0, 1 или оба.
  • Унарная система: S и один унарная операция над S.
  • Остроконечная одинарная система: унарная система с S заостренный набор.

Групповые структуры: один бинарная операция. Двоичная операция может быть обозначена любым символом или без символа (сопоставление), как это делается для обычного умножения действительных чисел.

Кольцевые структуры или же Рингоиды: два бинарные операции, часто называемые добавление и умножение, с умножением распространение сверх сложения.

  • Полукруглый: рингоид такой, что S является моноидом относительно каждой операции. Обычно предполагается, что сложение является коммутативным и ассоциативным, и предполагается, что моноидное произведение распределяется по сложению с обеих сторон, а аддитивная единица 0 является поглощающий элемент в том смысле, что 0Икс = 0 для всех Икс.
  • Рядом с кольцом: полукольцо, аддитивный моноид которого является (не обязательно абелевой) группой.
  • Звенеть: полукольцо, аддитивный моноид которого является абелевой группой.
  • Кольцо лжи: рингоид, аддитивный моноид которого является абелевой группой, но мультипликативная операция которого удовлетворяет условию Личность Якоби а не ассоциативность.
  • Коммутативное кольцо: кольцо, в котором операция умножения коммутативна.
  • Логическое кольцо: коммутативное кольцо с идемпотентной операцией умножения.
  • Поле: коммутативное кольцо, которое содержит мультипликативный обратный для каждого ненулевого элемента.
  • Клини алгебры: полукольцо с идемпотентным сложением и унарной операцией, Клини звезда, удовлетворяющие дополнительным свойствам.
  • *-алгебра: кольцо с дополнительной унарной операцией (*), удовлетворяющее дополнительным свойствам.

Решетчатые конструкции: два или более бинарных операций, включая операции, называемые встретиться и присоединиться, связанных закон поглощения.[3]

Арифметика: два бинарные операции, сложение и умножение. S является бесконечный набор. Арифметика - это точечные унарные системы, унарная операция является инъективный преемник, и с выделенным элементом 0.

  • Арифметика Робинсона. Сложение и умножение рекурсивно определяется посредством преемника. 0 - это единичный элемент для сложения и аннулирует умножение. Арифметика Робинсона указана здесь, хотя она и является разновидностью из-за ее близости к арифметике Пеано.
  • Арифметика Пеано. Арифметика Робинсона с схема аксиомы из индукция. Большинство аксиом колец и поля, имеющих отношение к свойствам сложения и умножения, являются теоремами арифметики Пеано или ее собственными расширениями.

Два набора с операциями

Модуль -подобные конструкции: составные системы, включающие два набора и использующие как минимум две бинарные операции.

Алгебра -подобные конструкции: составная система, определяемая двумя наборами, кольцом р и р-модуль M снабжен операцией умножения. Это можно рассматривать как систему с пятью бинарными операциями: две операции над р, два на M и один с участием обоих р и M.

Четыре или более бинарных операций:

Гибридные конструкции

Алгебраические структуры также могут сосуществовать с дополнительной структурой неалгебраической природы, такой как частичный заказ или топология. Добавленная структура должна быть в некотором смысле совместима с алгебраической структурой.

Универсальная алгебра

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

Тождества - это уравнения, сформулированные с использованием только тех операций, которые позволяет структура, и переменных, которые неявно универсально определяемый над соответствующими вселенная. Личности не содержат связки, экзистенциально количественные переменные, или же связи любого вида, кроме разрешенных операций. Изучение сортов - важная часть универсальная алгебра. Алгебраическая структура в разнообразии может пониматься как фактор-алгебра алгебры терминов (также называемой "абсолютно свободная алгебра "), разделенные отношениями эквивалентности, порожденными набором тождеств. Итак, набор функций с заданными подписи порождают свободную алгебру, алгебра терминов Т. Учитывая набор эквациональных тождеств (аксиом), можно рассматривать их симметричное транзитивное замыкание E. Фактор-алгебра Т/E тогда является алгебраической структурой или многообразием. Так, например, у групп есть сигнатура, содержащая два оператора: оператор умножения м, принимая два аргумента, и обратный оператор я, принимая один аргумент, а элемент идентичности е, константа, которую можно рассматривать как оператор, не принимающий аргументов. Учитывая (счетный) набор переменных Икс, у, zи т. д. термин алгебра - это совокупность всех возможных термины с участием м, я, е и переменные; так, например, м (я (х), м (х, м (у, е))) будет элементом термина алгебра. Одной из аксиом, определяющих группу, является тождество м (х, я (х)) = е; другой м (х, е) = х. Аксиомы можно представить в виде деревья. Эти уравнения индуцируют классы эквивалентности по свободной алгебре; фактор-алгебра тогда имеет алгебраическую структуру группы.

Некоторые структуры не образуют разновидностей, потому что:

  1. Необходимо, чтобы 0 ≠ 1, 0 - добавка элемент идентичности и 1 является мультипликативным элементом идентичности, но это не идентичность;
  2. У структур, таких как поля, есть некоторые аксиомы, которые справедливы только для ненулевых членов S. Чтобы алгебраическая структура была разнообразной, ее операции должны быть определены для все Члены S; частичных операций быть не может.

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

Теория категорий

Теория категорий - еще один инструмент для изучения алгебраических структур (см., например, Mac Lane 1998). Категория - это набор объекты с ассоциированным морфизмы. Каждая алгебраическая структура имеет собственное понятие гомоморфизм, а именно любые функция совместимы с операциями, определяющими структуру. Таким образом, каждая алгебраическая структура порождает категория. Например, категория групп есть все группы как объекты и все групповые гомоморфизмы как морфизмы. Этот конкретная категория можно рассматривать как категория наборов с добавленной теоретико-категориальной структурой. Точно так же категория топологические группы (морфизмы которого являются гомоморфизмами непрерывных групп) является категория топологических пространств с дополнительной структурой. А забывчивый функтор между категориями алгебраических структур «забывает» часть структуры.

В теории категорий существуют различные концепции, которые пытаются уловить алгебраический характер контекста, например

Различные значения слова «структура»

В небольшом злоупотребление обозначениями слово «структура» может также относиться только к операциям со структурой, а не к самому базовому набору. Например, предложение «Мы определили кольцо структура на съемочной площадке , "означает, что мы определили звенеть операции на съемочной площадке . Другой пример: группа можно рассматривать как набор который оснащен алгебраическая структура, а именно операция .

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

Примечания

  1. ^ ВЕЧЕРА. Кон. (1981) Универсальная алгебра, Springer, стр. 41.
  2. ^ Джонатан Д. Х. Смит (15 ноября 2006 г.). Введение в квазигруппы и их представления. Чепмен и Холл. ISBN  9781420010633. Получено 2012-08-02.
  3. ^ Рингоиды и решетки можно четко различить, несмотря на то, что оба имеют две определяющие бинарные операции. В случае рингоидов две операции связаны между собой распределительный закон; в случае решеток они связаны между собой закон поглощения. Рингоиды также имеют числовой модели, а решетки имеют тенденцию теоретико-множественный модели.

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

Теория категорий

внешняя ссылка