The Kurosh problem, height theorem, nilpotency of the radical, and algebraicity identity. (Q2519168)

This paper is devoted to relations between the Kurosh problem and the Shirshov height theorem. The central point and main technical tool is the identity of algebraicity. The main result is as follows. Let \(A\) be a finitely generated PI-algebra and \(Y\) be a finite subset of \(A\). Suppose that for any Noetherian associative and commutative ring \(R\supset\mathbb{F}\), any factor of \(R\otimes A\) such that all projections of elements from \(Y\) are algebraic over \(\pi(R)\) is a Noetherian \(R\)-module. Then \(A\) has bounded essential height over \(Y\). If, furthermore, \(Y\) generates \(A\) as an algebra, then \(A\) has bounded height over \(Y\) in Shirshov's sense. This paper also contains a new proof of the Razmyslov-Kemer-Braun theorem on nilpotence of the radical for an affine PI-algebra. The proof allows to obtain constructive estimates.