Abstrakt
We study a variety of modes (idempotent algebras with mutually commuting term operations), so called differential modes, having a strongly solvable chain 0 {= alpha {= 1 in their congruence lattices. We show an explicit description of subdirectly irreducible algebras in this variety, and use it to compute residual bounds of its subvarieties.
It follows from our results that all subvarieties with a finite residual bound are finitely based.