Sandbox

Difference (from revision 1 to current revision) (minor diff, author diff)
(The revisions are identical or unavailable.)

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

Size 1: 1
[Size 2]?:
[Size 3]?: