Hostname: page-component-586b7cd67f-2brh9 Total loading time: 0 Render date: 2024-11-24T01:56:34.276Z Has data issue: false hasContentIssue false
  • English
  • Français

Transferring Optimal Dualities: Theory and Practice

Part of: Distributive lattices Other classes of algebra Boolean algebras (Boolean rings) Algebraic structures

Published online by Cambridge University Press:  09 April 2009

B. A. Davey  and
M. Haviar
B. A. Davey
Affiliation:
School of Mathematics La Trobe University VIC 3086 Australia e-mail: [email protected]
M. Haviar
Affiliation:
Department of Mathematics M. Bel UniversityPdF, Ruzova 13 974 01 Banska Bystrica Slovak Republic e-mail: [email protected]
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Consider the quasi-variety generated by a finite algebra and assume that yields a natural duality on based on which is optimal modulo endomorphisms. We shoe that, provided satisfies certain minimality conditions, we can transfer this duality to a natural duality on based on , which is also optimal modulo endormorphisms, for any finite algebra in that has a subalgebra isomorphic to .

Keywords

natural dualityoptimal dualityendodualisabilityendoprimalityglobally minimal failsetentailmentretractiondistributive latticeKleene algebraStone algebra.

MSC classification

Secondary: 08C15: Quasivarieties 08A99: None of the above, but in this section 06D50: Lattices and duality 06D15: Pseudocomplemented lattices 06D30: De Morgan algebras, L ukasiewicz algebras
Type
Research Article
Information
Journal of the Australian Mathematical Society , Volume 74 , Issue 3 , June 2003 , pp. 393 - 420
Copyright
Copyright © Australian Mathematical Society 2003

References

[1]Baker, K. A. and Pixley, A. F., ‘Polynomial interpolation and the Chinese remainder theorem for algebraic systems’, Math. Z. 143 (1975), 165–174.CrossRefGoogle Scholar
[2]Clark, D. M. and Davey, B. A., Natural dualities for thye working algebraist (Cambridge University Press, Cambridge, 1998).Google Scholar
[3]Davey, B. A., ‘Dualities for Stone algebras, double Stone algebras, and relative Stone algebras’, Collaq. Math. 46 (1982), 1–14.CrossRefGoogle Scholar
[4]Davey, B. A., ‘Duality theory on ten dollars a day’, in: Algebras and orders (eds. Rosenberg, I. G. and Sabidussi, G.), NATO Advanced Study Institute Series C, Vol 389 (Kluwer Academic Publishers, Dordrecht, 1993) pp. 71–111.CrossRefGoogle Scholar
[5]Davey, B. A., ‘Dualisability in general and endodualisability in particular’, in: Logic and algebra (Pontignano, 1994) (eds. Ursini, A. and Aglianò, P.), Lecture Notes in Pure and Appl. Math. 180 (Dekker, New York, 1996) pp. 437–455.Google Scholar
[6]Davey, B. A. and Haviar, M., ‘A schizophrenic operation which aids the efficient transfer of strong dualities’, Houston J. Math. 26 (2000), 215–222.Google Scholar
[7]Davey, B. A. and Haviar, M. and Priestley, H. A., ‘Endoprimal distributive lattices are endodualisable’, Algebra Universalis 34 (1995), 444–453.CrossRefGoogle Scholar
[8]Davey, B. A. and Haviar, M. and Priestley, H. A., ‘The syntax and semantics of entailment in duality theory’, J. Symbolic Logic 60 (1995), 1087–1114.CrossRefGoogle Scholar
[9]Davey, B. A. and Haviar, M. and Priestley, H. A., ‘Kleene algebras: a case-study of clones and dualities from endomorphisms’, Acta Sci. Math. (Szeged) 67 (2001), 325–351.Google Scholar
[10]Davey, B. A. and Pitkethly, J. G., ‘Endoprimal algebras’, Algebra Universalis 38 (1997), 266–288.CrossRefGoogle Scholar
[11]Davey, B. A. and Preistley, H. A., ‘Optimal natural dualities’, Trans. Amer. Math. Soc. 338 (1993), 655–677.CrossRefGoogle Scholar
[12]Davey, B. A. and Preistley, H. A., ‘Optimal natural dualities for varieties of Heyting algebras’, Studia Logica 56 (1996), 67–96.CrossRefGoogle Scholar
[13]Davey, B. A. and Preistley, H. A., ‘Optimal natural dualities II: general theory’, Trans. Amer. Math. Soc. 348 (1996), 3673–3711.CrossRefGoogle Scholar
[14]Davey, B. A. and Werner, H., ‘Dualities and equivalances for varieties of algebras’, in: Contributions to lattice theory (Szeged, 1980) (eds. Huhn, A. P. and Schmidt, E. T.), Collaq. Math. Soc. János Bolyai 33 (North-Holland, Amsterdam, 1983) pp. 101–275.Google Scholar
[15]Davey, B. A. and Werner, H., ‘Piggy back-dualitäten’, Bull. Austral. Math. Soc. 32 (1985), 1–32.CrossRefGoogle Scholar
[16]Davey, B. A. and Werner, H., ‘Piggyback-dualitäten’, Lectures in universal algebra (eds. Szabó, L. and Szendrei, A.), Coll. Math. Soc. János Bolyai 43 (North-Holland, Amesterdam, 1986) pp. 61–83.CrossRefGoogle Scholar
[17]Davey, B. A. and Willard, R., ‘The dualisability of a quasi-variety is independent of the generating algebra’, Algebra Universalis 45 (2001), 103–106.CrossRefGoogle Scholar
[18]Grätzer, G., Lattice theory. First concepts and distributive lattices (Freeman, San Francisco, 1971).Google Scholar
[19]Grätzer, G., General lattice theory, 2nd Edition (Birkhaüser, Basel, 1998).Google Scholar
[20]Haviar, M. and Priestley, H. A., ‘A criterion for a finite endoprimal algebra to be endodualisable’, Algebra Universalis 42 (1999), 183–193.CrossRefGoogle Scholar
[21]Haviar, M. and Priestley, H. A., ‘Endodualisable and endoprimal finite double Stone algebras’, Algebra Universalis 42 (1999), 107–130.CrossRefGoogle Scholar
[22]Saramago, M., A study of natural dualities, including an analysis of the structure of failsets (Ph.D. Thesis, University of Lisbon, 1998).Google Scholar
[23]Saramago, M., ‘Some remarks on dualisability and endodualisability’, Algebra Universalis 43 (2000), 197–212.CrossRefGoogle Scholar
[24]Saramago, M. J., and Priestley, H. A., ‘Optimal natural dualities: the structure of failsets’, Internat. J. Algebra Comput. 12 (2002), 407–436.CrossRefGoogle Scholar
[25]Wegener, C. B., Natural dualities for varieties generated by lattice-structured algebras (Ph.D. Thesis, University of Oxford, 1999).Google Scholar