Повні системи тотожностей в одному класі Алгебр

Abstract

У роботi розглядається клас унiверсальних алгебр, якi заданi над бiнарними квадратними матрицями порядку n i сигнатурою, що складається з двох бiнарних операцiй max, min i множини унарних операцiй Ti, i = 1, 2, . . . , 8, якi задають поворот елементiв матрицi, кра- тних 90◦ вiдносно осей або центра симетрiї. У даному класi алгебр описанi повнi системи тотожностей, на основi яких побудованi стандартнi канонiчнi форми.

The class of universal algebras, which are defined under binary square matrices of order n is considered. The algebra’s signature consists of two binary operations and a set of unary operations which determines the rotation of matrix elements. In this class the standard canonical forms based on complete identities systems were created.