No label defined (Q4029596)

[For the entire collection see Zbl 0745.00057.] Let \({\mathbf L}\) and \({\mathbf K}\) be two varieties which are equivalent as categories by functors \(G: {\mathbf K}\to {\mathbf L}\) and \(H: {\mathbf L}\to {\mathbf K}\). Then many properties of \({\mathbf K}\) transfer to \({\mathbf L}\). For instance, subdirect products and homomorphic images are preserved under category equivalence. Denote by \(\mathbf{2}\) the two-element Boolean algebra. \(V(\mathbf{2})\) is the variety of Boolean algebras and every Boolean algebra is isomorphic to a subdirect power of \(\mathbf{2}: V(\text\textbf{2})=IP_ s\text\textbf{2}\). If a variety \({\mathbf K}\) is category-equivalent to \(V(\mathbf{2})\), then \({\mathbf K}\) is generated by a primal algebra [\textit{T.-K. Hu}, Math. Z. 110, 180-198 (1969; Zbl 0177.026)]. In order to generalize this equivalence, varieties were determined which are equivalent to varieties generated by two-element preprimal algebras [the author, Acta Sci. Math. 52, No. 1/2, 69-79 (1988; Zbl 0657.08005)]. These varieties are generated by preprimal algebras. A finite algebra \({\mathfrak A}=(A;F)\) is said to be preprimal if the clone generated by \(F\) is covered by the clone \({\mathfrak F}(A)\) of all functions defined on the set \(A\). In this paper we consider a category equivalence between varieties generated by algebras with carriers \(A\) and \(A^ r\) \((r>1)\). If \(A\) is finite, the preprimality of the generating algebras is preserved under this equivalence, i.e., \(\mathfrak A\) is preprimal if and only if \({\mathfrak A}^ r\) is preprimal.