Lab for Automated Reasoning and Analysis LARA

Semigroup

Semigroup is a pair $(G,*)$ where $* : G^2 \to G$ such that $*$ is associative, that is, for all $x,y, z \in G$,

\begin{equation*}
  x * (y * z) = (x * y) * z
\end{equation*}

 
semigroup.txt · Last modified: 2007/05/05 16:10 by vkuncak
 
© EPFL 2018 - Legal notice