The identities of the free product of two trivial semigroups

The identities of the free product of two trivial semigroups
Shneerson, L.; Volkov, M.
2016-07-25 00:00:00
We exhibit an example of a finitely presented semigroup S with a minimum number of relations such that the identities of S have a finite basis while the monoid obtained by adjoining 1 to S admits no finite basis for its identities. Our example is the free product of two trivial semigroups.
http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.pngSemigroup ForumSpringer Journalshttp://www.deepdyve.com/lp/springer-journals/the-identities-of-the-free-product-of-two-trivial-semigroups-Z0TFi0ODXE

Abstract

We exhibit an example of a finitely presented semigroup S with a minimum number of relations such that the identities of S have a finite basis while the monoid obtained by adjoining 1 to S admits no finite basis for its identities. Our example is the free product of two trivial semigroups.

Journal

Semigroup Forum
– Springer Journals

Published: Jul 25, 2016

Recommended Articles

Loading...

References

The finite basis problem for Kauffman monoids

Auinger, K; Chen, Yuzhu; Hu, Xun; Luo, Yanfeng; Volkov, MV

Notion de demi-bande: demi-bandes de type deux

Benzaken, C; Mayr, HC

Automaton semigroups

Cain, AJ

On subsemigroups and ideals in free products of semigroups

Campbell, CM; Robertson, EF; Ruškuc, N; Thomas, RM

Bases for equational theories of semigroups

Perkins, P

On the axiomatic rank of varieties generated by a semigroup or monoid with one defining relation