On Mal’cev’s Multiplication of Antivarieties of Algebraic Systems
In this paper it is proved that subantivarieties of an antivariety K form a semigroup with respect to Mal’cev’s multiplication whenever K is an antivariety of algebraic systems whose signature Ω contains only finite number of function symbols.We show that the condition of finiteness of the set of function symbols from Ω is significant. Semigroups of subantivarieties of antivarieties of algebras are characterized.
Keywords and phrasesAntivariety algebraic system Mal’cev’s multiplication
Unable to display preview. Download preview PDF.