It is well known [1]} that the wreath product operation is
associative on transformation monoids.
The celebrated Krohn-Rhodes theorem [2]} (see
[3]}, [4]} for different proofs), in its division
and its simulation formulations, is as follows.
