Varieties of two-dimensional cylindric algebras. I: Diagonal-free case. (Q1771933)

A \(Df_1\)-algebra is a pair \((B,\exists )\) where \(B\) is a Boolean algebra and \(\exists \) is a unary operator on \(B\) satisfying \(a\leq \exists a, \;\exists 0 = 0\) and \(\exists (\exists a\wedge b) = \exists a \wedge \exists b\) (also known under the name of Halmos monadic algebra). An algebra \((B, \exists _1, \exists _2)\) is called a two-dimensional free cylindric algebra (briefly \(Df_2\)-algebra) if \((B,\exists _1)\), \((B,\exists _2)\) are \(Df_1\)-algebras and \(\exists _1 \exists _2 a = \exists _2 \exists _1 a\) for each \(a\in B\). The author studies the lattice \(\Lambda (Df_2)\) of all subvarieties of the variety \(Df_2\) of \(Df_2\)-algebras. Main results: A \(Df_2\)-algebra is finitely representable iff it is finitely approximable and there are no nontrivial injectives and absolute retracts in \(Df_2\). Every proper subvariety of \(Df_2\) is locally finite and hence \(Df_2\) is hereditary finitely approximable. Finite projective \(Df_2\)-algebras and all 6 critical varieties in \(\Lambda (Df_2)\) are described. Finally, all square representable and rectangularly representable subvarietes of \(Df_2\) are described.