Екваціональне описання функціонально повних алгебр

Автор(и)

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 науки та прикладна математика