## Some varieties containing relation algebras

HTML articles powered by AMS MathViewer

- by Roger Maddux PDF
- Trans. Amer. Math. Soc.
**272**(1982), 501-526 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, - 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, - 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
—, - Donald Monk,
*On representable relation algebras*, Michigan Math. J.**11**(1964), 207–210. MR**172797**
D. Resek, - 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**

*Universal algebra*, 2nd ed., Van Nostrand, Princeton, N. J., 1978.

*Some nonrepresentable relation algebras*, Notices Amer. Math. Soc.

**23**(1976), A-431, Abstract A-557.

*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.

*Some results on relativized cylindric algebras*, Doctoral dissertation, University of California, Berkeley, 1975.

## Additional 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