наверх
«Дайте мне точку опоры, и я переверну Землю»
- Архимед
Определение Моноид

Непустое множество M с заданной на нём бинарной операцией * – \((M, *)\) называется моноидом , если выполнены следующие аксиомы:

  1. ассоциативность: \(\forall (a, b, c\in M): (a*b)*c = a*(b*c)\)
  2. наличие нейтрального элемента: \(\exists e \in M \quad \forall a \in M:(e*a=a*e=a)\)