A property of the solvable radical in finitely decidable varieties
Paweł M. Idziak, MATTHEW A. VALERIOTE · Fundamenta Mathematicae · 2001
It is shown that in a finitely decidable equational class, the solvable radical of any finite subdirectly irreducible member is comparable to all congruences of the irreducible if the type of the monolith is ${\bf 2} $. In the type ${\bf 1} $ case we