Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
   
Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)

 

Optimal natural dualities. II: General theory


Authors: B. A. Davey and H. A. Priestley
Journal: Trans. Amer. Math. Soc. 348 (1996), 3673-3711
MSC (1991): Primary 08B99, 06D15, 06D05, 18A40
MathSciNet review: 1348858
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (1991): 08B99, 06D15, 06D05, 18A40

Retrieve articles in all journals with MSC (1991): 08B99, 06D15, 06D05, 18A40


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

DOI: http://dx.doi.org/10.1090/S0002-9947-96-01601-7
PII: S 0002-9947(96)01601-7
Keywords: Natural duality, optimal duality
Received by editor(s): August 7, 1994
Received by editor(s) in revised form: August 29, 1995
Article copyright: © Copyright 1996 American Mathematical Society