Modularity prevents tails

Abstract

We establish a direct correspondence between two congruence poroperties for finite algebras. The first property is that minimal sets of type i omit tails. The second property is that congruence lattices omit pentagons of type i.