The semi-direct product of arbitrary two monoids and a presentation for this product have received considerable attention, see for instance [12], [14] and [15]. In [15], Wang defined a trivialiser set of the Squier complex associated with this presentation. In this paper, as a main result, we discuss necessary and sufficient conditions for the standard presentation of the semi-direct product of...