Abstract
We establish a connection between skew Boolean algebras and Church algebras. We prove that the set of all semicentral elements in a right Church algebra forms a right-handed skew Boolean algebra for the properly defined operations. The main result of this paper states that the variety of all semicentral right Church algebras of type \({\tau}\) is term equivalent to the variety of right-handed skew Boolean algebras with additional regular operations. As a corollary to this result, we show that a pointed variety is a discriminator variety if and only if it is a 0-regular variety of right-handed skew Boolean algebras.
Similar content being viewed by others
References
Bauer A., Cvetko-Vah K.: Stone duality for skew Boolean algebras with intersections. Houston J. Math. 39, 73–109 (2013)
Bigelow D., Burris S.N.: Boolean algebras of factor congruences. Acta Sci. Math. (Szeged) 54, 11–20 (1990)
Bignall R.J., Leech J.: Skew Boolean algebras and discriminator varieties. Algebra Universalis 33, 387–398 (1995)
Burris S.N., Sankappanavar H.P.: A Course in Universal Algebra. Springer, Berlin (1981)
Cvetko-Vah K.: Internal decompositions of skew lattices. Comm. Algebra 35, 243–247 (2007)
Cvetko-Vah K., Leech J.: Rings whose idempotents form a multiplicative set. Comm. Algebra, 40, 3288–3307 (2012)
Cvetko-Vah K., Leech J., Spinks M.: Skew lattices and binary operations on functions. J. Appl. Log. 11, 253–265 (2013)
Fichtner K.: Fine Bermerkung über Mannigfaltigkeiten universeller Algebren mit Idealen. Monatsb. Deutsch. Akad. Wiss. Berlin 12, 21–25 (1970)
Kudryavtseva G: A refinement of Stone duality to skew Boolean algebras. Algebra Universalis 67, 397–416 (2012)
Ledda A., Paoli F., Salibra A.: On Semi-Boolean-like algebras. Acta Univ. Palack. Olomuc. Fac. Rerum Natur. Math. 52, 101–120 (2013)
Leech J.: Skew lattices in rings. Algebra Universalis 26, 48–72 (1989)
Leech J.: Skew Boolean algebras. Algebra Universalis 27, 497–506 (1990)
Leech J.: Recent developments in the theory of skew lattices. Semigroup Forum 52, 7–24 (1996)
Manzonetto, G., Salibra, A.: From \({\lambda}\)-calculus to universal algebra and back. In: Proceedings of the 33nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2008). Lecture Notes in Comput. Sci., vol. 5162, pp. 479–490. Springer, Berlin (2008)
McKenzie R.N., McNulty G.F., Taylor W.F.: Algebras, Lattices, Varieties, Volume I. Wadsworth Brooks, Monterey, California (1987)
Salibra A., Ledda A., Paoli F., Kowalski T.: Boolean-like algebras. Algebra Universalis 69, 113–138 (2013)
Spinks, M.: On the Theory of Pre-BCK Algebras. PhD Thesis, Monash University (2003)
Vaggione D.: Varieties in which the Pierce stalks are directly indecomposable. J. Algebra 184, 424–434 (1996)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by J. Raftery.
Rights and permissions
About this article
Cite this article
Cvetko-Vah, K., Salibra, A. The connection of skew Boolean algebras and discriminator varieties to Church algebras. Algebra Univers. 73, 369–390 (2015). https://doi.org/10.1007/s00012-015-0320-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-015-0320-9