Abstract
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.
Similar content being viewed by others
References
A. I. Mal’cev, Algebraic Systems (Nauka, Moscow, 1970) [in Russian].
V. A. Gorbunov, Algebraic Theory of Quasivarieties (Consultants Bureau, New York, 1998).
V. A. Gorbunov and A. V. Kravchenko, “Universal Horn classes and antivarieties of algebraic systems,” Algebra Logic 39, 1–11 (2000).
A. I. Mal’cev, “Multiplication of classes of algebraic systems,” Sib. Math. J. 8, 254–267 (1967).
H. Neumann, Varieties of Groups (Springer, Berlin, New York, 1967).
A. A. Urman, “Groupoids of varieties of certain algebras,” Algebra Logic 8, 138–144 (1969).
T. A. Martynova, “The groupoid of 0-reduced varieties of semigroups,” Semigroup Forum 26, 249–274 (1983).
P. Kohler, “The semigroup of varieties of Brouwerian semilattices,” Trans. Am. Math. Soc. 241, 331–342 (1978).
V. K. Kartashov, “On groupoids of quasivarieties of unary algebras,” in Universal Algebra and its Applications (Volgograd Gos. Ped. Univ., Volgograd, 1999) [in Russian].
Author information
Authors and Affiliations
Corresponding author
Additional information
(Submitted by A. V. Kartashova)
Rights and permissions
About this article
Cite this article
Kartashova, A.V. On Mal’cev’s Multiplication of Antivarieties of Algebraic Systems. Lobachevskii J Math 39, 89–92 (2018). https://doi.org/10.1134/S1995080218010158
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1995080218010158