Квазимногообразие SP(M3): базис тождеств
https://doi.org/10.26907/2949-3919.2024.3.53-62
Аннотация
Мы показываем, что квазимногообразие (0, 1)-решеток, порожденное диамантом M3, является многообразием и находим базис тождеств этого многообразия.
Об авторах
А. Е. ИзъюроваРоссия
Александра Евгеньевна Изъюрова
ул. Пирогова, д. 1, г. Новосибирск, 630090
М. В. Швидефски
Россия
Марина Владимировна Швидефски
ул. Пирогова, д. 1, г. Новосибирск, 630090
пр. Акад. Коптюга, д. 4, г. Новосибирск, 630090
Список литературы
1. M. Schu¨tzenberger, Sur certains axiomes de la th´eorie des structures, C. R. Acad. Sci. Paris 221, 218–220 (1945).
2. S.D. Comer, D.X. Hong, Some remarks concerning the varieties generated by the diamond and the pentagon, Trans. Amer. Math. Soc. 174, 45–54 (1972).
3. W. Dziobiak, M.V. Schwidefsky, Categorical dualities for some two categories of lattices: An extended abstract, Bull. Sec. Logic 51 (3), 329–344 (2022). DOI: https://doi.org/10.18778/0138-0680.2022.14
4. W. Dziobiak, M.V. Schwidefsky, Duality for bi-algebraic lattices belonging to the variety of (0, 1)-lattices generated by the pentagon, Algebra and Logic (принята к печати).
5. A.O. Basheyeva, M.V. Schwidefsky, K.D. Sultankulov, The quasivariety SP(L6). I. An equational basis, Сиб. электрон. матем. изв. 19 (2), 902–911 (2022). DOI: https://doi.org/10.33048/semi.2022.19.076
6. А.О. Башеева, М.В. Швидефски, Квазимногообразие SP(L6). II. Результат о дуальности, Сиб. матем. журн. 65 (3), 446–454 (2024). DOI: https://doi.org/10.1134/S0037446624030029
7. O.A. Kadyrova, M.V. Schwidefsky, Quasivarieties generated by small suborder lattices. I. Equational bases, Сиб. электрон. матем. изв. 20 (1), 62–71 (2023). DOI: https://doi.org/10.33048/semi.2023.20.006
8. O.A. Kadyrova, M.V. Schwidefsky, Quasivarieties generated by small suborder lattices. II. A duality theorem (препринт).
9. R. Freese, J. Jeˇzek, and J.B. Nation, Free lattices, Math. Surveys Monogr. 42, AMS, Providence, New York, 1995.
10. J.B. Nation, An approach to lattice varieties of finite height, Algebra Universalis 27 (4), 521–543 (1990). DOI: https://doi.org/10.1007/BF01188998
11. A.P. Huhn, Schwach distributive Verbande I, Acta Sci. Math. (Szeged) 33 (3–4), 297–305 (1972).
Рецензия
Для цитирования:
Изъюрова А.Е., Швидефски М.В. Квазимногообразие SP(M3): базис тождеств. Математика и теоретические компьютерные науки. 2024;2(3):53-62. https://doi.org/10.26907/2949-3919.2024.3.53-62
For citation:
Izyurova A.E., Schwidefsky М.V. The quasivariety SP(M3)>: An equational basis. Mathematics and Theoretical Computer Science. 2024;2(3):53-62. (In Russ.) https://doi.org/10.26907/2949-3919.2024.3.53-62