The residual character of varieties generated by strictly simple term minimal algebras

Abstract.

We prove that if A is a nonabelian strictly simple term minimal algebra, then the variety V(A) is either residually large or has A as its unique subdirectly irreducible member. We then show that it is possible to algorithmically decide the residual character of V(A) if A has finitely many fundamental operations.