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)]).
- The maximal cardinality of the base in \(P_2\times P_2 \)
- scientific article; zbMATH DE number 3970748 (Why is no real title available?)
- scientific article; zbMATH DE number 1286039 (Why is no real title available?)
- scientific article; zbMATH DE number 497532 (Why is no real title available?)
- scientific article; zbMATH DE number 1526143 (Why is no real title available?)
- scientific article; zbMATH DE number 871424 (Why is no real title available?)
This page was built for publication: Products of iterative algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1972203)
