k-Fold Systems of Projections and Congruence Modularity

Abstract

Bergman showed that systems of projections of algebras in a variety will satisfy a certain property if the variety has a near-unanimity term. The converse of this theorem was left open. This paper investigates this open question, and shows that in a locally finite variety, Bergman's Condition implies congruence modularity.