Магма (группоид) в общей алгебре — алгебра, состоящая из множества М с одной бинарной операцией M × M → M. Помимо требования замкнутости множества относительно заданной на нём операции, других требований к операции и множеству не предъявляется.
Термин «магма» был предложен Бурбаки. Термин «группоид» старше, он предложен Ойстином Оре, однако этот термин также относится к другой общеалгебраической структуре — теоретико-категорному группоиду, и в более современной литературе чаще используется в этом смысле.
Как таковые магмы обычно не изучаются; вместо этого изучаются различные типы магм, отличающиеся дополнительно вводимыми аксиомами. Обычно изучаемые типы магм включают следующие:
Морфизм магм — это функция , соотносящая магме магму , которая сохраняет бинарную операцию:
где и обозначают бинарные операции на и на соответственно.
Для общего, неассоциативного случая, операция магмы может быть многократно повторена. Для обозначения порядка используются скобки. Результирующая строка состоит из символов, обозначающих элементы магмы и сбалансированных скобок. Множество всех возможных строк сбалансированных скобок называется языком Дика. Общее число различных способов записи n применений оператора магмы определяется числом Каталана . Так например, , что эквивалентно утверждению, что и — единственно возможные способы определения порядка применения двух операций магмы, включающей множество из трёх элементов.
Для упрощения записи и сокращения числа используемых скобок используется условное обозначение. Для того, чтобы обозначить более высокий приоритет у выполнения операции используют запись рядом. Например, если операция магмы «·», то xy·z — сокращённая запись (x · y) · z. Дальнейшие сокращения возможны за счёт использования пробелов. Например, записывая xy·z · wv вместо ((x · y) · z) · (w · v). Разумеется, для более сложных выражений отказ от использования скобок нежизнеспособен. Способом избежать использования скобок является префиксная запись, которая, однако, неинтуитивна.
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .