ABSTRACT

As was the case for direct products, it turns out that this property of the kernels of the projection mappings can be used to characterize subdirect products, in the sense that any set of congruences on an algebra with these properties can be used to express the algebra as a subdirect product.