Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

monoid [2007/05/05 16:09] (current)
vkuncak created
Line 1: Line 1:
 +====== Monoid ======
 +
 +Monoid is a triple $(G, *,e)$ where ${*} : G^2 \to G$ such that 
 +  * $(G,*)$ is a [[semigroup]] and 
 +  * $e$ is a neutral element for $*$
 +The second condition means that for all $x \in G$,
 +\begin{equation*}
 +  x * e = e * x = x
 +\end{equation*}
  
 
monoid.txt · Last modified: 2007/05/05 16:09 by vkuncak