Abstract
In this work, we initiate an investigation of the class \({\mathcal {B}}_{T_km}\) of monadic Boolean algebras endowed with a monadic automorphism of period k. These algebras constitute a generalization of monadic symmetric Boolean algebras. We determine the congruences on these algebras and we characterize the subdirectly irreducible algebras. This last result allows us to prove that \({\mathcal {B}}_{T_km}\) is a discriminator variety and as a consequence, the principal congruences are characterized. Finally, we explore, in the finite case, the relationship between this class and the class \({\mathbf{Df}}_{\mathbf{2}}\) of diagonal-free two-dimensional cylindric algebras.
Similar content being viewed by others
References
Figallo AV (1985) Álgebras de Boole \(k-\)periódicas, Cuadernos del Instituto de Matemática. Facultad de Ciencias Exactas, Físicas y Naturales. Universidad Nacional de San Juan
Fried E, Pixley A (1979) The dual discriminator function in universal algebra. Acta Sci Math 41:83–100
Halmos P (1955) Algebraic Logic I. Monadic Boolean algebras. Compos Math 12:217–249
Halmos P (1962) Algebraic logic. Chelsea, New York
Halmos P (1963) Lectures on Boolean algebras. Van Nostrand, Princeton
Henkin L, Monk D, Tarski A (1971) Cylindric algebras, Part I. North-Holland, Amsterdam
Henkin L, Monk D, Tarski A (1985) Cylindric algebras, Part II. North-Holland, Amsterdam
Pixley AF (1971) The ternary discriminator function in universal algebra. Math Ann 191:167–180
Werner H (1978) Discriminator-algebras, algebraic representation and model theoretic properties. Akademie, Berlin
Werner H (1970) Eine charakterisierung funktional vollständiger algebren. Arch Math (Basel) 21:381–385
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declared that they have no conflict of interest.
Animals and human participants
This article does not contain any studies with human participants or animals performed by any of the authors.
Additional information
Communicated by A. Di Nola.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Figallo, A.V., Gomes, C.M. Monadic Boolean algebras with an automorphism and their relation to \({\mathbf{Df}}_{\mathbf{2}}\)-algebras. Soft Comput 24, 227–236 (2020). https://doi.org/10.1007/s00500-019-04317-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-019-04317-4