Sandbox
A semigroup is a structure S = (S,·) such that
· is associative: (x·y)·z = x·(y·z).
Remark: Click on the 'Edit text of this page' link at the bottom, then make any changes you like and preview or save the page.
(This is just a shortened sample of the semigroups page. Feel free to try anything you like here.)
| Classtype | variety |
| Equational theory | decidable |