Congruence lattices forcing nilpotency

Abstract

Given a lattice [Formula: see text] and a class [Formula: see text] of algebraic structures, we say that [Formula: see text] forces nilpotency in [Formula: see text] if every algebra [Formula: see text] whose congruence lattice [Formula: see text] is isomorphic to [Formula: see text] is nilpotent. We describe congruence lattices that force nilpotency, supernilpotency or solvability for some classes of algebras. For this purpose, we investigate which commutator operations can exist on a given congruence lattice.