Products of iterative algebras (Q1972203)

It is possible to generate the iterative Post algebra \({\mathcal{P}}_k\) of finite rank \(k\) by a set of functions containing a Slupecki function (i.e., a function in \({\mathcal{P}}_k\) having more than one essential variable and taking \(k\) different values; each function system complete in \({\mathcal {P}}_k\) contains such a function). A set of functions which, together with an arbitrary Slupecki function, generates the algebra \({\mathcal{P}}_k\) is called fundamental. \textit{A.~I.~Mal'tsev} [Algebra Logika 6, No. 3, 61-75 (1967; Zbl 0166.25601)] proved a global structure theorem which, in particular, implies that every \((k-1)\)-transitive subsemigroup of the semigroup \({\mathcal{P}}^{(1)}_k\) is fundamental (\({\mathcal{P}}^{(1)}_k\) is the set of unary functions in \({\mathcal {P}}_k\)). The authors prove an analogue of the theorem for the coordinate products of iterative Post algebras. (As for a universal algebra, the notion of co-ordinate product corresponds to that of non-indexed product of algebras; see the article by \textit{A.~Goetz} [Colloq. Math. 22, 167-176 (1971; Zbl 0236.08003)]).