Mal'tsev conditions and representability of varieties (Q1064334)

It is known (Taylor's theorem) that if the variety U is representable (in Jónsson's sense) in a variety V, then \({\mathcal I}_ s(U)\subseteq {\mathcal I}_ s(V)\), where \({\mathcal I}_ s(U)\) is the set of Mal'tsev conditions which hold in U. The converse is true for a finitely based variety U. The author proves that the inclusion \({\mathcal I}_ s(U)\subseteq {\mathcal I}_ s(V)\) does not imply that U is representable in V. The author gives a characterization of classes of varieties which can be obtained as unions of intersections of strong Mal'tsev classes. The problem of representability of varieties in Post varieties of infinite order is also studied.