Products of iterative algebras (Q1972203)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Products of iterative algebras |
scientific article |
Statements
Products of iterative algebras (English)
0 references
16 April 2000
0 references
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)]).
0 references
iterative Post algebra
0 references
Slupecki function
0 references
fundamental set of functions
0 references
co-ordinate product of iterative Post algebras
0 references