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

An algebra is called strictly simple if it is finite, simple and has no nontrivial subalgebras. These algebras are important since every locally finite minimal variety contains a uniquely determined strictly simple algebra. In the paper the residual character of locally finite minimal varieties is investigated. It is shown that if \textbf{A} is a nonabelian strictly simple term minimal algebra, then the variety \texttt{V}(\textbf{A}) is either residually large or has \textbf{A} as its unique irreducible member, and it is possible to algorithmically decide the residual character of \texttt{V}(\textbf{A}) if \textbf{A} has finitely many fundamental operations.