The Next Colloquium
Thursday, 9th of February 2012, 4pm, Theatre C
Victor Maltcev
(Ukraine)
Congruence-free finitely presented monoids
In the talk we will prove a folklore result that every countable semigroup embeds in a finitely generated congruence-free monoid. Leading to understanding the Boone-Higman conjecture -- whether every finitely presented monoid with soluble word problem embeds in a finitely presented congruence-free monoid, we will provide several examples of f.p. cong-free monoids, and prove that at least every finite monoid does embed in the needed way. We will also give a countable series of bisimple H-trivial cong-free f.p. monoids. Any questions and suggestions will be very welcome.