A geometric consequence of residual smallness

AbstractWe describe a new way to construct large subdirectly irreducibles within an equational class of algebras. We use this construction to show that there are forbidden geometries of multitraces for finite algebras in residually small equational classes. The construction is first applied to show that minimal equational classes generated by simple algebras of types 2, 3 or 4 are residually small if and only if they are congruence modular. As a second application of the construction we characterize residually small locally finite abelian equational classes