Инструменты пользователя

Инструменты сайта


алгебраическая-система

Алгебраическая система

Алгебраическая система (или алгебраическая структура) в универсальной алгебре — множество tex:\small {G} (носитель) с заданным на нём набором операций и отношений (сигнатура), удовлетворяющим некоторой системе аксиом. Алгебраическая система с пустым множеством отношений называется алгеброй, а система с пустым множеством операций — моделью.

n-арная операция на G — это отображение прямого произведения n экземпляров множества в само множество tex:\small {G^{n}\to G}. По определению, 0-арная операция — это просто выделенный элемент множества. Чаще всего рассматриваются унарные и бинарные операции, поскольку с ними легче работать. Но в связи с нуждами топологии, алгебры, комбинаторики постепенно накапливается техника работы с операциями большей арности, здесь в качестве примера можно привести теорию операд (клонов полилинейных операций) и алгебр над ними (мультиоператорных алгебр).

Для алгебраических систем естественным образом определяются морфизмы как отображения, сохраняющие операцию. Таким образом определяются категории групп, колец, R-модулей и т. п.

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

Не все алгебраические конструкции описываются алгебраическими системами, в качестве примера таковых можно упомянуть коалгебры, биалгебры, алгебры Хопфа и комодули над ними.

Основные классы алгебраических систем

  • Множество можно считать вырожденной алгебраической системой с пустым набором операций и отношений1).

Группоиды, полугруппы, группы

  • Группоид — множество с одной бинарной операцией tex:\small {\cdot :G\times G\to G}, обычно называемой умножением.
  • Правая квазигруппа — группоид, в котором возможно правое деление, то есть уравнение tex:\small {x\cdot a=b} имеет единственное решение для любых tex:\small {a} и tex:\small {b}.
  • Квазигруппа — одновременно правая и левая квазигруппы.
  • Лупа — квазигруппа с нейтральным элементом tex:\small {e\in G}, таким, что tex:\small {a\cdot e=e\cdot a=a}.
  • Полугруппа — группоид, в котором умножение ассоциативно: tex:\small {a\cdot (b\cdot c)=(a\cdot b)\cdot c}.
  • Моноид — полугруппа с нейтральным элементом.
  • Группа — моноид, в котором для каждого элемента a группы можно определить обратный элемент a−1, такой, что tex:\small {a\cdot a^{{-1}}=a^{{-1}}\cdot a=e}.
  • Абелева группа — группа, в которой операция коммутативна, то есть, tex:\small {a\cdot b=b\cdot a}. Операцию в абелевой группе часто называют сложением ('+').

Кольца

  • Кольцо — структура с двумя бинарными операциями (абелева группа по сложению с заданной второй ассоциативной бинарной операцией — умножением), в которой выполняется закон дистрибутивности: tex:\small {a\cdot (b+c)=a\cdot b+a\cdot c,\quad (a+b)\cdot c=a\cdot c+b\cdot c}.
  • Коммутативное кольцо — кольцо с коммутативным умножением.
  • Целостное кольцо — кольцо, в котором произведение двух ненулевых элементов не равно нулю.
  • Тело — кольцо, в котором ненулевые элементы образуют группу по умножению.
  • Поле — коммутативное кольцо, являющееся телом.
  • Полукольцо — похоже на кольцо, но без обратимости сложения.
  • Почтикольцо — также обобщение кольца, отличающееся от обычного кольца отсутствием требования коммутативности сложения и отсутствием требования дистрибутивности умножения по сложению (левой или правой)

Алгебры

Решётки

Литература

  • П. Кон «Универсальная алгебра», — М.: Мир, 1969, 351 с
  • А. И. Мальцев «Алгебраические системы», — М., Наука, 1970 г., 392 стр. с илл.
  • «Общая алгебра, в 2-х томах (Серия: Справочная математическая библиотека)», В. А. Артамонов и др., под редакцией Л. А. Скорнякова, — М.: Наука, Физматлит, 1990—1991, 592 с + 480 с.
1)
Курош А. Г. Общая алгебра. — М.: Наука, 1974. С.15
алгебраическая-система.txt · Последние изменения: 2017/02/03 10:30 (внешнее изменение)