Differences
This shows you the differences between two versions of the page.
| — |
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*} | ||