Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

semigroup [2007/05/05 16:10] (current)
vkuncak created
Line 1: Line 1:
 +====== 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