Mal'tsev products of varieties. II. (Q2671949)

In the previous paper [Algebra Univers. 82, No. 2, Paper No. 33, 19 p. (2021; Zbl 1497.08004)], it was shown that the Mal'tsev product of two varieties of the same finitary type is not closed under homomorphic images, as a result, it is not a variety. In this article, the authors continue to determine the conditions for which such product is a variety. A term idempotent variety \(V\) which is a variety in which every satisfied identity is term idempotent is introduced and its properties are examined. A characterization of term idempotent varieties in terms of replica congruences is given. The concept of term idempotents is essential to state and prove the main result, i.e., Theorem 4.1. The authors also provide many potential results of the main theorem. Finally, a subclass of term idempotent varieties is studied.