Изменения

Моноид

7 байт добавлено, 21:10, 10 ноября 2013

обычно пара все-таки

{{Определение

|definition=

~~Тройка~~ Пара <tex>\langle G,\cdot~~, \varepsilon~~ \rangle</tex> называется [[моноид|моноидом]], если она удовлетворяет следующим аксиомам:

* Операция <tex> \cdot \colon G \times G \rightarrow G </tex> ''ассоциативна''.

* Существует нейтральный элемент <tex> \varepsilon \in G </tex> относительно бинарной операции такой, что

: <tex> \forall x\in G : \varepsilon\cdot x=x \cdot \varepsilon = x</tex>. Иногда его обозначают <tex> \varepsilon_G </tex>, или <tex>e_G </tex>.

}}

1679

правок