Published online by Cambridge University Press: 09 April 2009
Let J be a cofinite set of positive integers which contains 1. In (1973) I proved that the following condition on a variety (equational class) is Mal'tsev-definable: if υ ∈and υ is finite, then |υ| ∈J. This article contains some subsidiary results, concerned mainly with a more detailed description of these Mal'tsev conditions. Many of our results arose upon considering a recent article of W. D. Neumann (1978).