A complete description of the lattice of all antivarieties of unars is given. It is stated that there exist continuum many antivarieties of unars not having an independent basis of anti-identities and a necessary and sufficient condition is specified under which a finite unar has an independent or finite basis of anti-identities. In addition, it is proved that the lattice of all antivarieties of unars is isomorphic to a lattice of \( {{\mathcal A}_{1,1}} \)-antivarieties, where \( {{\mathcal A}_{1,1}} \) is a variety of unary algebras of a signature < f, g > defined by identities f(g(x)) = g(f(x)) = x.
Similar content being viewed by others
References
A. I. Mal’tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
V. A. Gorbunov, Algebraic Theory of Quasivarieties, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1999).
G. Birkhoff, “Universal algebra,” in Proc. First Can. Math. Congress, University of Toronto Press, Toronto (1946), pp. 310–326.
P. Kon, Universal Algebra [Russian translation], Mir, Moscow (1968).
G. Grätzer, Universal Algebra, 2nd edn., Springer, Berlin (1979).
V. A. Gorbunov and A. V. Kravchenko, “Universal Horn classes and antivarieties of algebraic systems,” Algebra Logika, 39, No. 1, 3–22 (2000).
A. V. Kravchenko, “Lattices of relative colour-families and antivarieties,” Discuss. Math., Gen. Algebra Appl., 27, No. 1, 123—139 (2007).
V. K. Kartashov, “Quasivarieties of unars,” Mat. Zametki, 27, No. 1, 7–20 (1980).
A. V. Kartashova, “Antivarieties of unars,” Proc. Int. Conf. “Mal’tsev Readings” (2009), p. 156.
A. V. Kartashova, “Structure of the lattice of antivarieties of unars,” Proc. Int. Conf. “Algebra and Its Applications,” Krasnoyarsk (2002), p. 61.
A. A. Akataev and D. M. Smirnov, “Subvariety lattices of varieties of algebras,” Algebra Logika, 7, No. 1, 5–25 (1968).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Algebra i Logika, Vol. 50, No. 4, pp. 521–532, July-August, 2011.
Rights and permissions
About this article
Cite this article
Kartashova, A.V. Antivarieties of unars. Algebra Logic 50, 357–364 (2011). https://doi.org/10.1007/s10469-011-9147-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-011-9147-4