Rees matrix semigroups and the regular semidirect product

摘要

A generalization of the Pastijn product is introduced so that, on the level of e-varieties and pseudoe-varieties, this product and the regular semidirect product by completely simple semigroups 'almost always' coincide. This is applied to give a model of the bifree objects in every e-variety formed as a regular semidirect product of a variety of inverse semigroups by a variety of completely simple semigroups that is not a group variety.