Для цитирования:
Bredikhin D. A., Kvitka A. A., Tavaniuk M. R. On associative conjunctive operations on binary relations [Бредихин Д. А., Квитка А. А., Таванюк М. Р. Об ассоциативных конъюнктивных операциях над бинарными отношениями] // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2026. Т. 26, вып. 3. С. 323-334. DOI: 10.18500/1816-9791-2026-26-3-323-334, EDN: GRCPOV
On associative conjunctive operations on binary relations
[Об ассоциативных конъюнктивных операциях над бинарными отношениями]
Множество бинарных отношений, замкнутое относительно некоторой совокупности операций над ними, образует алгебру, называемую алгеброй отношений. Алгебры отношений можно рассматривать как частично упорядоченные с помощью теоретико-множественного включения. Теория алгебр отношений является важной составной частью современной алгебраической логики и имеет многочисленные приложения в теории полугрупп. Как правило, операции над отношениями задаются с помощью логических формул. Операция над отношениями называется конъюнктивной, если она может быть определена формулой первого порядка, содержащей только конъюнкции. Данная работа посвящена изучению ассоциативных бинарных конъюнктивных операций над отношениями, т.е. классов полугрупп отношений с конъюнктивными операциями. Проводится классификация конъюнктивных операций, идентифицируются все ассоциативные операции и для большинства из них решаются задачи нахождения их аксиоматических характеристик.
- Tarski A. On the calculus of relations. The Journal of Symbolic Logic, 1941, vol. 6, pp. 73–89. DOI: https://doi.org/10.2307/2268577
- Tarski A. Contributions to the theory of models. III. Indagationes Mathematicae (Proceedings), 1955, vol. 58, pp. 56–64. DOI: https://doi.org/10.1016/S1385-7258(55)50009-6
- Bredikhin D. A., Makeev N. N., Poplavski V. B. Legacy of Viktor Wagner. On the 90th anniversary of the Department of Geometry of Saratov State University. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2025, vol. 25, iss. 3, pp. 442–453 (in Russian). DOI: https://doi.org/10.18500/1816-9791-2025-25-3-442-453, EDN: EVXYVR
- Schein B. M. Relation algebras and function semigroups. Semigroup Forum, 1970, vol. 1, pp. 1–62. DOI: https://doi.org/10.1007/BF02573019
- Andréka H., Neméti I., Sain I. Algebraic logic. Gabbay D. M., Guenther F. (eds.) Handbook of Philosophical Logic. 2nd ed. Vol. 2. Kluwer Academic Publishers, 2001, pp. 133–247.
- Lyndon R. C. The representation of relation algebras, II. Annals of Mathematics, 1956, vol. 63, pp. 294–307. DOI: https://doi.org/10.2307/1969611
- Monk J. D. On representable relation algebras. Michigan Mathematical Journal, 1964, vol. 11, pp. 207–210. DOI: https://doi.org/10.1307/mmj/1028999131
- Jónsson B. Representation of modular lattices and of relation algebras. Transactions of the American Mathematical Society, 1959, vol. 92, pp. 449–464. DOI: https://doi.org/10.1090/S0002-9947-1959-0108459-5
- Andréka H., Bredikhin D. A. The equational theory of union-free algebras of relations. Algebra Universalis, 1995, vol. 33, pp. 516–532. DOI: https://doi.org/10.1007/BF01225472
- Andreka H., Mikulás Sz. Axiomatizability of positive algebras of binary relations. Algebra Universalis, 2011, vol. 66, art. 7. DOI: https://doi.org/10.1007/s00012-011-0142-3
- Bredikhin D. A. On varieties of groupoids of relations with operation of binary cylindrification. Algebra Universalis, 2015, vol. 73, pp. 43–52. DOI: https://doi.org/10.1007/s00012-014-0313-0
- Katyshev S. Yu., Markov V. T., Nechaev A. A. Application of non-associative groupoids to the realization of an open key distribution procedure. Discrete Mathematics and Applications, 2015, vol. 25, iss. 1, pp. 9–24. DOI: https://doi.org/10.1515/dma-2015-0002
- Böner P., Pöschel F R. Clones of operations on binary relations. Contributions to General Algebra, 1991, vol. 7, pp. 50–70.
- Bredikhin D. A. On quasi-identities of algebras of relations with Diophantine operations. Siberian Mathematical Journal, 1997, vol. 38, iss. 1, pp. 23–33. DOI: https://doi.org/10.1007/bf02674896
- Bredikhin D. A. On algebras of relations with Diophantine operations. Doklady Mathematics, 1998, vol. 57, iss. 3, pp. 435–436. EDN: LESDFN
- Bredikhin D. A. On algebras of binary relations with conjunctive operations. Algebra Universalis, 2021, vol. 82, art. 39. DOI: https://doi.org/10.1007/s00012-021-00730-9
- Bredikhin D. A. On Groupoids of relations with one conjunctive operation of rank 2. Studia Logica, 2022, vol. 110, pp. 1137–1153. DOI: https://doi.org/10.1007/s11225-022-09993-2
- Bredikhin D. A. On semigroups of relations with the operation of reflexive-restrictive multiplication. Mathematics. Mechanics, 2020, vol. 22, pp. 7–9. EDN: EACIVW
- Bredikhin D. A. On conjunctive operations of rang 3. Mathematics. Mechanics, 2023, vol. 25, pp. 7–12. EDN: VXXXQJ
- Bredikhin D. A. On associative conjunctive operations of rang 4. Mathematics. Mechanics, 2025, vol. 26, pp. 8–13. EDN: CYDGKD
- 25 просмотров