Order Varieties and Monotone Retractions of Finite Posets

In this paper we introduce a new version of the concept of order varieties. Namely, in addition to closure under retracts and products we require that the class of posets should be closed under taking idempotent subalgebras. As an application we prove that the variety generated by an order-primal algebra on a finite connected poset P is congruence modular if and only if every idempotent subalgebra of P is connected. We give a polynomial time algorithm to decide whether or not a variety generated by an order-primal algebra admits a near unanimity function and so we answer a problem of Larose and Zádori.