Some varieties containing relation algebras
HTML articles powered by AMS MathViewer
- by Roger Maddux
- Trans. Amer. Math. Soc. 272 (1982), 501-526
- DOI: https://doi.org/10.1090/S0002-9947-1982-0662049-7
- PDF | Request permission
Abstract:
Three varieties of algebras are introduced which extend the variety $RA$ of relation algebras. They are obtained from $RA$ by weakening the associative law for relative product, and are consequently called nonassociative, weakly-associative and semiassociative relation algebras, or $NA$, $WA$, and $SA$, respectively. Each of these varieties arises naturally in solving various problems concerning relation algebras. We show, for example, that $WA$ is the only one of these varieties which is closed under the formation of complex algebras of atom structures of algebras, and that $WA$ is the closure of the variety of representable $RA$’s under relativization. The paper also contains a study of the elementary theories of these varieties, various representation theorems, and numerous examples.References
- Louise H. Chin and Alfred Tarski, Distributive and modular laws in the arithmetic of relation algebras, Univ. California Publ. Math. (N.S.) 1 (1951), 341–384. MR 43763 G. Grätzer, Universal algebra, 2nd ed., Van Nostrand, Princeton, N. J., 1978.
- Leon Henkin, Internal semantics and algebraic logic, Truth, syntax and modality (Proc. Conf. Alternative Semantics, Temple Univ., Philadelphia, Pa., 1970) Studies in Logic and the Foundations of Math., Vol. 68, North-Holland, Amsterdam, 1973, pp. 111–127. MR 0392564
- Leon Henkin, J. Donald Monk, and Alfred Tarski, Cylindric algebras. Part I. With an introductory chapter: General theory of algebras, Studies in Logic and the Foundations of Mathematics, Vol. 64, North-Holland Publishing Co., Amsterdam-London, 1971. MR 0314620
- Leon Henkin and Diane Resek, Relativization of cylindric algebras, Fund. Math. 82 (1974/75), 363–383. MR 366659, DOI 10.4064/fm-82-4-363-383
- Bjarni Jónsson and Alfred Tarski, Boolean algebras with operators. I, Amer. J. Math. 73 (1951), 891–939. MR 44502, DOI 10.2307/2372123
- Bjarni Jónsson and Alfred Tarski, Boolean algebras with operators. II, Amer. J. Math. 74 (1952), 127–162. MR 45086, DOI 10.2307/2372074
- Roger C. Lyndon, The representation of relational algebras, Ann. of Math. (2) 51 (1950), 707–729. MR 37278, DOI 10.2307/1969375
- R. C. Lyndon, Relation algebras and projective geometries, Michigan Math. J. 8 (1961), 21–28. MR 122743 R. Maddux, Some nonrepresentable relation algebras, Notices Amer. Math. Soc. 23 (1976), A-431, Abstract A-557.
- Roger Maddux, Some sufficient conditions for the representability of relation algebras, Algebra Universalis 8 (1978), no. 2, 162–172. MR 460210, DOI 10.1007/BF02485385 —, Topics in relation algebras, Doctoral dissertation, University of California, Berkeley, 1978. R. N. W. McKenzie, The representation of relation algebras, Doctoral dissertation, University of Colorado, Boulder, 1966.
- Donald Monk, On representable relation algebras, Michigan Math. J. 11 (1964), 207–210. MR 172797 D. Resek, Some results on relativized cylindric algebras, Doctoral dissertation, University of California, Berkeley, 1975.
- Roman Sikorski, Boolean algebras, 3rd ed., Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 25, Springer-Verlag New York, Inc., New York, 1969. MR 0242724
- Alfred Tarski, Contributions to the theory of models. III, Nederl. Akad. Wetensch. Proc. Ser. A 58 (1955), 56–64 = Indagationes Math. 17, 56–64 (1955). MR 0066303
Bibliographic Information
- © Copyright 1982 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 272 (1982), 501-526
- MSC: Primary 03G15; Secondary 03G25, 06E99, 08C10
- DOI: https://doi.org/10.1090/S0002-9947-1982-0662049-7
- MathSciNet review: 662049