Optimal natural dualities. II: General theory
HTML articles powered by AMS MathViewer
- by B. A. Davey and H. A. Priestley PDF
- Trans. Amer. Math. Soc. 348 (1996), 3673-3711 Request permission
Abstract:
A general theory of optimal natural dualities is presented, built on the test algebra technique introduced in an earlier paper. Given that a set $R$ of finitary algebraic relations yields a duality on a class of algebras $\mathcal {A} = \operatorname {\mathbb {I}\mathbb {S}\mathbb {P}}( \underline {M})$, those subsets $R’$ of $R$ which yield optimal dualities are characterised. Further, the manner in which the relations in $R$ are constructed from those in $R’$ is revealed in the important special case that $\underline {M}$ generates a congruence-distributive variety and is such that each of its subalgebras is subdirectly irreducible. These results are obtained by studying a certain algebraic closure operator, called entailment, definable on any set of algebraic relations on $\underline {M}$. Applied, by way of illustration, to the variety of Kleene algebras and to the proper subvarieties $\mathbf {B}_{n}$ of pseudocomplemented distributive lattices, the theory improves upon and illuminates previous results.References
- David M. Clark and Brian A. Davey, The quest for strong dualities, J. Austral. Math. Soc. Ser. A 58 (1995), no. 2, 248–280. MR 1323996, DOI 10.1017/S1446788700038283
- D.M. Clark and B.A. Davey, Natural dualities for the working algebraist, in preparation, Cambridge University Press.
- D.M. Clark and B.A. Davey, When is a natural duality ‘good’?, Algebra Universalis (to appear).
- Brian A. Davey, Duality theory on ten dollars a day, Algebras and orders (Montreal, PQ, 1991) NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., vol. 389, Kluwer Acad. Publ., Dordrecht, 1993, pp. 71–111. MR 1233789
- B.A. Davey, M. Haviar and H.A. Priestley, The syntax and semantics of entailment in duality theory, J. Symbolic Logic (to appear).
- B. A. Davey and H. A. Priestley, Generalised piggyback dualities and applications to Ockham algebras, Houston J. Math. 13 (1987), no. 2, 151–198. MR 904949
- B. A. Davey and H. A. Priestley, Introduction to lattices and order, Cambridge Mathematical Textbooks, Cambridge University Press, Cambridge, 1990. MR 1058437
- B. A. Davey and H. A. Priestley, Partition-induced natural dualities for varieties of pseudo-complemented distributive lattices, Discrete Math. 113 (1993), no. 1-3, 41–58. MR 1212869, DOI 10.1016/0012-365X(93)90507-P
- B. A. Davey and H. A. Priestley, Optimal natural dualities, Trans. Amer. Math. Soc. 338 (1993), no. 2, 655–677. MR 1169079, DOI 10.1090/S0002-9947-1993-1169079-7
- B.A. Davey and H.A. Priestley, Optimal natural dualities III: a miscellany of examples, in preparation.
- B. A. Davey and H. Werner, Dualities and equivalences for varieties of algebras, Contributions to lattice theory (Szeged, 1980) Colloq. Math. Soc. János Bolyai, vol. 33, North-Holland, Amsterdam, 1983, pp. 101–275. MR 724265
- L. Szabó and Á. Szendrei (eds.), Lectures in universal algebra, Colloquia Mathematica Societatis János Bolyai, vol. 43, North-Holland Publishing Co., Amsterdam; János Bolyai Mathematical Society, Budapest, 1986. Papers from the colloquium on universal algebra held at the József Attila University, Szeged, August 26–30, 1983. MR 860251
- B. A. Davey and H. Werner, Piggyback-Dualitäten, Bull. Austral. Math. Soc. 32 (1985), no. 1, 1–32 (German, with English summary). MR 811285, DOI 10.1017/S0004972700009680
- Bjarni Jónsson, Algebras whose congruence lattices are distributive, Math. Scand. 21 (1967), 110–121 (1968). MR 237402, DOI 10.7146/math.scand.a-10850
- Alfred L. Foster and Alden F. Pixley, Semi-categorical algebras. II, Math. Z. 85 (1964), 169–184. MR 168509, DOI 10.1007/BF01110374
- H.A.Priestley, Natural dualities, Lattice theory and its applications—a volume in honor of Garrett Birkhoff’s 80th Birthday, (K.A. Baker and R. Wille, eds.), Heldermann Verlag, 1995.
- H.A. Priestley and M.P. Ward, A multi-purpose backtracking algorithm, J. Symbolic Computation 18 (1994), 1–40.
Additional Information
- B. A. Davey
- Affiliation: Department of Mathematics, La Trobe University, Bundoora, Victoria 3083, Australia
- Email: B.Davey@latrobe.edu.au
- H. A. Priestley
- Affiliation: Mathematical Institute, 24/29 St. Giles, Oxford OX1 3LB, England
- Email: hap@maths.ox.ac.uk
- Received by editor(s): August 7, 1994
- Received by editor(s) in revised form: August 29, 1995
- © Copyright 1996 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 348 (1996), 3673-3711
- MSC (1991): Primary 08B99, 06D15, 06D05, 18A40
- DOI: https://doi.org/10.1090/S0002-9947-96-01601-7
- MathSciNet review: 1348858