ON VARIETIES OF ALGEBRAS OF RELATIONS WITH OPERATION OF DOUBLE CYLINDROFICATION

A set of binary relations closed with respect to some collection of operations on relations forms an algebra called an algebra of relations. The first mathematician who treated algebras of relations from the point of view of universal algebra was Alfred Tarski. In the investigation of algebras of relations, one of the most important directions is the study of those of their properties which can be expressed by identities. This leads us to the consideration of varieties generated by classes of algebras of relations. For any set Ω of operations on binary relations, let R{Ω} denote the class of all algebras isomprphic to ones whose elements are binary relations and whose operations are members of Ω. Let V ar{Ω} be the variety generated by R{Ω}. As a rule, operations on relations are defined by formulas of the firstorder predicate calculus. These operations are called logical. One of the most important classes of logical operations on relations is the class of Diophantine operations (in other terminology – primitive-positive operations). An operation on relations is called Diophantine if it can be defined by a formula containing in its prenex normal form only existential quantifiers and conjunctions. A Diophantine operation is called atomic if it can be defined by a first order formula containing in its prenex normal form only existential quantifiers. It is clear that such formulas contain only one atomic subformula. Hence atomic operations are unary operations. There exist nine atomic operations (excepting identical). We concentrate our attention on the Diophantine operation of relation product ◦ and on the atomic operation of double cylindrification ∇ that are defined as follows. For any relations ρ and σ on U, put ρ ◦ σ = {(u, v) : (∃w)(u, w) ∈ ρ(w, v) ∈ σ}, ∇(ρ) = {(u, v) : (∃w, z)(w, z) ∈ ρ}. In the paper, the bases of identities for the variety V ar{◦, ∇} is found: an algebra (A, ·, ∗ ) of the type (2, 1) belongs to the variety V ar{◦, ∇} if and only  if it satisfies the identities: (xy)z = x(yz), x ∗∗ = x ∗ , (x ∗ ) 2 = x ∗ , x ∗y ∗ = y ∗x ∗ , x ∗ (xy) ∗ = (xy) ∗y ∗ = (xy) ∗ , (xy∗ z) ∗ = x ∗y ∗ z ∗ = x ∗yz, xyz∗ = xyx∗ z ∗ , x ∗ z = x ∗ z ∗yz.

1. Tarski A. On the calculus of relations // J. Symbolic Logic. – 1941. – Vol. 6. – P. 73–89.

2. Tarski A. Some methodological results concerning the calculus of relations // J. Symbolic Logic. – 1953. – Vol. 18. – P. 188–189.

3. Andrґeka H., Nґemeti I. and Sain, I. Algebraic Logic // In: Handbook of Philosophical Logic. Vol. 2, second edition, P.133–247, Kluwer Academic publishers (2001).

4. Schein B. M. Relation algebras and function semigroups // Semigroup Forum. – 1970. – Vol. 1. – P. 1–62.

5. Бредихин Д. А. О квазитождествах алгебр отношений с диофантовыми операциями // Сибирский мат. журн. – 1997. – N 1. – С. 29–41.

6. Бредихин Д. А. Об алгебрах отношений с диофантовыми операциями // Доклады Российской Академии Наук. – 1998. – Т. 360. – С. 594–595.

7. B¨oner F., P¨oschel F. R. Clones of operations on binary relations // Contributions to general algebras. – 1991. – Vol. 7. – P. 50–70.

8. Бредихин Д. А. Эквациональная теория алгебр отношений с позитивными операциями // Известия вузов. Математика. – 1993. – N 3. – С. 23-30.

9. Henkin L., Monk J. D., Tarski A. Cylindric algeras. North-Holland, Amsterdam, 1971. 311 pp.

10. Kuhn S. The domino relations: flattening a two-dimensional logic // Journal of Philosophical Logic. – 1989. – Vol. 18. – P. 173–195.

11. Venema Y. Many-dimensional modal logic. Universiteit van Amsterdam, Amsterdam, 1989. 178 pp.

12. Schein B. M. Representation of involuted semigroups by binary relations // Fundamenta Math. – 1974. – Vol. 82. – P. 121–141.

13. Bredikhin D. A. On the varieties generated by partially ordered involuted semigroups of binary relations // Contributions to genera algebra. – 2001. – Vol. 13. – P. 70–77.

14. Andreka H., Bredikhin D. A. The equational theory of union-free algebras of relations // Alg. Univers. 1994. Vol. 33. P. 516–532 .

15. Bredikhin D. A. On varieties of partial ordered semigroups of relations with operations of cylindrification // Izv. Sarat. Univ. N.S. Ser. Math. Mech. Inform. 2009. Vol. 9. iss. 3 P. 3-7.