An associative product is defined on C(G),for H,K S(G) and g, l G, by. ... Thus, another natural question arises: “Which inversemonoids M embed in C(GM )?” The goal of this article is to give necessary and sufficientconditions for an inverse monoid M