Екваціональне описання функціонально повних алгебр
DOI:
https://doi.org/10.24144/2616-7700.2023.43(2).136-143Ключові слова:
функціонально повна алгебра, екваціональність, повна система тотожностей, сигнатурна тотожність, екваціональний кластерАнотація
У роботі продовжується екваціональне дослідження класу універсальних алгебр M6 . Клас M6 складається з тридцяти чотирьох функціонально неповних і тридцяти функціонально повних алгебр. У попередній роботі були знайдені повні системи тотожностей для всіх функціонально неповних алгебр. Ці алгебри утворюють сімнадцять одноелементних, один двохелементний, один трьохелементний, два шестиелементних екваціональних кластери. Функціонально повні алгебри класу M6 утворюють один тридцятиелементний кластер. Для нього знайдені повні системи тотожностей.
Посилання
- Birkhoff, G. (1935). On the structure of abstract algebras. Proc. Cambridge Philos. Soc., 31, 433–454.
- Mych, I. A., Nykolenko, V. V., & Vartsaba, O. V. (2023). Equational description of functionally incomplete Boolean algebras. Scientific Bulletin of Uzhhorod University. Ser. Of Mathematics and Informatics, 1(42), 194–201. https://doi.org/10.24144/2616-7700.2023.42(1).194-201 [in Ukrainian].
- Mych, I. A., & Nykolenko, V. V. (2017). Complete identity systems in a class of algebras. Scientific Bulletin of Uzhhorod University. Ser. Of Mathematics and Informatics, 1(30), 79–86. https://doi.org/10.24144/2616-7700.2017.1(30).79-86 [in Ukrainian].
- Mych, I. A., & Nykolenko, V. V. (2018). Equivalent lattice of one class of algebra. Scientific Bulletin of Uzhhorod University, 2(33), 109–113. https://doi.org/10.24144/2616-7700.2018.2(33).109-113 [in Ukrainian].
- Vartsaba, O. V., Mych, I. A., Nykolenko, V. V., & Dynys, V. S. (2021). Equational investigation of zero algebras, algebras of a boolean cube and a zhegalkin cube. Scientific Bulletin of Uzhhorod University. Ser. Of Mathematics and Informatics, 2(37), 142–149. https://doi.org/10.24144/2616-7700.2020.2(37).142-149 [in Ukrainian].
##submission.downloads##
Опубліковано
2023-10-24
Як цитувати
Мич, І. А., Ніколенко, В. В., & Варцаба, О. В. (2023). Екваціональне описання функціонально повних алгебр. Науковий вісник Ужгородського університету. Серія «Математика і інформатика», 43(2), 136–143. https://doi.org/10.24144/2616-7700.2023.43(2).136-143
Номер
Розділ
Iнформатика, комп’ютернi науки та прикладна математика
Ліцензія
Авторське право (c) 2023 І. А. Мич, В. В. Ніколенко, О. В. Варцаба
Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.
Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons Attribution License, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.