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

Abstract

У роботi продовжується еквацiональне дослiдження класу унiверсальних алгебр 𝑀6. Клас 𝑀6 складається з тридцяти чотирьох функцiонально неповних i тридцяти функцiонально повних алгебр. У попереднiй роботi були знайденi повнi системи тотожностей для всiх функцiонально неповних алгебр. Цi алгебри утворюють сiмнадцять одноелементних, один двохелементний, один трьохелементний, два шестиелементних еквацiональних кластери. Функцiонально повнi алгебри класу 𝑀6 утворюють один тридцятиелементний кластер. Для нього знайденi повнi системи тотожностей.

The paper continues the equational investigation of the universal algebras of the class 𝑀6. The class 𝑀6 consists of thirty-four functionally incomplete and thirty functionally complete algebras. Complete systems of identities for all functionally incomplete algebras were found in previous works. These algebras form seventeen one-element, one two-element, one three-element, and two six-element equational clusters. Functionally complete class algebras form one thirty-element cluster. Complete systems of identities have been found for it.