All countable monoids embed into the monoid of the infinite random graph

Abstract

We prove that the full transformation monoid on a countably infinite set is isomorphic to a submonoid of End ( R ) , the endomorphism monoid of the infinite random graph R . Consequently, End ( R ) embeds each countable monoid, satisfies no nontrivial monoid identity, and has an undecidable universal theory.