Материалы межвузовской научной конференции математческих кафедр педагогических институтов центральной зоны РСФСР 1968г

Е.И. ГРИНДЛИНГЕР ( Тула ) РЕШЕНИЕ ПРОБЛЕМЫ ИЗОМОРФИЗМА ДЛЯ НЕКОТОРЫХ КЛАССОВ АЛГЕБРАИЧЕСКИХ СИСТЕМ Множество О называется универсальной алгеброй, если -в нем задана некоторая система^? «-арных алгебраических операций, причем для различных операций сое Ьс? числа П могут быть как различными, так и совпадающими. Примерами универсальных алгебр являются полугруппы, группы, кольца и т .д . / I , с т р .1 0 8 /. Проблема изоморфизма для универсальных алгебр некото­ рого класса К остоит в том, чтобы для каждой пары универ­ сальных алгебр 0 1 и 0 [ из К знать, изоморфны ли они между собой. Автором построен алгоритм, решающий проблему изомор­ физма для любого класса ассоциативных универсальных алгебр, заданных конечным числом элементов <Я0 - и такими конечными системами определяющих соотношений, что одно опре­ деляющее слово (левая или правая часть определяющего соот­ ношения) не является истинным подсловом другого. - 55 - Литература I . Курош А.Г. Лекции по общей алгебре. И ., ГТТЙ,1962.