СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Попов В. Ю. О проблеме выводимости тождеств в многообразияx колец // Том 40 (1999), Номер 5, стр. 1121–1126
Доказана неразрешимость общей проблемы выводимости
тождеств для неассоциативных колец. В частности, показано, что не существует
алгоритма, определяющего по произвольному конечно базируемому
многообразию колец, удовлетворяет оно тождеству
$(xy)(zt)=0$
или нет. Библиогр.~4.
© Сибирский Математический Журнал, 2003-2006