МОНОИД

- термин, используемый для сокращения словосочетания "полугруппа с единицей". Таким образом, моноидом наз. множество М, на к-ром задана бинарная ассоциативная операция, обычно именуемая умножением, и в к-ром существует такой элемент е, что для любого . Элемент еназ. единицей и часто обозначается 1. В любом М. имеется ровно одна единица. Если заданная в М. операция коммутативна, то ее часто наз. сложением, а единицу - нулем М. и обозначают 0.

Примеры М. 1) Множество всех отображений произвольного множества Sв себя является М. относительно операции последовательного выполнения (суперпозиции) отображений. Единицей служит тождественное отображение. 2) Множество эндоморфизмов любой универсальной алгебры Аявляется М. относительно операции суперпозиции, единица - тождественный эндоморфизм. 3) Всякая группа является М.

Всякую полугруппу Рбез единицы можно вложить в М. Для этого достаточно выбрать символ 1, не принадлежащий Р, и на множестве задать умножение следующим образом: 1*1 = 1, 1*x=х=x*1 для любого , на элементах из Роперация остается прежней. Всякий М. можно представить как М. всех эндоморфизмов нек-рой универсальной алгебры.

Произвольный М. можно рассматривать также как категорию с одним объектом. Это позволяет сопоставить моноид Мдуальный (двойственный) моноиду Элементы обоих М. совпадают, а произведение хи ув полагается равным произведению ух в М.

Развитие теории М. и сопряженных функторов выявило полезность определения М. в т. н. моноидальных категориях. Пусть в категории задан бифунктор выделен объект Zи фиксированы естественные изоморфизмы

удовлетворяющие условиям когерентности. Объект Мназ. М. категории , если существуют такие мор-физмы и , что следующие диаграммы коммутативны:

Если в качестве взять категорию множеств, в качестве - декартово произведение, в качестве Z- любое одноточечное множество, а изоморфизмы и выбрать естественным образом , то второе определение М.

оказывается равносильным исходному определению. Лит.:[1] Клиффорд А., Престон Г., Алгебраическая теория полугрупп, пер. с англ., т. 1-2, М., 1972; [2] Мас Lane S., Categories for the working mathematician, N. Y. [a. o.], 1971.

M. Ш. Цаленко.