Minimal Algebras of Binary Operations of Rank 3

Abstract

В работе рассматривается задача нахождения минимальных алгебр бинарных операций ранга 3. Решение данной задачи является первым шагом для построения решетки алгебр бинарных операций ранга 3. Построение такой решетки — один из вопросов универсальной алгебры, в частности теории решеток. В статье описывается алгоритм нахождения минимальных алгебр, который основан на свойстве идемпотентности операций, порождающих минимальные алгебры. Данный алгоритм был реализован на языке Python. Результаты работы алгоритма представлены в табличном виде.