This shows you the differences between two versions of the page.
semigroup [2007/05/05 16:10] (current)
|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$,|
|+||x * (y * z) = (x * y) * z|