On Cantor identities (Q1935020): Difference between revisions

An algebra \(\mathcal{A}\) is \textit{term infinite} if the set of all essentially \(k\)-ary term operations (operations depending on all of their variables) of \(\mathcal{A}\) is infinite for every \(k>1\). In this paper some generalization of Jónsson-Tarski algebras are considered. All algebras here have one \(n\)-ary operation \(g\) and \(n\) unary operations \(f_i\). It is shown that the following nontrivial algebras are term infinite: 1. algebras that satisfy the identities \(f_i(g(x_1,\dots ,x_n))=x_i\) for each \(i=1,\dots ,n\); 2. algebras which, in addition to the previous identities, satisfy also the following one: \(g(f_1(x),\dots ,f_n(x))=x\); 3. idempotent reducts of the latter.