Regev's theorem

In abstract algebra, Regev's theorem, proved by Amitai Regev (1971, 1972), states that the tensor product of two PI algebras is a PI algebra.