Equations on the semidirect product of a finite semilattice by a finite commutative monoid

LetCom _t,q denote the variety of finite monoids that satisfy the equationsxy=yx andx ^t =x ^t+q . The varietyCom _1,1 is the variety of finite semilattices also denoted byJ ₁. In this paper, we consider the product varietyJ ₁*Com _t,q generated by all semidirect products of the formM*N withM∈J ₁ andN∈Com _t,q . We give a complete sequence of equations forJ ₁*Com _t,q implying complete sequences of equations forJ ₁*(Com∩A),J ₁*(Com∩G) andJ ₁*Com, whereCom denotes the variety of finite commutative monoids,A the variety of finite aperiodic monoids andG the variety of finite groups. This material is based upon work supported by the National Science Foundation under Grants No. CCR-9101800 and CCR-9300738. Many thanks to the referee for his valuable comments and suggestions.