DOI: https://doi.org/10.24144/2616-7700.2017.1(30).79-86

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

І. А. Мич, В. В. Ніколенко

Анотація


У робот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 форми.

Повний текст:

PDF

Посилання


Мальцев А. И. Алгебраические системы.~-- М.: Наука, 1970.~-- 392 с.

Курош А. Г. Лекции по общей алгебре.~-- М.: Наука, 1973.~-- 400 с.

Янов Ю. И. О системах тождеств для алгебр // Проблемы кибернетики.~-- 1962.~-- 8, №8.~-- С.~75--90.

Линдон Р. К. Тождества в конечных алгебрах // Кибернетический сборник.~-- 1960.~-- 1, №.~-- С.~246--248.

Мурский В. Л. Существование в трехзначной логике замкнутого класса с конечным базисом, не имеющего конечной полной системы // Докл. АН СССР.~-- 1965.~-- 8, №4.~-- С.~815--818.

Мурский В. Л. Конечная базируемость тождеств и другие свойства «почти всех» конечных алгебр // Проблемы кибернетики.~-- 1978.~-- 8, №30.~-- С.~43--56.

Дискретная математика и математические вопросы кибернетики.~-- М.: Наука, 1974.~-- 313~с.

Многозначные элементы и структуры.~-- К.: Наукова думка, 1967.~-- 208 с.

Витенько И. В., Николенко В.В. Об одном многообразии алгебр // Сиб. мат. журнал.~-- 1974.~-- 15, №2.~-- С.~430--433.


Посилання

  • Поки немає зовнішніх посилань.


Copyright (c) 2019 І. А. Мич, В. В. Ніколенко