Locally solvable factors of varieties

Abstract

We give necessary and sufficient local conditions, which are easy to check, for a locally finite variety V \mathcal {V} to decompose as the product of a locally solvable subvariety U \mathcal {U} and a subvariety W \mathcal {W} which has type set disjoint from the type set of U \mathcal {U} .