A characterization of triple semigroup of ternary functions and DeMorgan triple semigroup of ternary functions (Q648465): Difference between revisions

A triple semigroup is an algebra \((D,+, \ast,\cdot,)\) with three binary associative operations. Let \(T_{\Omega}\) denote the set of all ternary functions on the set \(\Omega\). If \((A+B)(x,y,z)=A(x,y,B(x,y,z))\), \( (A\ast B)(x,y,z)=A(x,B(x,y,z),z)\), \((A\cdot B)(x,y,z)=A(B(x,y,z),y,z)\) for all \(A,B\in T_{\Omega}\) then \((T_{\Omega},+,\ast,\cdot)\) is a triple semigroup. Theorem 2.1 gives necessary and sufficient conditions for a triple semigroup to be isomorphic to some triple semigroup of ternary functions. It is also proven that the algebra \((T_{\Omega},+,\ast,\cdot)\) has no nontrivial congruences (Theorem 2.5). Further, the authors define De Morgan triple semigroups and give an abstract characterization of such algebras formed by ternary functions (Theorem 3.3).