Abstract :
Let image be a finitely decidable variety and A set membership, variant image a finite subdirectly irreducible algebra with a type 2 monolith μ. We prove that (1) the solvable radical ν of A is the centralizer of μ (2) ν is abelian, i.e., every solvable congruence of A is abelian; (3) the interval sublattice I[ν, 1A] subset of or equal to Con A is linear, and typ{ν, aA} set membership, variant {3}.
