Работа посвящена исследованию решетки алгебр бинарных операций ранга 3 и нахождению надминимальных алгебр бинарных операций ранга 3. Надминимальные алгебры могут быть разложимыми и неразложимыми. Было получено свойство операций, порождающих неразложимые надминимальные алгебры. Использование этого свойства позволило найти все неразложимые алгебры бинарных операций ранга 3. Для поиска разложимых алгебр использовались полученные ранее результаты по минимальным алгебрам бинарных операций ранга 3 [1]. Минимальные алгебры были разбиты на классы и описаны в теореме 2. В работе были получены надминимальные алгебры над каждым классом. Количество над каждым классом представлено в табличном виде. Также все надминимальные алгебры были разбиты на классы. Описание классов сформулировано в леммах. C. 72-87.
The work is devoted to the study of the lattice of algebras of binary operations of rank 3 and finding the upminimal algebras of binary operations of rank 3.
Upminimal algebras were divided into two classes: reducible algebras and irreducible algebras. The property of operations generating irreducible upminimal algebras was obtained. The use of this property made it possible to find all irreducible algebras of binary operations of rank 3.
To search for reducible algebras, we used the previously obtained results on minimal algebras of binary operations of rank 3. The results of the work are presented in tabular form.
Ключевые слова: операции, решетка алгебр операций, надминимальные алгебры операций.
Keywords: operations, lattice of algebras operations, upminimal algebras of operations.