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