Читайте также:
|
|
Алгебраическая система или алгебраическая структура — множество G (носитель) с заданным на нём набором операций и отношений (сигнатура), удовлетворяющим некоторой системе аксиом. Понятие алгебраической системы родственно понятию универсальной алгебры.
n -арная операция на G — это отображение прямого произведения n экземпляров множества в само множество . По определению, 0 -арная операция — это просто выделенный элемент множества. Чаще всего рассматриваются унарные и бинарные операции, поскольку с ними легче работать. Но в связи с нуждами топологии, алгебры, комбинаторики постепенно накапливается техника работы с операциями большей арности, здесь в качестве примера можно привести теорию операд (клонов полилинейных операций) и алгебр над ними (мультиоператорных алгебр).
Для алгебраических систем естественным образом определяются морфизмы как отображения, сохраняющие операцию. Таким образом определяются категории 0%93%D1%80%D1%83%D0%BF%D0%BF%D0%B0_(%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0)"групп, колец, R -0%9C%D0%BE%D0%B4%D1%83%D0%BB%D1%8C_%D0%BD%D0%B0%D0%B4_%D0%BA%D0%BE%D0%BB%D1%8C%D1%86%D0%BE%D0%BC"модулей и т. п.
Если множество обладает структурой 0%A2%D0%BE%D0%BF%D0%BE%D0%BB%D0%BE%D0%B3%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%BE%D0%B5_%D0%BF%D1%80%D0%BE%D1%81%D1%82%D1%80%D0%B0%D0%BD%D1%81%D1%82%D0%B2%D0%BE"топологического пространства, и операции являются непрерывными, то его называют топологической алгебраической системой. Так, в топологической группе операции умножения и взятия обратного элемента являются непрерывными.
Не все алгебраические конструкции описываются алгебраическими системами, в качестве примера иных можно упомянуть 0%9A%D0%BE%D0%B0%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0"коалгебры, биалгебры, 0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0_%D0%A5%D0%BE%D0%BF%D1%84%D0%B0"алгебры Хопфа и комодули над ними.
Список алгебраических систем
Множество можно считать вырожденной алгебраической системой с пустым набором операций и отношений (0%90%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D1%8B"[1] — С.15).
Дата добавления: 2015-09-06; просмотров: 138 | Нарушение авторских прав
<== предыдущая страница | | | следующая страница ==> |
Доказать теорему о максимальности потока. | | | Группоиды, полугруппы, группы |