Full duality among graph algebras and flat graph algebras

Abstract. We prove that among finite graph algebras and among finite flat graph algebras, dualizability, full dualizability, strong dualizability and entropicity are all equivalent. Any finite (flat) graph algebra which is not dualizable must be inherently non- $ \kappa $-dualizable for every infinite cardinal $ \kappa $. A new, general method for proving strong duality is presented.

[1]  Brian A. Davey Duality Theory on Ten Dollars a Day , 1993 .

[2]  Anna B. Romanowska,et al.  Modal theory: An algebraic approach to order, geometry, and convexity , 1985 .

[3]  Zoltán Székely Computational Complexity of The Finite Algebra Membership Problem for Varieties , 2002, Int. J. Algebra Comput..

[4]  George F. McNulty,et al.  Inherently nonfinitely based finite algebras , 1983 .

[5]  David M. Clark,et al.  Natural Dualities for the Working Algebraist , 1998 .

[6]  László Zádori Natural duality via a finite set of relations , 1995, Bulletin of the Australian Mathematical Society.

[7]  Dejan Delíc Some problems in general algebra , 1998 .

[8]  Hilary A. Priestley,et al.  Ordered Topological Spaces and the Representation of Distributive Lattices , 1972 .

[9]  J. Jezek,et al.  Equational theories of medial groupoids , 1983 .

[10]  Brian A. Davey,et al.  The dualisability of a quasi-variety is independent of the generating algebra , 2001 .

[11]  Mono-unary algebras are strongly dualizable , 2002, Journal of the Australian Mathematical Society.

[12]  Brian A. Davey,et al.  Dualizability and graph algebras , 2000, Discret. Math..

[13]  A SCHIZOPHRENIC OPERATION WHICH AIDS THE EFFICIENT TRANSFER OF STRONG DUALITIES , 2000 .

[14]  David M. Clark,et al.  Natural dualities for quasivarieties generated by a finite commutative ring , 2001 .

[15]  R. Willard,et al.  An algebra that is dualizable but not fully dualizable , 2000 .

[16]  M. Stone The theory of representations for Boolean algebras , 1936 .

[17]  Ross Willard On Mckenzie's method , 1996 .

[18]  W. Hanf,et al.  Incompactness in languages with infinitely long expressions , 1964 .