is a quasi-variety
In this paper we introduce the tensor product of partial algebras w.r.t. a quasi-primitive class of partial algebras, and we prove some of its main properties. This construction generalizes the well-known tensor product of total algebras w.r.t. varieties.
We investigate the factor of the groupoid of terms through the largest congruence with a given set among its blocks. The set is supposed to be closed for overterms.
For a positive integer , the usual definitions of -quasigroups are rather complicated: either by combinatorial conditions that effectively amount to Latin -cubes, or by identities on different -ary operations. In this paper, a more symmetrical approach to the specification of -quasigroups is considered. In particular, ternary quasigroups arise from actions of the modular group.
In this paper the notion of a ternary semigroup of morphisms of objects in a category is introduced. The connection between an isomorphism of categories and an isomorphism of ternary semigroups of morphisms of suitable objects in these categories is considered. Finally, the results obtained for general categories are applied to the categories and which were studied in [5].
The term “Retract Theorem” has been applied in literature in connection with group theory. In the present paper we prove that the Retract Theorem is valid (i) for each finite structure, and (ii) for each monounary algebra. On the other hand, we show that this theorem fails to be valid, in general, for algebras of the form , where each is unary and .
Modes are idempotent and entropic algebras. While the mode structure of sets of submodes has received considerable attention in the past, this paper is devoted to the study of mode structure on sets of mode homomorphisms. Connections between the two constructions are established. A detailed analysis is given for the algebra of homomorphisms from submodes of one mode to submodes of another. In particular, it is shown that such algebras can be decomposed as Płonka sums of more elementary homomorphism...