Abstract
We give a sufficient condition for a finite algebra to admit only finitely many compatible relations (modulo a natural equivalence) and show that every finite Heyting chain satisfies this condition, thereby confirming a conjecture of Davey and Pitkethly.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Baker K.A., Pixley A.F.: Polynomial interpolation and the Chinese remainder theorem for algebraic systems. Math. Z. 143, 165–174 (1975)
Balbes R., Horn A.: Injective and projective Heyting algebras. Trans. Amer. Math. Soc. 148, 549–559 (1970)
Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra: The Millenium Edition. www.math.uwaterloo.ca/~snburris/htdocs/ualg (2000)
Clark, D.M., Davey B.A.: Natural Dualities for the Working Algebraist. Cambridge University Press (1998)
Davey B.A.: Dualities for equational classes of Brouwerian algebras and Heyting algebras. Trans. Amer. Math. Soc. 221, 119–146 (1976)
Davey, B.A.: Dualisability in general and endodualisability in particular. In: Logic and Algebra. Lecture Notes in Pure and Appl. Math., vol. 180, pp. 437–455. Dekker (1996)
Davey B.A., Pitkethly J.G.: Endoprimal algebras. Algebra Universalis 38, 266–288 (1997)
Davey B.A., Pitkethly J.G.: Counting the relations compatible with an algebra. Internat. J. Algebra Comput. 20, 901–922 (2010)
Davey, B.A., Pitkethly, J.G., Willard, R.: The lattice of alter egos. Internat. J. Algebra Comput. (in press)
Davey B.A., Werner H.: Piggyback-Dualitäten. Bull. Austral. Math. Soc. 32, 1–32 (1985)
Fleischer I.: A note on subdirect products. Acta Math. Acad. Sci. Hungar. 6, 463–465 (1955)
Göbel R., Kaarli K., Márki L., Wallutis S.L.: Endoprimal torsion-free separable abelian groups. J. Algebra Appl. 3, 61–73 (2004)
Haviar M., Priestley H.A.: Endodualisable and endoprimal finite double Stone algebras. Algebra Universalis 42, 107–130 (1999)
Hecht T., Katriňák T.: Equational classes of relative Stone algebras. Notre Dame J. Formal Logic 13, 248–254 (1972)
Kaarli K., Márki L.: Endoprimal abelian groups. J. Austral. Math. Soc. Ser. A 67, 412–428 (1999)
Kaarli K., Márki L.: Endoprimal abelian groups of torsion-free rank 1. Rend. Sem. Mat. Univ. Padova 112, 117–130 (2004)
Kaarli, K., Márki, L.: Endoprimal algebras. In: Structural Theory of Automata, Semigroups, and Universal Algebra. NATO Sci. Ser. II Math. Phys. Chem., vol. 207, pp. 169–180. Springer (2005)
Kaarli K., Metsalu K.: On endoprimality of torsion-free abelian groups of rank 3. Acta Math. Hungar. 104, 271–289 (2004)
Kaarli K., Priestley H.A.: Endoprimality without duality. Algebra Universalis 51, 361–372 (2004)
Márki L., Pöschel R.: Endoprimal distributive lattices. Algebra Universalis 30, 272–274 (1993)
Pitkethly J.G.: Endoprimal implication algebras. Algebra Universalis 41, 201–211 (1999)
Pitkethly J.G.: Inherent dualisability. Discrete Math. 269, 219–237 (2003)
Pitkethly, J., Davey, B.: Dualisability: Unary Algebras and Beyond. Springer (2005)
Sichler J.: Group-universal unary varieties. Algebra Universalis 11, 12–21 (1980)
Valeriote M.A.: Decidable unary varieties. Algebra Universalis 24, 1–20 (1987)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by K. Kaarli.
The first author is supported by a La Trobe University Postgraduate Scholarship, and the second by a Charles La Trobe Fellowship.
Rights and permissions
About this article
Cite this article
Nguyen, L.T., Pitkethly, J.G. Compatible relations on Heyting chains. Algebra Univers. 67, 63–80 (2012). https://doi.org/10.1007/s00012-012-0170-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-012-0170-7