ON SEMIGROUP PRESENTATIONS


Creative Commons License

ROBERTSON E., UNLU Y.

PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, cilt.36, ss.55-68, 1993 (SCI-Expanded) identifier identifier

Özet

Semigroup presentations have been studied over a long period, usually as a means of providing examples of semigroups. In 1967 B. H. Neumann introduced an enumeration method for finitely presented semigroups analogous to the Todd-Coxeter coset enumeration process for groups. A proof of Neumann's enumeration method was given by Jura in 1978.