Конечность базиса тождеств некоторых ассоциативных колец

Теорема. Пусть $R$ – ассоциативное кольцо, $N$ – идеал в $R$, $Z$ – коммутативный идеал в $N$. Пусть к тому же кольцо $N/Z$ нильпотентно, а кольцо $R/N$ принадлежит многообразию, порожденному некоторым конечным кольцом. Тогда $R$ обладает конечным базисом тождеств.
Эта теорема обобщает ряд известных результатов о конечной базируемости тождеств ассоциативных колец.
Библ. 12.