Моноид

Моноид — полугруппа с нейтральным элементом.

Таким образом, моноидом называется множество $M$, на котором задана бинарная ассоциативная операция, обычно именуемая умножением, и в котором существует такой элемент $e$, что $ex=x=xe$ для любого $x\in M$. Элемент $e$ называется единицей и часто обозначается $1$. В любом моноиде имеется ровно одна единица.

Примеры

• Множество всех отображений произвольного множества $S$ в себя является моноидом относительно операции последовательного выполнения (композиции) отображений. Единицей служит тождественное отображение.
• Множество эндоморфизмов любой универсальной алгебры $A$ является моноидом относительно операции суперпозиции, единица — тождественный эндоморфизм.
• Всякая группа является моноидом.

Свойства

• Всякую полугруппу $P$ без единицы можно вложить в моноид.
• Всякий моноид можно представить как моноид всех эндоморфизмов некоторой универсальной алгебры.
• Произвольный моноид можно рассматривать также как категорию с одним объектом.
• Для любого элемента моноида можно определить нулевую степень как $a^0=e, \forall a$.

См. также

• Алгебраическая система
• Моноидальная категория