Abstract
We give a new proof of a theorem due to Maddux and Tarski that every functionally dense relation algebra is representable. Our proof is very close in spirit to the original proof of the theorem of Jónsson and Tarski that atomic relation algebras with functional atoms are representable. We prove that a simple, functionally dense relation algebra is either atomic or atomless, and that every functionally dense relation algebra is essentially isomorphic to a direct product \({\mathfrak{B} \times \mathfrak{C}}\) , where \({\mathfrak{B}}\) is a direct product of simple, functionally dense relation algebras each of which is either atomic or atomless, and \({\mathfrak{C}}\) is a functionally dense relation algebra that is atomless and has no simple factors at all. We give several new structural descriptions of all atomic relation algebras with functional atoms. For example, each such algebra is essentially isomorphic to an algebra of matrices with entries from the complex algebra of some group. Finally, we construct examples of functionally dense relation algebras that are atomless and simple, and examples of functionally dense relation algebras that are atomless and have no simple factors at all.
Similar content being viewed by others
References
Chin L.H., Tarski A.: Distributive and modular laws in the arithmetic of relation algebras. Univ. California Publ. Math. (N.S.) 1, 341–384 (1951)
Givant S.: The Structure of Relation Algebras Generated by Relativizations. Contemporary Mathematics, vol. 156. American Mathematical Society, Providence (1994)
Hirsch R., Hodkinson I.: Complete representations in algebraic logic. J. Symbolic Logic 62, 816–847 (1997)
Hirsch R., Hodkinson I.: Relation Algebras by Games. Studies in Logic and the Foundations of Mathematics, vol. 147. North-Holland, Amsterdam (2002)
Hodkinson I.: Atom structures of cylindric algebras and relation algebras. Ann. Pure Appl. Logic 89, 117–146 (1997)
Jónsson B.: Relation algebras and Schröder categories. Discrete Math. 70, 27–45 (1988)
Jónsson B., Tarski A.: Boolean algebras with operators. Part I. Amer. J. Math. 73, 891–939 (1951)
Jónsson B., Tarski A.: Boolean algebras with operators. Part II. Amer. J. Math. 74, 127–162 (1952)
Maddux R.D.: Some sufficient conditions for the representability of relation algebras. Algebra Universalis 8, 162–172 (1978)
Maddux R.D., Tarski A.: A sufficient condition for the representability of relation algebras. Notices Amer. Math. Soc. 23, A–447 (1976)
Monk J.D.: Completions of Boolean algebras with operators. Math. Nachr. 46, 47–55 (1970)
Schmidt G., Ströhlein T.: Relations and Graphs. Discrete Mathematics for Computer Scientists. Springer, Heidelberg (1993)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by I. Hodkinson.
This research was supported by the Hungarian Scientific Research Fund grant No T81188, and by Mills College.
Rights and permissions
About this article
Cite this article
Andréka, H., Givant, S. Functionally dense relation algebras. Algebra Univers. 68, 151–191 (2012). https://doi.org/10.1007/s00012-012-0197-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-012-0197-9