Residual smallness relativized to congruence types. I (Q5946833)

Let \(\text{resb}^* ({\mathbf A}\)) be the least cardinal which exceeds the cardinal of each subdirectly irreducible algebra with non-Abelian monolith from the variety \(V({\mathbf A})\) generated by \({\mathbf A}\). The author proves that if \({\mathbf A}\) is a finite algebra then the following conditions are equivalent: (1) \(\text{resb}^* ({\mathbf A})< \infty\); (2) \(\text{resb}^*({\mathbf A}) <(2^\omega)\); (3) every subdirectly irreducible algebra from \(V({\mathbf A})\) with non-Abelian monolith can be embedded into an algebra from \(V({\mathbf A})\) which is \(|{\mathbf A} |\)-semilattice-decomposable; (4) every subdirectly irreducible algebra from \(V({\mathbf A})\) with non-Abelian monolith can be embedded into a finite algebra from \(V({\mathbf A})\) which is \(|{\mathbf A}|\)-semilattice-decomposable. From this (and yet another) characterization it follows that the property of not having such a bound is a recursively enumerable property of finite algebras of finite type.