论文信息 - Coproducts of De Morgan algebras

Coproducts of De Morgan algebras

The dual of the category of De Morgan algebras is described in terms of compact totally ordered-disconnected ordered topological spaces which possess an involutorial homeomorphism that is also a dual order-isomorphism. This description is used to study the coproduct of an arbitrary collection of De Morgan algebras and also to represent the coproduct of two De Morgan algebras in terms of the continuous order-preserving functions from the Priestley space of one algebra to the other algebra, endowed with the discrete topology. In addition, it is proved that the coproduct of a family of Kleene algebras in the category of De Morgan algebras is the same as the coproduct in the subcategory of Kleene algebras if and only if at most one of the algebras is not boolean.

William H. Cornish | Peter R. Fowler

[1] J. A. Kalman,et al. Lattices with involution , 1958 .

[2] W. H. Cornish. On H. Priestley's dual of the category of bounded distributive lattices , 1975 .

[3] W. H. Cornish. Ordered topological spaces and the coproduct of bounded distributive lattices , 1976 .

[4] Andrzej Białynicki-Birula,et al. Remarks on quasi-Boolean algebras , 1957 .

[5] George Grätzer,et al. The structure of pseudocomplemented distributive lattices. II. Congruence extension and amalgamation , 1971 .

[6] Helena Rasiowa,et al. On the Representation of Quasi-Boolean Algebras , 1957 .

[7] W. H. Cornish. Compactness of the clopen topology and applications to ideal theory , 1975 .

[8] B. Davey. Free products of bounded distributive lattices , 1974 .

[9] Walter Taylor,et al. Residually small varieties , 1972 .

[10] G. Grätzer,et al. Lattice Theory: First Concepts and Distributive Lattices , 1971 .

[11] Roberto Cignoli. Injective De Morgan and Kleene algebras , 1975 .