Coproducts of De Morgan algebras
- 1 February 1977
- journal article
- research article
- Published by Cambridge University Press (CUP) in Bulletin of the Australian Mathematical Society
- Vol. 16 (1) , 1-13
- https://doi.org/10.1017/s0004972700022966
Abstract
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.Keywords
This publication has 3 references indexed in Scilit:
- Injective de Morgan and Kleene AlgebrasProceedings of the American Mathematical Society, 1975
- The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and AmalgamationTransactions of the American Mathematical Society, 1971
- Lattices With InvolutionTransactions of the American Mathematical Society, 1958