A Birkhoff theorem for partial algebras via completion (Q2563763)

It is well known that each partial algebra determines in a natural manner a total algebra via one-point completion of the carrier set. The presented paper deals with the extension of this idea to functorial algebras. Using the completion mapping \((*)\) and some designations introduced in his paper ``Monoidal structure of Mal'tsev clones, their theories and completions'' [Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 93, 57-69 (1987; Zbl 0641.08005)], the author proves the following results: The enriched dt-symmetric theory \((\text{Set} (K^*)\), \(\beta @>\subseteq>> \text{Set} ( K^*))\) with respect to the dht-symmetric theory \(\text{Par}(K^\circ_J)\) belongs to the variety \(|\text{Th}^\beta |\) of dt-symmetric theories which fulfil certain important identities. To each functorial partial algebra \(F: \text{M} \to\text{Par}\) from any Mal'tsev theory M into the category of partial functions there is in a natural manner exactly one functorial total algebra \(F^\beta: \text{M}^\beta\to \text{Set}\) from the corresponding dt-symmetric theory into the category of total functions such that certain properties are right. If M is a Mal'tsev theory such that its distinguished object \(I\) is a generator and there are exactly two morphisms from \(I\) into \(I\) in M, then the mapping \(\mu |^*_{\text{M}}: \text{M}^*\to \text{M}^\beta\) is injective. The main result is: Let \(V\) be a non-void class of M-algebras (monoidal dht-symmetric functors from a Mal'tsev theory M into Par) and let \(\langle V^\beta \rangle\) denote the variety of \(\text{M}^\beta\)-algebras arising from \(F\in V\). Then \((H_cS_cPV)^\beta = \langle V^\beta \rangle \cap|\text{Alg} p M |^\beta\) \((P,S_c\), and \(H_c\) designate the operators to form all cartesian products, all closed subalgebras, and all closed homomorphic images, respectively, and \(|\text{Alg} M |\) is the class of all M-algebras), and the following conditions are pairwise equivalent: \[ H_c S_cPV=V, \] \[ F\in V \Leftrightarrow \text{Id} V^\beta \subseteq \text{Id} F^\beta, \] \[ V= \text{Mod Eq} U \text{ for a certain } U\subseteq |\text{Alg} pM |. \]